Triple
T3690400
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Cantor’s theorem |
E78328
|
entity |
| Predicate | relatedTo |
P37
|
FINISHED |
| Object |
Cantor’s diagonal argument
Cantor’s diagonal argument is a classic proof technique in set theory that demonstrates the existence of uncountable sets by showing that any purported complete list of certain infinite sequences must necessarily omit at least one sequence.
|
E78328
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ad85e285a081908f8cbfa9e2ed9b75 |
elicitation | completed |
| NER | batch_69adc4e6147c8190ae358e8cc94f479c |
ner | completed |
| NED1 | batch_69b4c3c9e9c08190bd97642ccf39b172 |
ned_source_triple | completed |
| NED2 | batch_69b4c7f33dec8190b71ea08cb1d34c32 |
ned_description | completed |
| NEDg | batch_69b4c78bca688190bb06f64827285790 |
nedg | completed |
Created at: March 8, 2026, 3:26 p.m.