Herbrand's theorem
reduction of first-order mathematical logic to propositional logic
Facts
5 properties- Instance of
- theorem
- Part of
- list of theorems[3]
- Facet of
- mathematical logic[4]
- Maintained by WikiProject
- WikiProject Mathematics[5]
- Named after
- Jacques Herbrand[2]
🏷️ Also known as
en Herbrand's theorem
de Herbrand-Theorie
de Satz von Herbrand
fr théorème de Herbrand
it teorema di Herbrand
ja エルブランの定理
ko 에르브랑의 정리
pl Twierdzenie Herbranda
pt Teorema de Herbrand
ru Теорема Эрбрана
tr Herbrand teoremi
uk Теорема Ербрана
zh 埃尔布朗定理
zh 赫尔不兰特
zh 赫尔不兰特定理
zh 赫爾不蘭特定理
zh-hant 埃爾布朗定理
🔖 Identifiers · 3
- Freebase ID
- /m/07kf4p
- MathWorld ID
- HerbrandsTheorem
- Microsoft Academic ID (discontinued)
- 181407239
🔗 Connections
Created notable works 1
Facet of 1
Instance of 1
Maintained by WikiProject 1
Named after 1
Part of 1
Press Enter · cited answer in seconds
0 sources
Summary
Herbrand's theorem is a theorem[1].