Refutational theorem proving for hierarchic first-order theories
Applicable Algebra in Engineering Communication and Computing1994Vol. 5(3-4), pp. 193–212
Citations Over TimeTop 10% of 1994 papers
Related Papers
- Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions(2007)
- → Proof movie — A proof with the Boyer-Moore prover(1993)7 cited
- A Definition-Drive n TheoremProver(1973)
- → The UT Theorem Prover(1984)