About: http://webisa.webdatacommons.org/64659934

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	Since our Sequence, X, exhausts > > all Real Numbers, a e X and there is a Natural Number, m, such that x_m = a.> > > Now, we have previously defined Real Numbers, a_m and b_m, such that a = x_m > > ~e [ a_m, b_m ].
http://www.w3.org/ns/prov#wasQuotedFrom	mathforum.org