scientific article; zbMATH DE number 4128784
From MaRDI portal
Publication:4207882
zbMATH Open0689.03004MaRDI QIDQ4207882
Publication date: 1988
Title of this publication is not available (Why is that?)
Related Items (4)
Resolution-Like Theorem Proving for High-Level Conditions ⋮ Formalizing Bachmair and Ganzinger's ordered resolution prover ⋮ A classification of non-liftable orders for resolution ⋮ Understanding Resolution Proofs through Herbrand’s Theorem
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4207882)
