PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • (4) Euclid's algorithm to generate perfect numbers will give all perfect numbers i.e. every perfect number is of the form 2k-1(2k - 1), for some k > 1, where 2k - 1 is prime.
http://www.w3.org/ns/prov#wasQuotedFrom
  • st-and.ac.uk