PropertyValue
nif:beginIndex
  • 0 (xsd:integer)
nif:broaderContext
nif:endIndex
  • 60 (xsd:integer)
nif:isString
  • In every dioid (K, ⊕, ⊗, 0, 1), we define x⪯y iff x ⊕ y = y.
rdf:type