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
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
