PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • So $1+\sqrt{-d}$ and $1-\sqrt{-d}$ are usually good sources of examples of things going wrong with factorizations into irreducibles in $\mathbb{Z}[\sqrt{-d}]$, when such things do indeed go wrong.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com