Triple
T5234091
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Melvin Fitting |
E118179
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
First-Order Logic and Automated Theorem Proving
"First-Order Logic and Automated Theorem Proving" is a foundational textbook that systematically introduces first-order logic while presenting key methods and algorithms used in automated theorem proving.
|
E504787
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd4467db0881909b3b0982df32cc8f |
elicitation | completed |
| NER | batch_69bd7b04c03481908d901788ce2c4128 |
ner | completed |
| NED1 | batch_69bef818f31c8190a26950dcd9d6a895 |
ned_source_triple | completed |
| NED2 | batch_69bef97aa65481908fdce31cf5a7a0c1 |
ned_description | completed |
| NEDg | batch_69bef8fb7df08190b3256bbdaf6869df |
nedg | completed |
Created at: March 20, 2026, 1:49 p.m.