Twee
From MaRDI portal
Software:40346
swMATH28632MaRDI QIDQ40346FDOQ40346
Author name not available (Why is that?)
Cited In (6)
- Guiding an automated theorem prover with neural rewriting
- AC simplifications and closure redundancies in the superposition calculus
- 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
- Ground joinability and connectedness in the superposition calculus
This page was built for software: Twee
