Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:algebra
|
gptkbp:example |
gptkb:tropical_semiring
Boolean semiring |
gptkbp:generalizes |
semiring
|
gptkbp:hasProperty |
associative multiplication
additive identity multiplicative identity idempotent addition associative addition commutative addition distributive multiplication over addition |
https://www.w3.org/2000/01/rdf-schema#label |
idempotent semiring
|
gptkbp:usedIn |
gptkb:tropical_geometry
theoretical computer science |
gptkbp:bfsParent |
gptkb:max-plus_algebra
gptkb:min-plus_algebra gptkb:tropical_semiring |
gptkbp:bfsLayer |
7
|