PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The answer is a resounding yes, although perhaps not in a way which will be satisfying to you: you can compute the discriminant directly from the coefficients of the polynomial and then you can factor it!
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net