搜索结果: 1-1 共查到“数理逻辑与数学基础 mizar-items”相关记录1条 . 查询时间(0.718 秒)
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library
Mizar Mathematical Library mizar-items Digital Libraries
2011/10/9
Abstract: The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see this http URL). Owing to its large size (it contains more than 1100 "articles" summing to nearl...