The Markgraph Karl Refutation Procedure, a graph-based resolution theorem prover written in Common Lisp.
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Hutter, Dieter (ed.); Stephan, Werner (ed.): Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. (2005)
- Kerber, Manfred: From MKRP to $\Omega$mega (2005)
- Kerber, Manfred; Präcklein, Axel: Using tactics to reformulate formulae for resolution theorem proving (1996)