Triple
T6816319
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Robert S. Boyer |
E156763
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
A Computational Logic
A Computational Logic is a foundational book in computer science that introduced a rigorous framework for automated theorem proving and formal reasoning about programs.
|
E524533
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c68828b26c819090fe9df7612bbc27 |
elicitation | completed |
| NER | batch_69c6d32dc19c8190a871cc1ff1471a58 |
ner | completed |
| NED1 | batch_69c723e0c62c8190b3b3b092ea48d4c5 |
ned_source_triple | completed |
| NED2 | batch_69c72536c4808190b9012e282cf02da4 |
ned_description | completed |
| NEDg | batch_69c7247806808190ac60c134cec612c8 |
nedg | completed |
Created at: March 27, 2026, 2:17 p.m.