A complete semantic back chaining proof system

DOI10.1007/3-540-52885-7_76zbMath1509.68315MaRDI QIDQ6488519

David Alan Plaisted, Xumin Nie

Publication date: 28 April 2023

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A complete semantic back chaining proof system