Triple

T16402886
Position Surface form Disambiguated ID Type / Status
Subject Smale’s paradox E398343 entity
Predicate instanceOf P0 FINISHED
Object result in differential topology C10468 CONCEPT FINISHED

How this triple was built (1 step)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

CD Concept disambiguation gpt-5-mini-2025-08-07
Target class: result in differential topology
Context triple: [Smale’s paradox, instanceOf, result in differential topology]
  • A. theory in differential topology
    A theory in differential topology is a coherent framework of concepts, theorems, and techniques that studies the properties of smooth manifolds and smooth maps between them that are invariant under smooth deformations.
  • B. example in differential topology
    An example in differential topology is a specific smooth manifold or smooth map, often constructed to illustrate or test particular concepts such as smooth structures, embeddings, immersions, or invariants.
  • C. differential topology textbook
    A differential topology textbook is a comprehensive resource that develops the theory of smooth manifolds and smooth maps between them, emphasizing global properties and techniques such as transversality, Sard’s theorem, and handle decompositions.
  • D. result in topology chosen
    A result in topology is a proven theorem or proposition that describes how topological properties and structures behave or relate under specified conditions.
  • E. topology
    Topology is the mathematical study of properties of spaces that are preserved under continuous deformations such as stretching or bending, but not tearing or gluing.
  • F. None of above.

Provenance (1 batch)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69d87f2950248190bc8ad9b9bebdc8c8 completed April 10, 2026, 4:40 a.m.
Created at: April 10, 2026, 5:09 a.m.