PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • But some tricks are possible: If you check e.g. the case $x=0$, you may just "see an easy way to combine (and also see what degree of freedom is left and must be suitably chosen to work for all $x$).
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com