Angielski ⇄ Chiński Duński Fiński Grecki Hiszpański Niderlandzki Niemiecki Portugalski Rosyjski Szwedzki +

symbolic execution
sztuczn.	symbolische Ausführung
technol.	symbolische Programmausführung