scientific article; zbMATH DE number 5051750
From MaRDI portal
Publication:5486135
zbMath1112.68464MaRDI QIDQ5486135
Christian Suttner, Geoff Sutcliffe
Publication date: 6 September 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (18)
Fast and slow enigmas and parental guidance ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ Recognizing textual entailment and computational semantics ⋮ Model evolution with equality -- revised and implemented ⋮ Automated inference of finite unsatisfiability ⋮ THF0 – The Core of the TPTP Language for Higher-Order Logic ⋮ On the mechanization of the proof of Hessenberg's theorem in coherent logic ⋮ Planning with Effectively Propositional Logic ⋮ The Relative Power of Semantics and Unification ⋮ Progress in the Development of Automated Theorem Proving for Higher-Order Logic ⋮ Automated Inference of Finite Unsatisfiability ⋮ Computing finite models by reduction to function-free clause logic ⋮ System Description: GAPT 2.0 ⋮ Selecting the Selection ⋮ Automated verification of refinement laws ⋮ Combinations of Theories for Decidable Fragments of First-Order Logic ⋮ Herbrand Sequent Extraction
Uses Software
This page was built for publication:
