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

    Identifiers