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

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	Thus, all our assumptions about carry over digits are justified a posteriori.Claim E. For any integer , there is a midpoint triple in if and only if is even, and then is the lower endpoint of the triple.Proof.
http://www.w3.org/ns/prov#wasQuotedFrom	hindawi.com