scientific article; zbMATH DE number 1324440
From MaRDI portal
Publication:4255511
zbMath0920.03018MaRDI QIDQ4255511
No author found.
Publication date: 16 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)
Related Items
A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure, Disquotation and infinite conjunctions, A new application for explanation-based generalisation within automated deduction, A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$, The Epistemology of Computer-Mediated Proofs, Unprovability results for clause set cycles, Inductive theorem proving based on tree grammars
