Disambiguation evidence for Jacques Herbrand via surface form

"Jacques Herbrand"

Triples (17)

Triples where some other subject referred to this entity as "Jacques Herbrand".

Herbrand Award → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand's theorem → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand's theorem → introducedBy →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand universe → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand expansion → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Recherches sur la théorie de la démonstration → author →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand disjunction → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
The Undecidable → containsWorkBy →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand interpretation → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Jacques Herbrand Prize → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Grand Prix Jacques Herbrand → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 → containsWorkBy →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand function → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand base → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand semantics → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand conjunction (for universal formulas) → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ
Herbrand quotient → namedAfter →
"Jacques Herbrand"
↳ resolves to Jacques Herbrand
ⓘ