| Portugiesisch | Deutsch |
|---|---|
| Prova automática de teoremas | Computerbeweis |
| Zufällige Übersetzungen | |
|---|---|
| Condado de Perry |
Perry County |
|
Charlotte Russe |
Charlotte |
|
Apteronotidae |
Schwanzflossen-Messeraale |
| Componente de software |
Komponente |