PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For any triangle with sides a,b,c $$a^2b(a-b)+b^2c(b-c)+c^2a(c-a)\ge 0$$ I tried substituting $a=x+y$, $b=y+z$, $c=z+x$ but well it does not help in any sense except wasting 3 pages that lead to ...
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com