PanLinx
English
eng-000
unification-based formalisms
日本語
jpn-000
単一化に基づく形式化
PanLex
