Pages that link to "Item:Q5055783"
From MaRDI portal
The following pages link to A case study of completion modulo distributivity and Abelian groups (Q5055783):
Displaying 4 items.
- Some experiments with a completion theorem prover (Q1186705) (← links)
- Superposition with completely built-in abelian groups (Q1432887) (← links)
- Proving group isomorphism theorems (Q5881193) (← links)
- Solving the word problem for two classes of non-associative rings by rewriting (Q5945294) (← links)