This HTML5 document contains 4 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
isaphttp://webisa.webdatacommons.org/prov/
isahttp://webisa.webdatacommons.org/
n4siam.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
isa:118967071
rdf:type
prov:Entity
prov:value
These numbers and their operations and relations are defined very simply and explicitly, and their basic arithmetic properties have strikingly short proofs, so that even restricted to the real numbers their construction is a great improvement on the classical treatment.
prov:wasQuotedFrom
n4:org
Subject Item
isap:513590395
prov:wasDerivedFrom
isa:118967071