Eighty-three sublattices and planarity (Q2330862)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Eighty-three sublattices and planarity |
scientific article |
Statements
Eighty-three sublattices and planarity (English)
0 references
23 October 2019
0 references
finite lattice
0 references
planar lattice
0 references
sublattice
0 references
number of sublattices
0 references
subuniverse
0 references
computer-assisted proof
0 references
0 references
