Mizar模式 18篇文献引用(2006–2019) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）