No label defined (Q4218929)

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

    Statements

    0 references
    0 references
    15 November 1998
    0 references
    upper bounds
    0 references
    weak pigeonhole principle
    0 references
    lower bounds
    0 references
    tree-like resolution proofs
    0 references
    normal form for resolution proofs
    0 references
    monotone resolution rule
    0 references

    Identifiers