PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • ??? The firtest command checks whether a given expression is a first integral of a given ODE. Similar to odetest, firtest returns when the result is valid, or an algebraic expression obtained after simplifying the PDE for the first integral associated with the given ODE (see odepde).
http://www.w3.org/ns/prov#wasQuotedFrom
  • maplesoft.com