Triple
T11850296
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Semantical Considerations on Modal Logic |
E281889
|
entity |
| Predicate | hasConcept |
P531
|
FINISHED |
| Object |
Kripke frame
A Kripke frame is a mathematical structure used in modal logic, consisting of a set of possible worlds together with a relation specifying which worlds are accessible from which others.
|
E949472
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6ab287ba48190a5178779fd19b9b7 |
elicitation | completed |
| NER | batch_69d8a65db52c8190a218736da17d0153 |
ner | completed |
| NED1 | batch_69f167b947d48190a07da6f5255d289a |
ned_source_triple | completed |
| NED2 | batch_69f17814de1881908973af026af5d1d1 |
ned_description | completed |
| NEDg | batch_69f17005c318819090e54bc64d135477 |
nedg | completed |
Created at: April 8, 2026, 9:43 p.m.