PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Rewriting 10,000 as $1,000*10$ yields $10,000 n + 57 = 1,000(10 n ) + 57$ Now, since n is an integer, 10 n is an integer.
http://www.w3.org/ns/prov#wasQuotedFrom
  • lofoya.com