| http://www.w3.org/ns/prov#value | - It may be for algebraic theories, such as fields, differential fields, valued fields, ordered groups or fields, difference fields, etc., that it works the best, and for theories which are primitive enough so that they escape indecidability ?? la G??del.
|
