scientific article; zbMATH DE number 3320385
From MaRDI portal
zbMath0202.01501MaRDI QIDQ5600875
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Linear and unit-resulting refutations for Horn theories, A Survey of the Proof-Theoretic Foundations of Logic Programming, A logic for default reasoning, A multi-clause dynamic deduction algorithm based on standard contradiction separation rule, On structures of regular standard contradictions in propositional logic, Algorithms for generating arguments and counterarguments in propositional logic, Computing minimal models by partial instantiation, Refutation graphs, Experimental tests of resolution-based theorem-proving strategies, A resolution-based system for symbolic approximate reasoning, Resolution graphs, Linear resolution with selection function, Theorem proving with variable-constrained resolution, On Linear Resolution, Proofs and Certificates for Max-SAT, A proof builder for Max-SAT
