Triple
T5790589
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Peano existence theorem |
E128381
|
entity |
| Predicate | concludes |
P7026
|
FINISHED |
| Object | there exists at least one local solution |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c00845ca68819081a2ce3ecca577f7 |
elicitation | completed |
| NER | batch_69c02a5585788190821b8da40259e0e7 |
ner | completed |
Created at: March 22, 2026, 3:51 p.m.