On the Structure of Mizar Types (Q4924547)
From MaRDI portal
scientific article; zbMATH DE number 6171461
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Structure of Mizar Types |
scientific article; zbMATH DE number 6171461 |
Statements
On the Structure of Mizar Types (English)
0 references
6 June 2013
0 references