scientific article; zbMATH DE number 1301750

zbMath0928.03031MaRDI QIDQ4246965

François Bry, Sunna Torge

Publication date: 12 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated reasoningfinite satisfiabilityexistential quantifiersrefutation complete deduction method

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items

Exploring Theories with a Model-Finding Assistant, Individual Reuse in Description Logic Reasoning, Using tableau to decide description logics with full role negation and identity, Theorem proving techniques for view deletion in databases, A sound and complete model-generation procedure for consistent and confidentiality-preserving databases, Computing finite models by reduction to function-free clause logic, Blocking and other enhancements for bottom-up model generation methods

Uses Software

• TPTP
• FINDER
• SATCHMO