PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • maticians are not only interested in theorems, in fact they are mostly interested in proofs. (This is one of the points of Rav???s thought-provoking paper ???Why do we prove theorems????)
http://www.w3.org/ns/prov#wasQuotedFrom
  • newappsblog.com