SHMARQL

Herbrand Award

<http://www.wikidata.org/entity/Q449390>

award for research contributions to automated deduction
Herbrand Award
rdfs:label
"Herbrand Award"@en
schema:description
"award for research contributions to automated deduction"@en
schema:dateModified "2026-07-20T10:52:34+00:00"^^xsd:dateTime
schema:version 2520151484
wikibase:identifiers 1
wikibase:sitelinks 6
wikibase:statements 11
p:P101 wd:statement/Q449390-0a5efecd-45bc-74f0-d83e-5aa4bffff303
wd:statement/Q449390-c7f19c92-4306-e7d6-ea68-5cf9f8651a89
p:P1027 wd:statement/Q449390-ec3b77ab-47a9-a706-47d6-62b8f4027a78
p:P138 wd:statement/Q449390-79d1af9c-4a49-24c2-0c4f-239d4d9ce32d
p:P1705 wd:statement/Q449390-37c43eec-4094-9873-c7af-442be9ba1647
p:P18 wd:statement/Q449390-75FBDB4B-34E1-4CD1-A513-08CF263ACC0D
p:P31 wd:statement/Q449390-3551BFF2-F0EA-4C7A-8ADE-A0B2EE4DD74E
p:P571 wd:statement/Q449390-e83ceeb1-4e14-39f2-3b7f-9c91e35d14b0
p:P6104 wd:statement/Q449390-9f28c0eb-4a68-b28c-1be8-2ddd824a5824
p:P646 wd:statement/Q449390-14A0EE69-0D02-40CD-98DD-1E00AA791B7E
p:P856 wd:statement/Q449390-b31e3f19-4815-b31b-49c3-3d450cc09dab
wdt:P101 computer-assisted proof
automated theorem proving
wdt:P1027 Conference on Automated Deduction
wdt:P138 Jacques Herbrand
wdt:P1705 "Herbrand Award"@en
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Herbrand.jpg>
wdt:P31 award
wdt:P571 "1992-01-01T00:00:00+00:00"^^xsd:dateTime
wdt:P6104 WikiProject Logic
wdt:P646 "/m/07r7y8"
wdt:P856 <http://cadeinc.org/Herbrand-Award>
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata