PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Since in analysis every real number is limit and every such limit that actually exists as a real is a real, WM is saying that every real consists of infinitely many indexed digits".> In analysis the set of> indices can be calculated.> Even if William Hughes tries to forbid that.In analysis, most of the time there is no point to calculating any "set of indices", even if one knew what indices WM wa
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org