scientific article; zbMATH DE number 3684933

zbMATH Open0438.68051MaRDI QIDQ3880321FDOQ3880321

Authors: Helga Noll 

Publication date: 1980

Title of this publication is not available (Why is that?)

zbMATH Keywords

completenessfactoringresolution inference system

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Cited In (2)

• On the termination of clause graph resolution
• Semantic trees revisited: Some new completeness results

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