Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Mizar 60 for Mizar 50 - MaRDI portal

Mizar 60 for Mizar 50

From MaRDI portal

Publication:6643000

Jump to:navigation, search

DOI10.4230/lipics.itp.2023.19MaRDI QIDQ6643000

Mirek Olšák, Martin Suda, Bartosz Piotrowski, Josef Urban, Karel Chvalovský, Jan Jakubův, Cezary Kaliszyk, Zarathustra A. Goertzel, Stephan Schulz

Publication date: 26 November 2024

zbMATH Keywords

automated reasoning machine learning Mizar ENIGMA

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Mizar 60 for Mizar 50

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6643000&oldid=40219074"