PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If P is prime, then S((P-1)/2) is divisible by P, but I am interested in a test that is valid only for primes.
http://www.w3.org/ns/prov#wasQuotedFrom
  • physicsforums.com