Publication:4503911
From MaRDI portal
zbMath0955.03018MaRDI QIDQ4503911
Renate A. Schmidt, Ullrich Hustadt
Publication date: 14 September 2000
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
Related Items
First-Order Resolution Methods for Modal Logics, Deciding expressive description logics in the framework of resolution, A new methodology for developing deduction methods, Hyperresolution for guarded formulae, Individual Reuse in Description Logic Reasoning, Description Logics