| Portugiesisch | Deutsch |
|---|---|
| Rio Nahe | Nahe |
| Zufällige Übersetzungen | |
|---|---|
| Árvore Patricia |
Patricia-Trie |
|
Rio Huallaga |
Río Huallaga |
|
nem … nem |
weder … noch |
| Verificação de modelos |
Model Checking |