Pages that link to "Item:Q2725955"
From MaRDI portal
The following pages link to Single axioms: With and without computers (Q2725955):
Displaying 5 items.
- Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green (Q598306) (← links)
- Rapid construction of algebraic axioms from samples (Q1179710) (← links)
- Single identities for ternary Boolean algebras (Q1343391) (← links)
- Automated discovery of single axioms for ortholattices (Q2577711) (← links)
- Church Without Dogma: Axioms for Computability (Q5384973) (← links)