Triple
T568439
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | liar paradox |
E13608
|
entity |
| Predicate | addressedBy |
P16105
|
FINISHED |
| Object |
Kripke fixed-point theory of truth
The Kripke fixed-point theory of truth is a semantic framework developed by Saul Kripke that uses partial truth predicates and fixed points to consistently handle self-referential sentences and semantic paradoxes like the liar paradox.
|
E71398
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a4933fa4d88190a7949cc83c08c5c1 |
elicitation | completed |
| NER | batch_69a49d28af148190acad3cfb809ff2f2 |
ner | completed |
| NED1 | batch_69a4fc81d6d4819090d91560efaa085d |
ned_source_triple | completed |
| NED2 | batch_69a4fda77c8c8190bdbb6b06a9923f54 |
ned_description | completed |
| NEDg | batch_69a4fd3e91ec819081f8dadcef388ef5 |
nedg | completed |
Created at: March 1, 2026, 7:33 p.m.