PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • These are three different theorems and there is no relation between 1) and the others except in the case when $X$ is finite, where all three theorems coincide (since $\ell^2(X)$, $C_0(X)$ and $C_c(X)$ then are the same topological vector space).
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com