Pages that link to "Item:Q3568690"
From MaRDI portal
The following pages link to Classification results in quasigroup and loop theory via a combination of automated reasoning tools. (Q3568690):
Displaying 7 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- Applying SAT solving in classification of finite algebras (Q862393) (← links)
- Automatic construction and verification of isotopy invariants (Q928664) (← links)
- Automated reasoning and exhaustive search: Quasigroup existence problems (Q1343395) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- Enumeration of AG-Groupoids (Q5200104) (← links)
- Automated Reasoning (Q5307076) (← links)