Theorem proving by chain resolution (Q1274972)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Theorem proving by chain resolution
scientific article

    Statements

    Theorem proving by chain resolution (English)
    0 references
    0 references
    0 references
    12 January 1999
    0 references
    theorem proving
    0 references
    clausal refutation
    0 references
    propositional logic
    0 references
    polynomial systems
    0 references

    Identifiers