| Portugiesisch | Deutsch |
|---|---|
| Trifólio | Trefoil |
| Trifólio Girassol | Professor Bienlein |
| Zufällige Übersetzungen | |
|---|---|
| Istmo da Carélia |
Karelische Landenge |
|
Phoenix onagadori |
Onagadori |
|
Uacari-branco |
Roter Uakari |
| Prova automática de teoremas |
Computerbeweis |