Home › Entities › award › Herbrand Award

Herbrand Award

award for research contributions to automated deduction
Place award Q449390
Press Enter · cited answer in seconds

Herbrand Award

Summary

Herbrand Award is an award[1]. It ranks in the top 4% of award entities by monthly Wikipedia readership (43 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 marks the founding of Herbrand Award[6].
  • Herbrand Award's official website is recorded as http://cadeinc.org/Herbrand-Award[7].
  • Herbrand Award's conferred by is recorded as Conference on Automated Deduction[8].
  • Herbrand Award's native label is recorded as {'lang': 'en', 'text': 'Herbrand Award'}[9].

Body

Designation and Status

Herbrand Award's instance of is recorded as award[4].

History and Context

1992 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 (43 views/month).[2] It has Wikipedia articles in 6 language editions, a strong signal of global cultural recognition.[10]

Related Entities

Alan Bundy Andrei Voronkov award David Plaisted Deepak Kapur Donald W. Loveland Edmund M. Clarke Franz Baader Gérard Huet Harald Ganzinger John Alan Robinson J Strother Moore Larry Wos Leonardo de Moura Mark E. Stickel Martin Davis Melvin Fitting Nachum Dershowitz Robert Lee Constable Robert S. Boyer William McCune Wolfgang Bibel Woody Bledsoe Zohar Manna

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [4] ↑ . wikidata.org.
  2. [3] ↑ . wikidata.org.
  3. [5] ↑ . wikidata.org.
  4. [6] ↑ . wikidata.org.
  5. [7] ↑ . wikidata.org.
  6. [8] ↑ . wikidata.org.
  7. [9] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [2] ↑ . Wikimedia Foundation. dumps.wikimedia.org.
  2. [10] ↑ . Wikidata sitelinks. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Herbrand Award. Retrieved May 3, 2026, from https://4ort.xyz/entity/herbrand-award
MLA “Herbrand Award.” 4ort.xyz Knowledge Graph, 4ort.xyz, 3 May. 2026, https://4ort.xyz/entity/herbrand-award.
BibTeX @misc{4ortxyz_herbrand-award_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Herbrand Award}}, year = {2026}, url = {https://4ort.xyz/entity/herbrand-award}, note = {Accessed: 2026-05-03}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Herbrand Award — https://4ort.xyz/entity/herbrand-award (retrieved 2026-05-03)

Canonical URL: https://4ort.xyz/entity/herbrand-award · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 21h ago · IntensionalLogician · 2026-07-18 view diff on Wikidata ↗
    Maintained by wikiproject → Q10858435
    Field of work → computer-assisted proof
    "/* wbsetclaim-create:2||1 */ [[Property:P6104]]: [[Q10858435]]"
  2. 20d ago · IntensionalLogician · 2026-06-29 view diff on Wikidata ↗
    Website → —
    Official website → http://cadeinc.org/Herbrand-Award
    Conferred by → Conference on Automated Deduction
    Aliases → —
    + 8 other properties edited (see Wikidata diff for full list)
    "/* wbsetclaim-update:2||1|1 */ [[Property:P1027]]: [[Q5159939]]"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.