Mizar system
[de] Mizar-System
[fr] Mizar (système)
[he] מערכת מיזאר
[it] Sistema Mizar
[ja] Mizar
[pl] System Mizar