Triple

T12220639
Position Surface form Disambiguated ID Type / Status
Subject Theorie der algebraischen Kurven E291204 entity
Predicate relatedTo P37 FINISHED
Object Plücker formulas E291201 NE FINISHED

How this triple was built (2 steps)

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.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Plücker formulas | Statement: [Theorie der algebraischen Kurven, relatedTo, Plücker formulas]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Plücker formulas
Context triple: [Theorie der algebraischen Kurven, relatedTo, Plücker formulas]
  • A. Plücker formulas chosen
    Plücker formulas are classical algebraic geometry relations that connect the degree and singularities of plane algebraic curves with the invariants of their dual curves.
  • B. Bézout’s theorem
    Bézout’s theorem is a fundamental result in algebraic geometry stating that, over an algebraically closed field, the number of intersection points of two projective plane curves (counted with multiplicity) equals the product of their degrees.
  • C. Clebsch–Aronhold invariants
    The Clebsch–Aronhold invariants are classical algebraic invariants associated with binary forms, particularly quartic forms, that play a key role in invariant theory and the classification of algebraic curves.
  • D. Clebsch diagonal surfaces
    Clebsch diagonal surfaces are classical 19th-century algebraic surfaces in projective three-space, famous as the first explicit smooth cubic surface with all 27 lines defined over the real numbers.
  • E. Noether’s formula
    Noether’s formula is a fundamental result in algebraic geometry that relates the holomorphic Euler characteristic of a smooth projective surface to its Chern numbers, serving as a special case of the Hirzebruch–Riemann–Roch theorem.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 batches)

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_69d6ab668acc8190963ba424049d6aee completed April 8, 2026, 7:24 p.m.
NER Named-entity recognition batch_69d91c951f5881908db6edfda1153d6f completed April 10, 2026, 3:51 p.m.
NED1 Entity disambiguation (via context triple) batch_69f61e5882408190b4853f3a11c249c2 completed May 2, 2026, 3:55 p.m.
Created at: April 8, 2026, 9:51 p.m.