Triple
T14256611
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Kleene strong three-valued logic |
E353399
|
entity |
| Predicate | alsoKnownAs |
P39
|
FINISHED |
| Object |
K3
K3 is a three-valued logical system introduced by Stephen Kleene that extends classical logic with an additional truth value to handle partial or undefined information.
|
E1090158
|
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.