Triple
T10063163
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Leon Henkin |
E213035
|
entity |
| Predicate | notableStudent |
P4838
|
FINISHED |
| Object |
George Boolos
George Boolos was an influential American philosopher and logician known for his work in logic, set theory, and the philosophy of mathematics, particularly related to Frege and provability logic.
|
E839553
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca83977128819084084eb7d1d8c52a |
elicitation | completed |
| NER | batch_69cdcfd4e4ac8190a37061b4082caa48 |
ner | completed |
| NED1 | batch_69d29a7bd56c8190a6c43df26db880f4 |
ned_source_triple | completed |
| NED2 | batch_69d29f5007f88190b0330d1a8c551905 |
ned_description | completed |
| NEDg | batch_69d29b75634c819088c8ef750b1691d2 |
nedg | completed |
Created at: March 30, 2026, 8:58 p.m.