14 citations · 60 across the 17 of their papers we have counts for
1 paper · 2 filters
Claus-Peter Wirth
Herbrand's Fundamental Theorem provides a constructive characterization of derivability in first-order predicate logic by means of sentential logic. Sometimes it is simply called "…