| http://www.w3.org/ns/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.
|
