A new method for the Boolean ring based theorem proving (Q1333173)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A new method for the Boolean ring based theorem proving
scientific article

    Statements

    A new method for the Boolean ring based theorem proving (English)
    0 references
    21 April 1997
    0 references
    0 references
    \(N\)-strategy
    0 references
    first-order theorem proving
    0 references
    Boolean ring approach
    0 references
    completeness
    0 references
    reduction
    0 references
    semantic trees
    0 references
    0 references
    0 references