No label defined (Q5718678)

From MaRDI portal
Revision as of 05:47, 7 March 2024 by Import240305080351 (talk | contribs) (Added link to MaRDI item.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 2247430
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 2247430

    Statements

    0 references
    16 January 2006
    0 references
    0 references
    weak pigeonhole principle
    0 references
    exponentially large finite relational structures
    0 references
    proof complexity
    0 references
    weak proof systems
    0 references