scientific article; zbMATH DE number 1303351
From MaRDI portal
Publication:4249904
zbMath0924.03023MaRDI QIDQ4249904
Andreas Nonnengart, Georg Rock, Christoph Weidenbach
Publication date: 7 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Binary resolution over complete residuated Stone lattices ⋮ Efficiently checking propositional refutations in HOL theorem provers ⋮ Effective Normalization Techniques for HOL ⋮ A solver for QBFs in negation normal form ⋮ A Generalisation of the Hyperresolution Principle to First Order Gödel Logic ⋮ Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme ⋮ Hyperresolution for Gödel logic with truth constants
Uses Software
