Triple
T13507049
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | The Complexity of Theorem-Proving Procedures |
E321037
|
entity |
| Predicate | problemTypeStudied |
P83422
|
FINISHED |
| Object | theorem-proving procedures for formal systems |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d807629d6c8190998f1b9bb12d2ed0 |
elicitation | completed |
| NER | batch_69dbbe99ddc08190a8d79107c8e176fa |
ner | completed |
Created at: April 9, 2026, 9:43 p.m.