PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • An elementary abelian $p$-group is an abelian $p$-group in which every element satisfies $a^p = 1$ (and so, every element except for the identity is of order exactly $p$; this is with multiplicative notation, you would have $pa=0$ if you are using additive notation for your group).
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com