Wikipedia's article on Herbrand's theorem, used to state the 1930 date and Jacques Herbrand's authorship of the reduction of first-order provability to propositional logic.
Facts
Citation
PublisherWikimedia Foundation
URLhttps://en.wikipedia.org/wiki/Herbrand%27s_theorem
Source TypeEncyclopedia
Assessment
Reliability Tier2
Sources
Herbrand's Theorem (Wikipedia)
Wikimedia Foundation- publisher line at the foot of the Wikipedia page
- editorial tier assigned by this atlas, not text on the page
- editorial classification assigned by this atlas, not text on the page
- the page's own web address
View the Source Claims Backed By This Source (11 claims)
This source backs 11 claims across the atlas. As facts: 8 well-attested. As cited relationships: 2 holds. Plus 1 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Theorems, 7 claims: 4 well-attested, 2 holds, 1 general references.
- Sources, 4 claims: 4 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.