Herbrand's theorem
id:
herbrand-s-theorem-198-12967917
title:
Herbrand's theorem
text:
Herbrand's theorem is a fundamental result of mathematical logic obtained by Jacques Herbrand (1930). It essentially allows a certain kind of reduction of first-order logic to propositional logic. Herbrand's theorem is the logical foundation for most automatic theorem provers. Although Herbrand originally proved his theorem for arbitrary formulas of first-order logic, the simpler version shown here, restricted to formulas in prenex form containing only existential quantifiers, became more popula
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Herbrand%27s_theorem
date created:
date modified:
2023-10-16T13:44:11Z
main entity:
{"identifier":"Q1930577","url":"https://www.wikidata.org/entity/Q1930577"}
image:
fields total:
13
integrity:
13