PanLinx
English
eng-000
acyclic model theorem
普通话
cmn-000
非循环模型定理
PanLex