PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The truth of the Beal Conjecture implies Fermat's Last Theorem, which states that there are no solutions to the equation an + bn = cn where a, b, and c are positive integers and n is a positive integer greater than 2.
http://www.w3.org/ns/prov#wasQuotedFrom
  • 21alive.com