Triple
T18044541
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | First Welfare Theorem |
E431737
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | welfare theorem |
C17607
|
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: welfare theorem Context triple: [First Welfare Theorem, instanceOf, welfare theorem]
-
A.
economic efficiency criterion
An economic efficiency criterion is a standard or rule used to evaluate how well resources are allocated to maximize total net benefits or welfare in an economy.
-
B.
economic theory
Economic theory is a conceptual framework that explains how individuals, firms, and governments make decisions about the allocation of scarce resources and how these decisions shape the production, distribution, and consumption of goods and services.
-
C.
bargaining solution concept
A bargaining solution concept is a formal rule or principle that specifies how two or more parties should divide the benefits of cooperation given their feasible payoffs and disagreement outcomes.
-
D.
result in social choice theory
chosen
A result in social choice theory is a formal theorem or proposition that characterizes how individual preferences can be aggregated into a collective decision under specified axioms or conditions.
-
E.
socio-economic theory
Socio-economic theory is a conceptual framework that analyzes how economic activity, social structures, and power relations interact to shape the distribution of resources, opportunities, and outcomes in society.
- 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_69d8b906482481908183315b9ecf9994 |
completed | April 10, 2026, 8:47 a.m. |
Created at: April 10, 2026, 10:25 a.m.