PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The question allowed not only binary operations but also unary operations, such as taking the square root or factorials.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathematica-journal.com