PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • such that u is a root of the irreducible polynomial q(x). (I am going to use p for the prime characteristic,
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathreference.com