PanLinx
hrvatski
hrv-000
aksiomatizacija
English
eng-000
axiomatization
PanLex