 |
| Russian | German |
| в справочных целях | zu Informationszwecken (Nilov) |
| вывод "от цели к фактам" | Rückwärtsverkettung (метод автоматического доказательства теорем) |
| информационная цель | Informationszweck (Nilov) |
| контроль с целью защиты | Schutzprüfung (напр., данных от искажений) |