Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01865123n
Noun Named Entity
Categories: Metatheorems, Theorems in the foundations of mathematics, Proof theory
EN
Herbrand's theorem  Herbrand theorem  Herbrand base  Herbrand theory  Herbrand’s theorem
EN
Herbrand's theorem is a fundamental result of mathematical logic obtained by Jacques Herbrand. Wikipedia
Definitions
Relations
Sources
EN
Herbrand's theorem is a fundamental result of mathematical logic obtained by Jacques Herbrand. Wikipedia
reduction of first-order mathematical logic to propositional logic Wikidata
IS A
theorem
FACET OF
symbolic logic
NAMED AFTER
Jacques Herbrand
Wikipedia
EN
Herbrand's theorem
Wikidata
EN
Herbrand's theorem
Wikipedia Redirections
EN
Herbrand's Theorem, Herbrand's theorem (proof theory), Herbrand base, Herbrand theorem, Herbrand theory, Herbrand’s theorem

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License