PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • And then there are short pieces about particular theorems and problems, such as the ABC conjecture, the Birch???Swinnerton-Dyer conjecture, Fermat???s last theorem, the Prime Number Theorem and the Riemann Hypothesis, Problems and Results in Additive Number Theory, and so on.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wordpress.com