PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • So we can say there are $8 \cdot 6 = 48$ elements of order 7 and $7 \cdot 31 = 217$ elements of order 2, which gives us 265 elements, 266 including the identity, which contradicts the cardinality of the group.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com