Triple
T5729465
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Banach fixed-point theorem |
E126344
|
entity |
| Predicate | logicalForm |
P4940
|
FINISHED |
| Object | if a mapping is a contraction on a complete metric space then it has a unique fixed point |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c0082f723881908ce8bb13a0c0f8b7 |
elicitation | completed |
| NER | batch_69c025303860819093e51f176babed71 |
ner | completed |
Created at: March 22, 2026, 3:47 p.m.