Pages that link to "Item:Q1108815"
From MaRDI portal
The following pages link to Problem corner: Proving equivalence of different axiomatizations of free groups (Q1108815):
Displaying 5 items.
- Some experiments with a completion theorem prover (Q1186705) (← links)
- Single axioms for groups and abelian groups with various operations (Q1312155) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- Lattice-ordered groups in deduction (Q2702594) (← links)
- The Existence of Level Sets in a Free Group Implies the Axiom of Choice (Q3749051) (← links)