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.