Disambiguation evidence for Hilbert’s program via surface form
"Hilbert program"
Triples (4)
Triples where some other subject referred to this entity
as "Hilbert program".
completeness theorem for first-order logic
→
historicalContext
→
"Hilbert program"
ⓘ
↳ resolves to Hilbert’s program
"Grundzüge der theoretischen Logik"
→
relatedTo
→
"Hilbert program"
ⓘ
↳ resolves to Hilbert’s program
surface form:
Grundzüge der theoretischen Logik