PropertyValue
nif:beginIndex
  • 0 (xsd:integer)
nif:broaderContext
nif:endIndex
  • 72 (xsd:integer)
nif:isString
  • Then ⪯ is a partial order on K and (K, ⊕) is a bounded join semilattice.
rdf:type