| http://www.w3.org/ns/prov#value | - +1, although i dont agree that a proof is (just) a typographical entity, in a realist interpretation (or a semi-constructive) one, a proof is an algorithm or problem solution for going from one point to another (given the initial data and relations).
|
