PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Hint: consider g(3/2) and g'(3/2).#5 is a problem which can be done just fine by algebraic means.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org