Twee
From MaRDI portal
Software:40346
No author found.
Related Items (6)
AC simplifications and closure redundancies in the superposition calculus ⋮ The CADE-28 Automated Theorem Proving System Competition – CASC-28 ⋮ Efficient encodings of first-order Horn formulas in equational logic ⋮ Twee: an equational theorem prover ⋮ Ground joinability and connectedness in the superposition calculus ⋮ Guiding an automated theorem prover with neural rewriting
This page was built for software: Twee
