PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Topics include logic, elementary set theory, relations, functions, proof by induction and other proof techniques.
http://www.w3.org/ns/prov#wasQuotedFrom
  • alaska.edu