scientific article
From MaRDI portal
Publication:3838803
zbMath0910.03007MaRDI QIDQ3838803
Publication date: 19 April 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Semantically-guided goal-sensitive reasoning: model representation ⋮ The model evolution calculus as a first-order DPLL method ⋮ The disconnection tableau calculus ⋮ Superposition-based equality handling for analytic tableaux ⋮ Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover ⋮ Hyperresolution for guarded formulae ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness ⋮ Towards a unified model of search in theorem-proving: subgoal-reduction strategies ⋮ Theorem proving techniques for view deletion in databases ⋮ SCL(EQ): SCL for first-order logic with equality ⋮ SCL clause learning from simple models ⋮ Set of support, demodulation, paramodulation: a historical perspective ⋮ SCL(EQ): SCL for first-order logic with equality
This page was built for publication:
