PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Further on, Harel demonstrates a number of other problems that on the surface seem to be amazing, such as cases in which the mathematicians are unable to say when the program stops.
http://www.w3.org/ns/prov#wasQuotedFrom
  • haaretz.com