No label defined (Q4699287)

From MaRDI portal
scientific article; zbMATH DE number 1361469
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1361469

    Statements

    0 references
    10 November 1999
    0 references
    0 references
    lower bounds
    0 references
    proof system
    0 references
    exponential speed-up
    0 references
    polynomial calculus
    0 references
    Frege systems
    0 references