scientific article; zbMATH DE number 517073

MaRDI QIDQ4282603zbMATH OpenFDO

Authors Uwe Egly

Publication date 17 March 1994

zbMATH Keywords

function introduction ruleresolution calculustautology introduction rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Complexity of resolution proofs and function introduction
• A Resolution Calculus for Shortening Proofs
• scientific article; zbMATH DE number 4022664
• scientific article; zbMATH DE number 1324437
• Resolution on formula-trees

Cited in

(4)

• Complexity of resolution proofs and function introduction
• scientific article; zbMATH DE number 1324437 (Why is no real title available?)
• \textsf{Ko\(_{\mathsf{M}}\)eT}
• A Resolution Calculus for Shortening 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 Q4282603)