PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • This is clearly mistaken, because math is a purely logical discipline: once you pick axioms (and a system of logic, to be pedantic), your answers are fixed.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net