scientific article
From MaRDI portal
Publication:2723441
zbMath0963.03006MaRDI QIDQ2723441
Ullrich Hustadt, Renate A. Schmidt
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (6)
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ Deciding expressive description logics in the framework of resolution ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ First-Order Resolution Methods for Modal Logics ⋮ THE FLUTED FRAGMENT REVISITED ⋮ A new methodology for developing deduction methods
This page was built for publication:
