PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Thurston makes the point that one of the functions of a proof is to achieve insight, and different kinds of proofs or ways of thinking about mathematical objects can convey different *kinds* of insights.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wordpress.com