Triple

T2169572
Position Surface form Disambiguated ID Type / Status
Subject Edmund M. Clarke E46990 entity
Predicate awardReceived P11 FINISHED
Object LICS Test-of-Time Award
The LICS Test-of-Time Award is a prestigious honor in theoretical computer science that recognizes papers presented at the Logic in Computer Science (LICS) symposium which have had a lasting and significant impact on the field.
E239159 NE FINISHED

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69a88a184cbc8190877791f6552c2484 elicitation completed
NER batch_69abbeaeb58881908ad34f7b253bac2a ner completed
NED1 batch_69ae58f511a08190880fbde8900d59df ned_source_triple completed
NED2 batch_69ae5a12f11c81908cc345905f0a485e ned_description completed
NEDg batch_69ae59a9b010819081491e988184b386 nedg completed
Created at: March 4, 2026, 7:45 p.m.