The markgraf karl refutation procedure (MKRP)
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- The karlsruhe induction theorem proving systemPublished by Springer Nature ,1986
- Theory Unification in Abstract Clause GraphsPublished by Springer Nature ,1986
- Equality Reasoning with Equality-pathsPublished by Springer Nature ,1986
- Automated deduction by theory resolutionJournal of Automated Reasoning, 1985
- Paramodulated connection graphsActa Informatica, 1980
- Refutation graphsArtificial Intelligence, 1976
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975