PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Then this element is a finite product of some of the $x_i$, let's say we can write it as $x_{i_1}^{n_1}\cdots x_{i_m}^{n_m}$, with $i_1<i_2<\cdots <i_m$ [we can do this because $G$ is abelian].
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com