scientific article; zbMATH DE number 1552511

zbMath0970.68151MaRDI QIDQ4524769

Wolfram Menzel, Gerhard Schellhorn, Wolfgang Reif, Wolfgang Ahrendt, Reiner Hähnle, Bernhard Beckert, Peter H. Schmitt

Publication date: 15 January 2001

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

zbMATH Keywords

automated theorem proving

Mathematics Subject Classification ID

Related Items

A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux, Automated flaw detection in algebraic specifications, Automation for interactive proof: first prototype, Automating Algebraic Specifications of Non-freely Generated Data Types, Extending Sledgehammer with SMT Solvers, Bounded Relational Analysis of Free Data Types, Lightweight relevance filtering for machine-generated resolution problems, Extending Sledgehammer with SMT solvers

Uses Software

• SETHEO
• FINDER
• MGTP
• InKa
• 3TAP