| 普通话 | cmn-000 |
| 谓词演算 | |
| 國語 | cmn-001 | 謂詞演算 |
| Hànyǔ | cmn-003 | wei4 ci2 yan3 suan4 |
| Hànyǔ | cmn-003 | wèi cí yǎn suàn |
| Deutsch | deu-000 | Prädikatrechnung |
| English | eng-000 | predicate calculus |
| English | eng-000 | predicate logic |
| English | eng-000 | predicative calculus |
| ئۇيغۇرچە | uig-000 | خەۋەر سۆز ھېسابلاش |
| Uyghurche | uig-001 | xewer söz hésablash |