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.