| Portugiesisch | Deutsch |
|---|---|
| Prova automática de teoremas | Computerbeweis |
| Zufällige Übersetzungen | |
|---|---|
| Construtor de interface gráfica |
GUI-Builder |
|
América Futebol Clube |
América FC |
|
Parque Nacional de São Joaquim |
Nationalpark São Joaquim |
| Shabak |
Schin Bet |