Mizar (system dowodzenia twierdzeń) (Q110250)

    From Serwis Kart Wzorcowych
    No description defined
    • System Mizar
    edit
    Language Label Description Also known as
    English
    Mizar (system dowodzenia twierdzeń)
    No description defined
    • System Mizar

    Statements

    National Library Identifier
    a0000003842699
    0 references
    Type
    Unknown
    0 references
    Version
    P89540T43014
    0 references
     
    Retrieved from "https://kartywzorcowe.lab.dariah.pl/w/index.php?title=Item:Q110250&oldid=5525283"