PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • This theorem is about the roots of a polynomial equation of the form anxn + an-1xn-1 + ... + a1x + a0 = 0 where n is a positive integer, x is an unknown, an ??? 0, and for 0???j???n all aj are rational (symbolically, aj???Q).
http://www.w3.org/ns/prov#wasQuotedFrom
  • blogspot.com