Triple
T7648311
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Heinz Hopf |
E173181
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
Hopf–Rinow theorem
The Hopf–Rinow theorem is a fundamental result in Riemannian geometry that characterizes when a Riemannian manifold is geodesically complete, relating metric completeness, compactness of closed and bounded sets, and the existence of minimizing geodesics between points.
|
E679322
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c6995473348190a4f41d110d619a18 |
elicitation | completed |
| NER | batch_69c6fb134a40819097f9de5f24d1df0f |
ner | completed |
| NED1 | batch_69c89ada2a54819098672d45ab56f784 |
ned_source_triple | completed |
| NED2 | batch_69c89c56d9688190bd14badc319f9c44 |
ned_description | completed |
| NEDg | batch_69c89b7c27988190b78be7f249bda554 |
nedg | completed |
Created at: March 27, 2026, 3:58 p.m.