Formalization of generalized almost distributive lattices. (Q2344193)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalization of generalized almost distributive lattices. |
scientific article |
Statements
Formalization of generalized almost distributive lattices. (English)
0 references
12 May 2015
0 references
generalized almost distributive lattices
0 references
lattice identities
0 references
formalized mathematics
0 references
formalization of lattices
0 references
