PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Our proof works when n is a positive integer but this rule is in fact true for all real numbers n.
http://www.w3.org/ns/prov#wasQuotedFrom
  • uiuc.edu