Triple
T14704225
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Émile Borel |
E345382
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
Borel–Lebesgue theorem
The Borel–Lebesgue theorem is a fundamental result in real analysis and topology that characterizes compact subsets of Euclidean space via the property that every open cover admits a finite subcover.
|
E1116059
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d822e4a8c08190a155df736bb7bc13 |
elicitation | completed |
| NER | batch_69deb6071e5c8190bb5509c859135c2d |
ner | completed |
| NED1 | batch_69fdf087ce8c819081a7186df67bcf1f |
ned_source_triple | completed |
| NED2 | batch_69fdf31fcb4081908a88cf4d4c5ddced |
ned_description | completed |
| NEDg | batch_69fdf2a63cc88190b3670378c54c96b6 |
nedg | completed |
Created at: April 10, 2026, 1:28 a.m.