PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Although he goes on to claim that pi and e are exempt because there is an algorithm for computing them, he consistently ignores the fact that there is obviously an algorithm to compute any digit of sqrt2, or (sqrt2 + sqrt3) , or even more trivially 1/3, which he also claims to be ill-defined.
http://www.w3.org/ns/prov#wasQuotedFrom
  • scientopia.org