Triple
T14385931
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Routley star semantics |
E356721
|
entity |
| Predicate | hasOperation |
P1137
|
FINISHED |
| Object |
Routley star
The Routley star is a unary operation used in relevant and paraconsistent logics to model a non-classical form of negation by mapping each world in a semantics to its “dual” or “starred” counterpart.
|
E1097308
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d827927c988190ad98bb0360981783 |
elicitation | completed |
| NER | batch_69de9025cff881908c08224d90d9f750 |
ner | completed |
| NED1 | batch_69fd5513e8888190bc6b6cb33fd9b670 |
ned_source_triple | completed |
| NED2 | batch_69fd5702e95481909f02440dbb233902 |
ned_description | completed |
| NEDg | batch_69fd569747708190b6cae2679cf9df89 |
nedg | completed |
Created at: April 10, 2026, 1:16 a.m.