Triple
T10991576
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Hausdorff space |
E259764
|
entity |
| Predicate | isStrongerThan |
P2373
|
FINISHED |
| Object |
T1 separation axiom
The T1 separation axiom is a topological property requiring that for any two distinct points, each has an open set containing it but not the other, ensuring all singletons are closed.
|
E898480
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa8a6a548190a750f944ccdc8064 |
elicitation | completed |
| NER | batch_69d795d1e918819090c71f5a077fa15a |
ner | completed |
| NED1 | batch_69e34504ebec8190a78e4795765b0c24 |
ned_source_triple | completed |
| NED2 | batch_69e3593b0f8481909ed7a90f8bb9839d |
ned_description | completed |
| NEDg | batch_69e3556fd3548190a33f04604be947cf |
nedg | completed |
Created at: April 8, 2026, 9:24 p.m.