http://www.w3.org/ns/prov#value | - Admittedly, in Mathematica the underlying logic is obscured by the fact that it equality is not identity, so you do have1`0 == 1True 1`0 == 0 Truebut1`0 == 0TrueAll this means that equality is a non-transitive relation on this extended set of objects (but identity is).
|