Statements (19)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:algebra
lattice |
gptkbp:definedIn |
parenthesizations of a product
set of binary trees |
gptkbp:field |
combinatorics
|
gptkbp:hasElementCount |
Catalan number for n nodes
|
https://www.w3.org/2000/01/rdf-schema#label |
Tamari lattice
|
gptkbp:introducedIn |
1962
|
gptkbp:namedAfter |
gptkb:Dov_Tamari
|
gptkbp:relatedTo |
gptkb:Catalan_numbers
gptkb:associahedron lattice theory poset |
gptkbp:storage |
partial order
|
gptkbp:usedIn |
gptkb:algebra
gptkb:category_theory theoretical computer science |
gptkbp:bfsParent |
gptkb:Dov_Tamari
|
gptkbp:bfsLayer |
6
|