scientific article; zbMATH DE number 1341614
From MaRDI portal
Publication:4263163
zbMath0937.03017MaRDI QIDQ4263163
Renate A. Schmidt, Ullrich Hustadt
Publication date: 17 February 2000
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)
Related Items (5)
Representing and building models for decidable subclasses of equational clausal logic ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). ⋮ First-Order Resolution Methods for Modal Logics ⋮ A Resolution-based Model Building Algorithm for a Fragment of OCC1N =
This page was built for publication:
