Triple
T17150056
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Arthur Prior |
E416195
|
entity |
| Predicate | notableIdea |
P4
|
FINISHED |
| Object |
hybrid logic
Hybrid logic is a branch of modal logic that extends standard modal systems with special symbols to directly refer to and reason about individual states or moments.
|
E1252073
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d886d279c081909f8ff1f743ddeb69 |
elicitation | completed |
| NER | batch_69e3f4067470819084aa233c4c4a6d4f |
ner | completed |
| NED1 | batch_6a01415b1d7c81908d000b0362042687 |
ned_source_triple | completed |
| NED2 | batch_6a01421d159c819096efc46fa08a48b9 |
ned_description | completed |
| NEDg | batch_6a0141b73e008190be8aa85dec1ba517 |
nedg | completed |
Created at: April 10, 2026, 5:36 a.m.