Triple
T5114177
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Arrow’s impossibility theorem |
E115290
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | impossibility theorem |
C4736
|
CONCEPT FINISHED |
How this triple was built (1 step)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
CD
Concept disambiguation
gpt-5-mini-2025-08-07
Target class: impossibility theorem Context triple: [Arrow’s impossibility theorem, instanceOf, impossibility theorem]
-
A.
work in social choice theory
chosen
Work in social choice theory examines how individual preferences can be aggregated into collective decisions, analyzing the fairness, consistency, and implications of different voting and choice mechanisms.
-
B.
mathematical theorem
A mathematical theorem is a rigorously proven statement derived from axioms and previously established results, expressing a fundamental truth within a formal mathematical system.
-
C.
non-classical theory of truth
A non-classical theory of truth is an account of truth that revises or rejects classical logical principles (such as bivalence or excluded middle) to handle phenomena like vagueness, paradoxes, or semantic indeterminacy.
-
D.
decision theory
Decision theory is the study of how agents should and do make rational choices under conditions of uncertainty, balancing preferences, probabilities, and outcomes.
-
E.
plebiscite
A plebiscite is a direct vote by the entire electorate on a specific proposal or issue, allowing citizens to decide a public question rather than elected representatives.
- F. None of above.
Provenance (1 batch)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69bd4441d1648190a54a533895041987 |
completed | March 20, 2026, 12:57 p.m. |
Created at: March 20, 2026, 1:41 p.m.