Short proofs are narrow—resolution made simple (Q4406287)
From MaRDI portal
scientific article; zbMATH DE number 1934986
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Short proofs are narrow—resolution made simple |
scientific article; zbMATH DE number 1934986 |
Statements
Short proofs are narrow—resolution made simple (English)
0 references
25 June 2003
0 references
