Triple

T35335639
Position Surface form Disambiguated ID Type / Status
Subject Malgrange preparation theorem E1020443 entity
Predicate instanceOf P0 FINISHED
Object theorem in singularity theory C64640 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: theorem in singularity theory
Context triple: [Malgrange preparation theorem, instanceOf, theorem in singularity theory]
  • A. problem in invariant theory
    A problem in invariant theory concerns determining and characterizing the algebraic functions (invariants) that remain unchanged under the action of a given group on a vector space or algebraic variety.
  • B. result in real algebraic geometry
    A result in real algebraic geometry is a theorem or proposition describing the structure, properties, or behavior of solution sets to polynomial equations and inequalities over the real numbers.
  • C. problem in the theory of Abelian functions
    A problem in the theory of Abelian functions concerns questions about the properties, classification, or explicit determination of multivalued complex functions arising from integrals of algebraic differentials on Riemann surfaces and their associated period relations.
  • D. Laurent polynomial-valued invariant
    A Laurent polynomial-valued invariant is a quantity assigned to mathematical objects (such as knots, links, or manifolds) that remains unchanged under specified transformations and takes the form of a Laurent polynomial in one or more variables.
  • E. object of enumerative geometry
    An object of enumerative geometry is a geometric configuration (such as curves, surfaces, or higher-dimensional varieties) counted according to specified incidence or intersection conditions within an ambient space.
  • F. None of above. chosen

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_69f76debb4e08190be52d89b8af2392d completed May 3, 2026, 3:46 p.m.
Created at: May 3, 2026, 4:03 p.m.