PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The conjecture states if such a system has a solution, then there is a solution such that for all .
http://www.w3.org/ns/prov#wasQuotedFrom
  • wolfram.com