PanLinx
eesti
ekk-000
formaliseerimine
eesti
ekk-000
vormikohastamine
English
eng-000
formalisation
PanLex
