| Portugiesisch | Deutsch |
|---|---|
| Verificação de modelos | Model Checking |
| Zufällige Übersetzungen | |
|---|---|
| Cottus poecilopus |
Sibirische Groppe |
|
Thok |
Thökk |
|
Pirâmides de Gizé |
Pyramiden von Gizeh |
| caipira |
Hinterwäldler |