Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic'' (Q1107334)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic''
scientific article

    Statements

    Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic'' (English)
    0 references
    0 references
    0 references
    1988
    0 references
    Erratum concerned with ibid. 3, 91-107 (1987; Zbl 0636.68121).
    0 references
    0 references
    0 references
    0 references
    0 references
    automated reasoning
    0 references
    paramodulation
    0 references
    demodulation
    0 references
    proof checking
    0 references
    bidirectional search
    0 references
    combinatory logic
    0 references
    ITP
    0 references
    automated theorem proving
    0 references
    fixed-point property
    0 references