| http://www.w3.org/ns/prov#value | - Then systems are studied that differ from ordinary arithmetic but share some of the same properties (equations where the unknowns represent all sorts of things - even functional equations) and then these properties are abstracted in abstract algebra and whole classes are studied such as groups and rings.
|
