PropertyValue
nif:beginIndex
  • 0 (xsd:integer)
nif:broaderContext
nif:endIndex
  • 138 (xsd:integer)
nif:isString
  • A map I : 2E → K is a map satisfying the followin:(FI1)  I(∅) = 1; (FI2) if A⊆B, then I(B)⪯I(A); (FI3) if |A | <|B|, then I(A) ⊗ I(B)⪯⊕eBA
rdf:type