Pages that link to "Item:Q1200945"
From MaRDI portal
The following pages link to Equational theories of varieties defined by P-compatible identities of Boolean algebras (Q1200945):
Displaying 6 items.
- The varieties defined by \(P\)-compatible identities of modular ortholattices (Q609647) (← links)
- Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular (Q1866805) (← links)
- Variadic equational matching in associative and commutative theories (Q2029000) (← links)
- The equational theory of a nontrivial discriminator variety is co-NP-hard (Q2577705) (← links)
- (Q2753685) (← links)
- (Q4339470) (← links)