Disambiguation evidence for Hilbert’s program via surface form

"Hilbert's program"

Triples (5)

Triples where some other subject referred to this entity as "Hilbert's program".

Jacques Herbrand → contributedTo →
"Hilbert's program"
↳ resolves to Hilbert’s program
ⓘ
Gödel's incompleteness theorems → relatedTo →
"Hilbert's program"
↳ resolves to Hilbert’s program
ⓘ
Recherches sur la théorie de la démonstration → relatedTo →
"Hilbert's program"
↳ resolves to Hilbert’s program
ⓘ
Engines of Logic → mentionsConcept →
"Hilbert's program"
↳ resolves to Hilbert’s program
ⓘ
arithmetization of syntax → relatedConcept →
"Hilbert's program"
↳ resolves to Hilbert’s program
ⓘ