PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Using binary exponentiation (and perhaps the Chinese Remainder Theorem), there is an efficient algorithm for doing the latter computation.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net