PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • German mathematician Carl Louis Ferdinand von Lindemann (1852-1939) proves that pi is transcendental (non-algebraic), i.e., not the root of any algebraic equation with rational coefficients, although, duh, irrational numbers such as the square root of 2 can be algebraic (solution of x^2 - 2 = 0).
http://www.w3.org/ns/prov#wasQuotedFrom
  • historyscoper.com