PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For example, suppose X is a K3 surface which has Picard rank at least 3 and no (-2) curves.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net