Triple
T5790585
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Peano existence theorem |
E128381
|
entity |
| Predicate | hasWeakerRegularityAssumptionThan |
P24324
|
FINISHED |
| Object | Picard–Lindelöf theorem |
E22820
|
NE FINISHED |
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c00845ca68819081a2ce3ecca577f7 |
elicitation | completed |
| NER | batch_69c02a5585788190821b8da40259e0e7 |
ner | completed |
| NED1 | batch_69c0b0d71b7881909108c7347ce91317 |
ned_source_triple | completed |
| PD | batch_69c021d2cd608190b98a7e3aa7001d27 |
pd | completed |
Created at: March 22, 2026, 3:51 p.m.