The Concept of Weak Substitution in Theorem-Proving
- 1 October 1973
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 20 (4) , 648-667
- https://doi.org/10.1145/321784.321792
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965