PanLinx
English
eng-000
provable formula
普通话
cmn-000
可证公式
русский
rus-000
доказуемая формула
PanLex