Triple
T9843544
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Cauchy sequence |
E239283
|
entity |
| Predicate | hasLogicalForm |
P4940
|
FINISHED |
| Object | ∀ε>0 ∃N ∀m,n≥N : d(x_m,x_n)<ε |
—
|
LITERAL FINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca84e3f0c48190ada72a65ebd50efd |
elicitation | completed |
| NER | batch_69cdb35c8e348190aa090c71bf6f30eb |
ner | completed |
| PD | batch_69cd03e57cac8190914bb5ae608a6e0e |
pd | completed |
Created at: March 30, 2026, 8:33 p.m.