格拉泽戈兹·班塞雷克 使用MML查询进行信息检索和渲染。 （英语） Zbl 1188.68125号 Borwein，Jonathan M.（编辑）等人，《数学知识管理》。2006年8月11日至12日在英国沃金汉举行的2006年MKM第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37104-4/pbk）。计算机科学4108课堂讲稿。人工智能课堂讲稿，266-279（2006）。 总结：米扎尔，一个校对系统，用于构建米扎尔数学图书馆（MML）。MML Query是一个基于语义的工具，用于管理米扎尔包括搜索、浏览和呈现不断发展的MML内容。该工具被广泛用作米扎尔作者和在MML正在进行的重组中发挥着重要作用。我们介绍了第三版中实现的MML Query的新特性，并描述了它们提供的可能性。有关整个系列，请参见[Zbl 1114.68004号]. 引用于2评论引用于10文件 MSC公司： 第68页第20页 信息存储和数据检索 68立方英尺 知识表示 软件：米扎尔;MML公司;月收入;Mizar模式 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek}，莱克特。注释计算。科学。4108266-279（2006年；Zbl 1188.68125） 全文： 内政部