scientific article; zbMATH DE number 837782

MaRDI QIDQ4863690zbMATH OpenFDO

Authors Matthias Baaz, Alexander Leitsch

Publication date 1 July 1996

zbMATH Keywords

surveyefficiencyresolution calculusNoetherian inductionSkolem functions

Mathematics Subject Classification ID

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

Recommendations

• ON AN EXTENSION FOR FUNCTIONS
• Multifunction methods
• scientific article; zbMATH DE number 146955
• scientific article; zbMATH DE number 818383
• scientific article; zbMATH DE number 68595
• Method of function systems and its application

Cited in

(5)

• On Skolem functions in proof theory
• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• Lean induction principles for tableaux
• Complexity of resolution proofs and function introduction
• A regeneration scheme for generating extensions

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