Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
- diese klauselmenge löschen...
- delete this axiom set...
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
dieser klauselmenge wird lisp-seitig entfernt.
the axiom set will be removed from the lisp world.
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
das bearbeiten-menü: - diese klauselmenge übernehmen...
the edit menu: - apply this axiom set...
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
== vorgehensweise ==sei eine einheitsklausel formula_1 in der klauselmenge gegeben.
==definition==the procedure is based on unit clauses, i.e.
Последнее обновление: 2016-03-03
Частота использования: 2
Качество:
diese klauselmenge kann man durch anwendung dieser zwei regeln vereinfachen, wobei formula_5 die einheitsklausel ist.
the application of these two rules lead to a new set of clauses that is equivalent to the old one.
Последнее обновление: 2016-03-03
Частота использования: 2
Качество:
zur auswahl und zum erstellen von klauselmengen ist das feld neben dem label "klauselmenge" anzu- klicken.
to create a new axiom set, enter the new name in the field selection of the selection menue.
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
der darunter liegende "<< <<"-knopf löst eine freie klauselmenge wieder von der wissensbasis und bringt sie somit wieder in das mittlere fenster.
the button "<< <<" removes a free axset from the kb and relpaces it in the list of remaining sets in the middle of the dialog.
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
eine noch nicht in die wissensbasis übertragene Ände- rung einer zuordnung oder einer klauselmenge wird durch ein ausrufezeichen in der rechten oberen ecke ange- zeigt.
axiom set modifications, not yet updated in the kb, are displayed by an exclamation mark in the top right corner.
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
der prolog-editor ================= mit dem prolog-editor können prolog-klauseln und klauselmengen editiert und erstellt werden.
the prolog-editor ================= horn clauses(axioms) can be edited and created via the prolog editor. to select and create axiom sets you have to click on the field with the label "axiom set".
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование