PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For $(x,y)\in A$, there is at most one way to write $x=a+b\sqrt 2$ with $a,b\in \mathbb Q$, hence at most one point is missing from the line $ \{x\} imes\mathbb R$.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com