Disambiguation evidence for Herbrand function via surface form

"Herbrand function"

Triples (1)

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

Hasse–Arf theorem → relatedTo →
"Herbrand function"
↳ resolves to Herbrand function
ⓘ