Triple
T2515735
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Allen Newell |
E55407
|
entity |
| Predicate | knownFor |
P22
|
FINISHED |
| Object |
the Logic Theorist program
The Logic Theorist program was an early artificial intelligence system developed in the 1950s that automatically proved theorems in symbolic logic and is often regarded as the first AI program.
|
E275782
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ab49e4749c8190813311efd1630f1b |
elicitation | completed |
| NER | batch_69abd20db7e0819096d901eb20ae65e5 |
ner | completed |
| NED1 | batch_69af2b9aa5cc81908c2e09ce18f2e98e |
ned_source_triple | completed |
| NED2 | batch_69af5155f85081908dd4a1859d0f7907 |
ned_description | completed |
| NEDg | batch_69af508c28f48190afc4aa1bc3c9adf3 |
nedg | completed |
Created at: March 6, 2026, 9:46 p.m.