PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • One approach would be to prove that, if G is a group in Fq and H is a finitely presented subgroup, then H ??? Fq as well.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net