Triple
T10602379
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Logic Theorist |
E275782
|
entity |
| Predicate | alsoKnownAs |
P39
|
FINISHED |
| Object |
LT
LT is the abbreviated name for the Logic Theorist, an early computer program that pioneered automated theorem proving in mathematical logic.
|
E874571
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aaf948d88190806cc3a8c47a3fb2 |
elicitation | completed |
| NER | batch_69d6ded61d5c8190b13890c964b59949 |
ner | completed |
| NED1 | batch_69d95eaffcd0819098e0a06a731b602f |
ned_source_triple | completed |
| NED2 | batch_69d9623cf54081908abcdc88e13d5176 |
ned_description | completed |
| NEDg | batch_69d961aaf71881908289244e0a490492 |
nedg | completed |
Created at: April 8, 2026, 7:31 p.m.