Theory links: Applications to automated theorem proving
- 1 October 1987
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 4 (2) , 173-190
- https://doi.org/10.1016/s0747-7171(87)80064-0
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Inference with path resolution and semantic graphsJournal of the ACM, 1987
- Special relations in automated deductionJournal of the ACM, 1986
- Automated deduction by theory resolutionJournal of Automated Reasoning, 1985
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- An improved proof procedure1Theoria, 1960