Since testing for sentential validity is a mechanical process, Herbrand's theorem is today of major importance in software developed for theorem proving by computer.
Dahil sa pagsubok para sa sentential Bisa ay isang proseso ng makina, Herbrand's teorama ay ngayon ng malaking kahalagahan sa software na binuo para sa teorama proving sa pamamagitan ng computer.