Triple
T21712430
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | second fundamental theorem of welfare economics |
E535938
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | welfare economics 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 economics theorem Context triple: [second fundamental theorem of welfare economics, instanceOf, welfare economics 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.
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.
-
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.
work in social choice theory
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.
- 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_69e0c46c6dd88190a595375fa6ebd701 |
completed | April 16, 2026, 11:13 a.m. |
Created at: April 16, 2026, 6:46 p.m.