Pages that link to "Item:Q1815858"
From MaRDI portal
The following pages link to OTTER and the Moufang identity problem (Q1815858):
Displaying 7 items.
- Automated proofs of the Moufang identities in alternative rings (Q912653) (← links)
- Some experiments in nonassociative ring theory with an automated theorem prover (Q1105012) (← links)
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Searching for circles of pure proofs (Q1904397) (← links)
- Moufang quasigroups (Q1921907) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- A Wos Challenge Met (Q2102924) (← links)