PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • @Andr?? Nicolas, in my answer I am simply pointing out that there is a problem with writing $\left(\sum_{n=1}^\infty n\right) - \left(\sum_{n=1}^\infty n\right)= \sum_{n=1}^\infty (n - n)$, because the equal sign is tantamount to a rearrangement of the series.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com