Pages that link to "Item:Q1343391"
From MaRDI portal
The following pages link to Single identities for ternary Boolean algebras (Q1343391):
Displayed 5 items.
- Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
- Simplifying von Plato's axiomatization of constructive apartness geometry (Q1964142) (← links)
- Automatization of ternary Boolean algebras (Q2171519) (← links)
- Basis reduction for cryptogroups and orthogroups (Q2216527) (← links)
- Computer Solutions of Problems in Inverse Semigroups (Q3562322) (← links)