scientific article
From MaRDI portal
Publication:2751044
zbMath0984.03012MaRDI QIDQ2751044
Renate A. Schmidt, Ullrich Hustadt
Publication date: 21 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automated theorem provingproof complexitymulti-modal logicsatisfiability testingselection refinementtranslation-based resolution decision procedure
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (3)
Simulation and Synthesis of Deduction Calculi ⋮ Hyperresolution for guarded formulae ⋮ A new methodology for developing deduction methods
This page was built for publication:
