swMATH13308MaRDI QIDQ25223FDOQ25223
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/BFb0055140
Cited In (9)
- Superposition with lambdas
- Theorem proving in higher order logics. 11th international conference, TPHOLs '98. Canberra, Australia, September 27 - October 1, 1998. Proceedings
- Superposition with lambdas
- PARTHEO
- Roo
- Zipperposition
- TPS: A hybrid automatic-interactive system for developing proofs
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
- A taxonomy of parallel strategies for deduction
This page was built for software: HOT
