PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • imes, i.e. the number of primes dividing $D_K$). (They satisfy the relation that their product is equal to $\sqrt{D_K}\mathcal O_K$, which is principal, which is why the rank is $r-1$ rather than $r$.)
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com