PropertyValue
nif:beginIndex
  • 0 (xsd:integer)
nif:broaderContext
nif:endIndex
  • 64 (xsd:integer)
nif:isString
  • Similarly, (x ⊗ y) ⊕ y = y. (K4′)⇒(K4): 1 ⊕ x = 1 ⊕ (1 ⊗ x) = 1.
rdf:type