Contact
| P856 | official website | Herbrand Award |
| P1027 | conferred by | ... | Q5159939 (Conference on Automated Deduction) | Conference on Automated Deduction |
| P101 | field of work | ... | Q1150675 (computer-assisted proof) | computer-assisted proof |
| P571 | inception | ... | 1992-01-01 | ??? |
| P31 | instance of | ... | Q618779 (award) | award |
| P138 | named after | ... | Q448086 (Jacques Herbrand) | Jacques Herbrand |
| P1705 | native label | Monolingualtext | Herbrand Award | ??? |
| P646 | Freebase ID | /m/07r7y8 |
Why not click here or view trends?
log id: 7374376