scientific article; zbMATH DE number 515732
From MaRDI portal
Publication:4283235
zbMath0788.68128MaRDI QIDQ4283235
Alexander Leitsch, Christian G. Fermüller
Publication date: 2 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilitysatisfiabilityterminationmodel constructionhyperresolutionunsatisfiabilityresolution calculi
Related Items (5)
The model evolution calculus as a first-order DPLL method ⋮ Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover ⋮ A method for building models automatically. Experiments with an extension of OTTER ⋮ SGGS decision procedures
Uses Software
This page was built for publication:
