Triple

T17227127
Position Surface form Disambiguated ID Type / Status
Subject Senior Whitehead Prize E418142 entity
Predicate hasNotableRecipient P108 FINISHED
Object Kevin Buzzard
Kevin Buzzard is a British mathematician known for his work in number theory and for pioneering the use of formal proof verification in mainstream mathematics.
E1257333 NE FINISHED

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69d886d779488190b131369541c04e7d elicitation completed
NER batch_69e42de239a08190936a1d635b0b1b87 ner completed
NED1 batch_6a01675eae08819093427b4dc1ffee5f ned_source_triple completed
NED2 batch_6a016a92af248190aaed36040486bf40 ned_description completed
NEDg batch_6a016a1f6eac8190951ae30f37144d2a nedg completed
Created at: April 10, 2026, 5:39 a.m.