MMT API：通用MKM系统
The MMT API: A Generic MKM System
摘要：
MMT语言已经被开发为用于形式数学知识的可伸缩表示和交换语言。它允许几乎所有声明性语言的语法和语义的自然表示，同时使基于MMT的MKM服务易于实现。它基本上不受约束，可以用特定的形式语言实例化。MMT API实现了MMT语言以及用于持久存储的多个后端和用于机器和用户访问的前端。此外，它实现了各种各样的基于MMT的知识管理服务。API和所有服务都是通用的，可以应用于MMT中表示的任何语言。插件接口允许注入单个形式语言的语法和语义特性。
英文摘要：
The MMT language has been developed as a scalable representation and interchange language for formal mathematical knowledge. It permits natural representations of the syntax and semantics of virtually all declarative languages while making MMT-based MKM services easy to implement. It is foundationally unconstrained and can be instantiated with specific formal languages. The MMT API implements the MMT language along with multiple backends for persistent storage and frontends for machine and user access. Moreover, it implements a wide variety of MMT-based knowledge management services. The API and all services are generic and can be applied to any language represented in MMT. A plugin interface permits injecting syntactic and semantic idiosyncrasies of individual formal languages.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
