scientific article; zbMATH DE number 1285157

zbMath0914.68177MaRDI QIDQ4242056

Marc Fuchs, Dirk Fuchs

Publication date: 10 May 1999

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

zbMATH Keywords

bottom-up theorem provingtop-down prover

Mathematics Subject Classification ID

Uses Software

• SETHEO
• SPASS
• TPTP