PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Yves Gallot's proth.exe has been used to find factors of large Fermat numbers. ??douard Lucas, improving the above-mentioned result by Euler, proved in 1878 that every factor of Fermat number , with n at least 2, is of the form (see Proth number), where k is a positive integer.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wikipedia.org