scientific article; zbMATH DE number 3395363
From MaRDI portal
Publication:5663381
zbMath0249.68033MaRDI QIDQ5663381
No author found.
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A hierarchy of propositional Horn formuls ⋮ Experiments with resolution-based theorem-proving algorithms ⋮ An experimental logic based on the fundamental deduction principle ⋮ A new combination of input and unit deductions for Horn sentences ⋮ Representations of the language recognition problem for a theorem prover
