System description: MBASE, an open mathematical knowledge base - Franke, Andreas; Kohlhase, Michael (17th International Conference on Automated Deduction, CADE 2000, 2000)