Triple
T11411573
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Gelfand–Naimark theorem |
E270382
|
entity |
| Predicate | isRelatedTo |
P37
|
FINISHED |
| Object |
Stone representation theorem
The Stone representation theorem is a fundamental result in mathematical logic and topology that represents every Boolean algebra as an algebra of clopen sets in a totally disconnected compact Hausdorff (Stone) space.
|
E924199
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aaddeaa8819088b30ef7b50598c9 |
elicitation | completed |
| NER | batch_69d8015017d08190b4020c76545556d6 |
ner | completed |
| NED1 | batch_69e5b855f0508190a2e57ef9407ddb1a |
ned_source_triple | completed |
| NED2 | batch_69e5c451c6c88190bcbb1f54ede35d29 |
ned_description | completed |
| NEDg | batch_69e5c28d3824819097ff84cb4e13c923 |
nedg | completed |
Created at: April 8, 2026, 9:34 p.m.