Pages that link to "Herbrandization"
From HandWiki
The following pages link to Herbrandization:
Displayed 9 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- 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)
- Biography:Jacques Herbrand (← links)