Extending MKM Formats at the Statement Level

DOI10.1007/978-3-642-31374-5_5zbMath1278.68293OpenAlexW1850117044WikidataQ57389361 ScholiaQ57389361MaRDI QIDQ2907314

Michael Kohlhase, Fulya Horozal, Florian Rabe

Publication date: 7 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31374-5_5

zbMATH Keywords

mathematical knowledge management

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (7)

Mathematical models as research data via flexiformal theory graphs ⋮ A new export of the Mizar mathematical library ⋮ Formal Logic Definitions for Interchange Languages ⋮ A scalable module system ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ Unnamed Item ⋮ Towards Knowledge Management for HOL Light

Uses Software

• PVS
• Isar
• Mizar
• Twelf

This page was built for publication: Extending MKM Formats at the Statement Level