PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Most have three free parameters but some are impossible and some, such as the case $t+v=6\pi-u-s, s+v=6\pi+-u-t$ yield $$ \left(\left[ \begin{array}{cc} \sin \left( w \right) \sin \left( u
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net