PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Compactness of reducive algebraic groups which are anisotropic over a field is a theme which comes up in work of Borel-Tits and many others, but I do not know a unified argument covering all local fields. ??? Jim Humphreys
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net