Triple
T5465193
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Donald W. Loveland |
E122690
|
entity |
| Predicate | authorOf |
P4244
|
FINISHED |
| Object |
"Logic for Computer Science: Foundations of Automatic Theorem Proving"
"Logic for Computer Science: Foundations of Automatic Theorem Proving" is a textbook that introduces the logical foundations and practical techniques underlying automated theorem proving and its applications in computer science.
|
E524533
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd4643f16081908d7f29e08096115a |
elicitation | completed |
| NER | batch_69bd920590b481909b92091678ff1414 |
ner | completed |
| NED1 | batch_69bf70d5dba4819086585fba83134f2b |
ned_source_triple | completed |
| NED2 | batch_69bf743f2f348190aa6b44670166488a |
ned_description | completed |
| NEDg | batch_69bf73d994b08190866aae79c93d9393 |
nedg | completed |
Created at: March 20, 2026, 2:08 p.m.