Disambiguation evidence for Hilbert’s program via surface form

"Hilbert’s program in proof theory"

As object (1)

Triples where some other subject referred to this entity as "Hilbert’s program in proof theory".