PanLinx
普通话
cmn-000
不动点归纳法
English
eng-000
fixpoint induction method
PanLex