Triple
T25044530
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Thom transversality theorem |
E627197
|
entity |
| Predicate | states |
P34
|
FINISHED |
| Object | for a submanifold N of a manifold Y, the set of smooth maps f : X → Y transverse to N is residual in C^∞(X,Y) |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69e2ff2b4c80819087c916b2b16241b9 |
elicitation | completed |
| NER | batch_69f4530f26948190af6de16b9013815f |
ner | completed |
Created at: April 18, 2026, 6:08 a.m.