scientific article; zbMATH DE number 5173934

MaRDI QIDQ5294172zbMATH OpenFDO

Authors Nicolas Peltier

Publication date 24 July 2007

zbMATH Keywords

pigeonhole problemresolutionsharing

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Recommendations

• scientific article; zbMATH DE number 1301754
• scientific article; zbMATH DE number 43237
• A type-theoretic approach to resolution
• A Resolution Calculus for Shortening Proofs
• A resolution calculus for first-order schemata
• Formalization of the Resolution Calculus for First-Order Logic
• Formalization of the resolution calculus for first-order logic
• Resolution calculus for the first order linear logic
• scientific article; zbMATH DE number 4055570
• scientific article; zbMATH DE number 1324435

Cited in

(4)

• Resolution on formula-trees
• A resolution calculus for first-order schemata
• scientific article; zbMATH DE number 1090101 (Why is no real title available?)
• Automated Reasoning

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