Pages that link to "Herbrandization"
From HandWiki
The following pages link to Herbrandization:
Displaying 10 items.
- Herbrand structure (← links)
- Index of logic articles (← links)
- Davis–Putnam algorithm (← links)
- DPLL algorithm (← links)
- First-order logic (← links)
- Herbrand's theorem (← links)
- Skolem normal form (← links)
- Prenex normal form (← links)
- Herbrand normal form (redirect page) (← links)
- Biography:Jacques Herbrand (← links)
