scientific article; zbMATH DE number 2247430
From MaRDI portal
Publication:5718678
zbMath1089.03049MaRDI QIDQ5718678
Publication date: 16 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof complexityweak pigeonhole principleexponentially large finite relational structuresweak proof systems
Related Items (3)
Substitutions into propositional tautologies ⋮ Typical forcings, NP search problems and an extension of a theorem of Riis ⋮ On meta complexity of propositional formulas and propositional proofs
This page was built for publication:
