Triple
T16571016
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Bronisław Knaster |
E402583
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object | Knaster–Kuratowski theorem |
E518469
|
NE FINISHED |
Disambiguation candidates (1 decision)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Knaster–Kuratowski theorem Context triple: [Bronisław Knaster, notableWork, Knaster–Kuratowski theorem]
-
A.
Mazurkiewicz–Sierpiński theorem
The Mazurkiewicz–Sierpiński theorem is a result in topology and measure theory that characterizes certain properties of measurable sets and mappings, particularly concerning continuous images of sets in Euclidean spaces.
-
B.
Knaster–Kuratowski–Mazurkiewicz lemma
chosen
The Knaster–Kuratowski–Mazurkiewicz lemma is a fundamental result in combinatorial topology that guarantees the existence of a point common to a family of closed sets covering a simplex under certain intersection conditions, and underlies several fixed-point theorems.
-
C.
Alexandrov–Hausdorff theorem
The Alexandrov–Hausdorff theorem is a result in descriptive set theory that characterizes analytic sets as continuous images of Baire space, playing a key role in the study of definable sets in Polish spaces.
-
D.
Mazurkiewicz–Sierpiński paradox
The Mazurkiewicz–Sierpiński paradox is a result in set-theoretic geometry showing that a sphere can be decomposed and reassembled in a counterintuitive way, illustrating the existence of paradoxical decompositions similar to the Banach–Tarski paradox.
-
E.
Krein–Milman theorem
The Krein–Milman theorem is a fundamental result in functional analysis and convex geometry stating that a compact convex set in a locally convex topological vector space is the closed convex hull of its extreme points.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d8838648088190acf97ef11fc3f61b |
elicitation | completed |
| NER | batch_69e35958d49c8190b995188240fb355b |
ner | completed |
| NED1 | batch_6a006ee8812c81908ef74636bf39d44a |
ned_source_triple | completed |
Created at: April 10, 2026, 5:16 a.m.