Pages that link to "Item:Q912653"
From MaRDI portal
The following pages link to Automated proofs of the Moufang identities in alternative rings (Q912653):
Displaying 10 items.
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- On subsumption in distributed derivations (Q1337562) (← links)
- A Wos Challenge Met (Q2102924) (← links)
- Any ground associative-commutative theory has a finite canonical system (Q5055779) (← links)
- A case study of completion modulo distributivity and Abelian groups (Q5055783) (← links)
- An application of automated equational reasoning to many-valued logic (Q5881275) (← links)
- Completion procedures as semidecision procedures (Q5881279) (← links)
- Solving the word problem for two classes of non-associative rings by rewriting (Q5945294) (← links)
