PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • I tried looking at the difference of two consecutive terms, $a_{{n+1}} - a_{{n}}$ but I end up with something like: $(1/2)(1+a_{{n-1}}^2)$ which does not prove that the difference is a positive value...
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com