STEXIDE公司 5份文件引用(2010–2013) 软件作者： 朱可夫斯基（Jucovschi），君士坦丁（Constantin）；迈克尔·科尔哈斯 相关软件： TNT基地；MMT；Mizar… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）