Schulz, Stephan

1 ta ish

Baden-Wuerttemberg Cooperative State University

1. MizAR 60 for Mizar 50

   Jakubův, Jan, Chvalovský, Karel, Goertzel, Zarathustra +6

   Preprint202333 iqtibos

   ABIABI:AkademIndex/2026.other.206430