Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Herbrand Award · Vinony

🌐English

English Deutsch Español Français Português Русский العربية 日本語

EntityQ449390· pop 6· linked from 28 articles

Herbrand Award

award for research contributions to automated deduction

Wikidata facts

Official website: cadeinc.org/Herbrand-Award

Sources (1)

wikidata.org

via Wikidata · CC0

Available in 6 languages

Español
Français
Deutsch
Português
Hebrew

via Wikidata sitelinks · CC0

Connections

Edmund M. Clarke

Categories

Artificial intelligence competitions Computer science awards Logic in computer science

Sources

wikipedia.externallinksexternallink

Jacques Herbrand

Entity

automated theorem proving

Bruno Buchberger

John Alan Robinson

Peter B. Andrews

Harald Ganzinger

Robert S. Boyer

Jacques Herbrand Prize

Sign in to save

What links here28 pages

Jacques Herbrand

John Alan Robinson

Peter B. Andrews

Edmund M. Clarke

Jacques Herbrand Prize

Bruno Buchberger

Harald Ganzinger

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.48

Template:Nebula Award for Best Script/Bradbury Award

Entitydist 0.56

Template:TCA Award for Program of the Year

Entitydist 0.58

Template:Golden Raspberry Award for Worst Screenplay

Entitydist 0.60

Entitydist 0.61

Template:Annie Award for Writing in a Feature Production

Entitydist 0.62

Template:Writers Guild of America Award for Best Original Screenplay

Entitydist 0.62

Template:AACTA International Award for Best Screenplay

Entitydist 0.62

Template:Academy Award for Best Original Screenplay

Entitydist 0.63

Template:Academy Honorary Award

Entitydist 0.63

deduction theorem

Entitydist 0.63

Template:Annie Award for Directing in a Feature Production

Entitydist 0.63