PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • One formulation is a cover of the other with galois group equal to the rational points on a twist of the torus T. We will take the G/U point of view here.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net