PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • he name of xi, but this brings us into set theory.> The finitary credo has> an infinitary foundation.> The use of induction goes far beyond the application to numerals.> It is used to create> new kinds of numbers (exponential, superexponential, and so forth) in> the belief that they> already exist in a completed infinity.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org