Pages that link to "Item:Q3568233"
From MaRDI portal
The following pages link to Automated theorem proving in quasigroup and loop theory (Q3568233):
Displaying 5 items.
- Guiding an automated theorem prover with neural rewriting (Q2104548) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction (Q4913865) (← links)
