PanLinx
tiếng Việt
vie-000
hình thức hoá
English
eng-000
formalization
English
eng-000
formalize
PanLex
