1 paper · 1 filter
Paul J. Voda, Ján Komara
Herbrand's theorem plays an important role both in proof theory and in computer science. Given a Herbrand skeleton, which is basically a number specifying the count of disjunctions…