Mizar system الإنجليزية (Q5780780)

من Marefa data
proof assistant الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    Mizar system
    proof assistant

      بيانات

      Wikidata item الإنجليزية
      Q1609529
      ٠ مرجع
       

      وصلات الموقع

        مجلوبة من «https://data.marefa.org/w/index.php?title=Q5780780&oldid=67647029»