scientific article; zbMATH DE number 1497743

zbMath0958.68163MaRDI QIDQ4499153

Andreas Franke, Michael Kohlhase

Publication date: 6 March 2001

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

zbMATH Keywords

MBase system

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30)

Related Items

Knowledge-based proof planning

Uses Software

• MBase
• VSDITLU