| http://www.w3.org/ns/prov#value | - Hitherto, in order to prove the equality of two expressions for the same function, it was necessary to transform the one into the other, i.e. to show that both expressions agreed for every value of the variable; now it is sufficient to prove their agreement to a far less extent [merely in certain critical points and at certain boundaries].
|
