PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Below is a proof of the standard equivalences between forms, ideals and numbers, excerpted from section 5.2, p. 225 of Henri Cohen's book A course in computational algebraic number theory.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com