Definitions from Wiktionary (Herbrand's theorem)

▸ noun:  (logic) A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.


▸ Words similar to Herbrand's theorem
▸ Usage examples for Herbrand's theorem

▸ Idioms related to Herbrand's theorem
▸ Wikipedia articles (New!)
▸ Words that often appear near Herbrand's theorem
▸ Rhymes of Herbrand's theorem

▸ Invented words related to Herbrand's theorem