PropertyValue
nif:beginIndex
  • 0 (xsd:integer)
nif:broaderContext
nif:endIndex
  • 163 (xsd:integer)
nif:isString
  • Since a⪯b, c⪯d, we have a ⊕ b = b, c ⊕ d = d:(a ⊕ c)⊕(b ⊕ c) = (a ⊕ b)⊕(c ⊕ d) = b ⊕ d and a ⊕ c⪯b ⊕ d; (a ⊗ c)⊕(b ⊗ c) = (a ⊕ b) ⊗ c = b ⊗ c and then a ⊗ c⪯b ⊗ c.
rdf:type