Herbrand-Methode

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine beweistheoretische Technik, die die Erfüllbarkeit erster Ordnung auf propositionale Erfüllbarkeit reduziert, indem sie endliche (oder effektiv aufzählbare) Mengen von ground-Instanzen — Herbrand‑Expansionen — aus dem Herbrand‑Universum konstruiert.