Triple
T2169684
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Nikolaj Bjørner |
E46992
|
entity |
| Predicate | citations |
P37348
|
FINISHED |
| Object | highly cited in automated reasoning community |
—
|
LITERAL FINISHED |
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a88a184cbc8190877791f6552c2484 |
elicitation | completed |
| NER | batch_69abc1559ff481908efe3f214b2570dc |
ner | completed |
| PD | batch_69abbd9efc1c81909a65044a1ffc9038 |
pd | completed |
| PDg | batch_69abc153b22481908115e5f582c93f12 |
pdg | completed |
Created at: March 4, 2026, 7:45 p.m.