PanLinx
English
eng-000
theorem proving
普通话
cmn-000
定理证明
олык марий
mhr-000
теоремын доказательствыже
русский
rus-000
доказательство теоремы
PanLex