PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The page mentions Euler's Totient theorem, which says if n is a positive integer and a is coprime to n, then a^(phi(n)) = 1 (mod n), or in other words, n divides a^(phi(n)).
http://www.w3.org/ns/prov#wasQuotedFrom
  • metafilter.com