sentence31
at
SoMeSci
http://data.gesis.org/somesci/PMC4122196/sentence31
Property
Value
nif:
beginIndex
0
(xsd:integer)
nif:
broaderContext
sms:
PMC4122196
nif:
endIndex
74
(xsd:integer)
nif:
isString
Proof (K4)⇒(K4′): x ⊕ (x ⊗ y) = (x ⊗ 1)⊕(x ⊗ y) = x ⊗ (1 ⊕ y) = x ⊗ 1 = x.
rdf:
type
nif:
Context
nif:
OffsetBasedString
nif:
Sentence
![[This page as RDF]](http://data.gesis.org/somesci/static/rdf-icon.gif){kind=icon}