Herbrand Award
0 sources
Herbrand Award
Summary
Herbrand Award is an award[1]. It ranks in the top 4% of award entities by monthly Wikipedia readership (5 views/month).[2]
Key Facts
- Herbrand Award's field of work was computer-assisted proof[3].
- Herbrand Award's instance of is recorded as award[4].
- Jacques Herbrand is named after Herbrand Award[5].
- +1992-00-00T00:00:00Z marks the founding of Herbrand Award[6].
- Herbrand Award's Freebase ID is recorded as /m/07r7y8[7].
- Herbrand Award's official website is recorded as http://cadeinc.org/Herbrand-Award[8].
- Herbrand Award's conferred by is recorded as Conference on Automated Deduction[9].
- Herbrand Award's native label is recorded as {'lang': 'en', 'text': 'Herbrand Award'}[10].
Body
Designation and Status
Herbrand Award's instance of is recorded as award[4].
History and Context
+1992-00-00T00:00:00Z marks the founding of Herbrand Award[6]. Jacques Herbrand is named after it[5].
Why It Matters
Herbrand Award ranks in the top 4% of award entities by monthly Wikipedia readership (5 views/month).[2] It has Wikipedia articles in 6 language editions, a strong signal of global cultural recognition.[11]