| Portugiesisch | Deutsch |
|---|---|
| Nome de código | Deckname |
| Zufällige Übersetzungen | |
|---|---|
| Juventude Sport Clube |
Juventude Évora |
|
Dedução natural |
Systeme natürlichen Schließens |
|
Problema das oito damas |
Damenproblem |
| ANTI- |
ANTI-Records |