PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If the map $Spec(C) \rightarrow Spec(P_M)$ has image a closed point, then (since $Spec(P_M)$ is defined over $Q$), its image is a point defined over $\bar Q$.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net