PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Wilks realized because the Root Sum Theorem for quadratics states that the roots r and s of polynomial have product c and sum -b, and because if b is an integer and one of the roots is an integer, then the other root must also be an integer.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org