scientific article; zbMATH DE number 1948189

zbMATH Open1021.03052MaRDI QIDQ4411850

Arnold Beckmann

Publication date: 10 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710599.htm

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

zbMATH Keywords

resolution refutationcut eliminationbounded arithmeticpropositional calculusFrege systemslength of proofscut introductionheight of proofsorder induction principle

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

Related Items (1)

Verifying Refutations with Extended Resolution

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