Mizar (system dowodzenia twierdzeń) (Q110250)

    Add links
    From Serwis Kart Wzorcowych
    Revision as of 14:11, 7 September 2023 by Ptylczynski (talk | contribs) (‎Created a new Item: Document Mizar (system dowodzenia twierdzeń) added by Lapacz)
    (diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
    No description defined
    Language Label Description Also known as
    English
    Mizar (system dowodzenia twierdzeń)
    No description defined

      Statements

       
      Retrieved from "https://kartywzorcowe.lab.dariah.pl/w/index.php?title=Item:Q110250&oldid=110278"