PropertyValue
nif:beginIndex
  • 0 (xsd:integer)
nif:broaderContext
nif:endIndex
  • 99 (xsd:integer)
nif:isString
  • Proof (K5)⇒(K5′): by (K4′), 0 ⊕ x = (0 ⊗ x) ⊕ x = x. (K5′)⇒(K5): by (K4′), 0 ⊗ x = 0 ⊕ (0 ⊗ x) = 0.
rdf:type