On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (Q2073367)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices |
scientific article; zbMATH DE number 7468272
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices |
scientific article; zbMATH DE number 7468272 |
Statements
On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (English)
0 references
2 February 2022
0 references
ortholattice of subspaces
0 references
matrix \(*\)-ring
0 references
complemented modular lattice
0 references
satisfiability problems
0 references
complexity
0 references
Hilbert category
0 references
0 references
0 references
0 references
0 references
0.87791663
0 references
0.8752252
0 references
0.8627043
0 references
0.8619455
0 references
0.86113346
0 references
0.85543346
0 references
