Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:award
|
| gptkbp:awardedFor |
outstanding papers in theoretical computer science
|
| gptkbp:partOf |
gptkb:Gödel_Prize
|
| gptkbp:presentedBy |
gptkb:Association_for_Computing_Machinery
gptkb:European_Association_for_Theoretical_Computer_Science |
| gptkbp:winner |
gptkb:Alexander_Razborov
gptkb:Steven_Rudich |
| gptkbp:winningWork |
gptkb:Natural_Proofs
|
| gptkbp:year |
2011
|
| gptkbp:bfsParent |
gptkb:Johan_Håstad
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gödel Prize 2011
|