Herbrand's theorem en · PROPN
Etymology
Obtained by Jacques Herbrand (1930).
Meanings
- A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.
Dictionary
Words, grammatical forms and meanings linked to the ontology.