A legacy recalled and a tradition continued (Q5951525)

From MaRDI portal
scientific article; zbMATH DE number 1686111
Language Label Description Also known as
English
A legacy recalled and a tradition continued
scientific article; zbMATH DE number 1686111

    Statements

    A legacy recalled and a tradition continued (English)
    0 references
    0 references
    7 January 2002
    0 references
    condensed detachment
    0 references
    single axioms
    0 references
    automated reasoning
    0 references
    open problems
    0 references
    sentential logic
    0 references
    sentential calculi
    0 references
    formal proofs
    0 references

    Identifiers