Triple
T34212378
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Dini derivative |
E877691
|
entity |
| Predicate | implies |
P1661
|
FINISHED |
| Object | classical derivative exists when all four Dini derivatives coincide and are finite |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69f349b0b4bc819088c1552424089ee9 |
elicitation | completed |
| NER | batch_69f7105643008190b803b8a3e34dabde |
ner | completed |
Created at: May 1, 2026, 1:55 a.m.