A Simplified Format for the Model Elimination Theorem-Proving Procedure (Q5574714)
From MaRDI portal
scientific article; zbMATH DE number 3291956
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Simplified Format for the Model Elimination Theorem-Proving Procedure |
scientific article; zbMATH DE number 3291956 |
Statements
A Simplified Format for the Model Elimination Theorem-Proving Procedure (English)
0 references
1969
0 references
languages, automata, networks
0 references
