scientific article; zbMATH DE number 1389651

zbMath0951.68143MaRDI QIDQ4934144

Dirk Fuchs

Publication date: 17 January 2000

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

zbMATH Keywords

automated theorem proving

Mathematics Subject Classification ID

Related Items

Controlled use of clausal lemmas in connection tableau calculi

Uses Software

• SETHEO
• SPASS
• TPTP