Triple
T18044582
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | First Welfare Theorem |
E431737
|
entity |
| Predicate | logicalForm |
P4940
|
FINISHED |
| Object | if an allocation is a competitive equilibrium, then it is Pareto efficient |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d8b906482481908183315b9ecf9994 |
elicitation | completed |
| NER | batch_69e4bff13f488190993445769551c9c2 |
ner | completed |
Created at: April 10, 2026, 10:25 a.m.