PanLinx
普通话
cmn-000
相继式演算
國語
cmn-001
相繼式演算
Hànyǔ
cmn-003
xiang1 ji4 shi4 yan3 suan4
Deutsch
deu-000
Sequenzenkalkül
PanLex
