PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • where m is a positive integer, where k is a positive integer smaller than 2n and other than 1, where mod is an operator for calculating a remainder, and where INT is an operator for obtaining an integral quotient;
http://www.w3.org/ns/prov#wasQuotedFrom
  • google.com