PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • t more generally, becausethat would allow us to define, for instance, the hyper-hyper cuberoot of b, e.g. b^^^(1/3), as the solution to the equation x^^^3 = x^^(x^^x) = b.However, it is not obvious how to do this.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org