Triple
T14256646
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Kleene strong three-valued logic |
E353399
|
entity |
| Predicate | relatedLogic |
P37
|
FINISHED |
| Object |
Bochvar three-valued logic
Bochvar three-valued logic is a paraconsistent logical system that introduces a third truth value to handle semantic paradoxes and meaningless statements by preventing them from yielding classical logical consequences.
|
E1090159
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d8278c43e08190824146f4632b89a5 |
elicitation | completed |
| NER | batch_69de62992a188190bc046fbab5a149d6 |
ner | completed |
| NED1 | batch_69fd325f213881909acf776ff4831c30 |
ned_source_triple | completed |
| NED2 | batch_69fd37df3dfc8190a594abb2c14e11bb |
ned_description | completed |
| NEDg | batch_69fd3417e8e88190b099bfe4ba30f364 |
nedg | completed |
Created at: April 10, 2026, 1:09 a.m.