Dijkstra Prize

GPTKB entity