PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • G is a finite abelian p-group and A and B are both finite cyclic p-groups with the order of A dividing the order of B. Here, p is a prime number.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net