PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For this action, if G is a form of H, then it is an inner form if and only if the Galois actions on the root datum are the same.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net