Cited in
(10)- Guiding an automated theorem prover with neural rewriting
- AC simplifications and closure redundancies in the superposition calculus
- Waldmeister
- MadMax
- Twee: an equational theorem prover
- The CADE-28 Automated Theorem Proving System Competition – CASC-28
- Efficient encodings of first-order Horn formulas in equational logic
- Jukebox
- Ground joinability and connectedness in the superposition calculus
- ACER
This page was built for software: Twee
