scientific article; zbMATH DE number 3900184

MaRDI QIDQ3678693zbMATH OpenFDO

Authors David A. Plaisted

Publication date 1984

zbMATH Keywords

resolutionclausesset-of-support strategies

Mathematics Subject Classification ID

Cited in

(6)

• A New and Formalized Proof of Abstract Completion
• Automatic Abstraction for Congruences
• scientific article; zbMATH DE number 6315451 (Why is no real title available?)
• Abstractions of uniform proofs
• scientific article; zbMATH DE number 1759674 (Why is no real title available?)
• Using Abduction to Compute Efficient Proofs

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 Q3678693)