| Deutsch | deu-000 |
| Prädikatrechnung | |
| 普通话 | cmn-000 | 谓词演算 |
| 國語 | cmn-001 | 謂詞演算 |
| Hànyǔ | cmn-003 | wei4 ci2 yan3 suan4 |
| Deutsch | deu-000 | Prädikatenlogik |
| suomi | fin-000 | predikaattilogiikka |
| français | fra-000 | calcul des prédicats |
| hrvatski | hrv-000 | predikatni račun |
| 한국어 | kor-000 | 술어 계산 |
| македонски | mkd-000 | предикатна пресметка |
| svenska | swe-000 | predikatlogik |