scientific article; zbMATH DE number 837782

zbMATH Open0840.03042MaRDI QIDQ4863690FDOQ4863690

Authors: Matthias Baaz, Alexander Leitsch 

Publication date: 1 July 1996

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

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

zbMATH Keywords

surveyefficiencyresolution calculusNoetherian inductionSkolem functions

Mathematics Subject Classification ID

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

Cited In (5)

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

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)