scientific article; zbMATH DE number 970747

zbMath0861.68087MaRDI QIDQ5688940

No author found.

Publication date: 6 March 1997

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

zbMATH Keywords

lazy model generationparallel theorem provers

Mathematics Subject Classification ID

Related Items

The TPTP problem library

Uses Software

• OTTER