Triple
T11086026
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Grothendieck–Ogg–Shafarevich formula |
E262121
|
entity |
| Predicate | appearsIn |
P795
|
FINISHED |
| Object | SGA 7 |
E886804
|
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: SGA 7 | Statement: [Grothendieck–Ogg–Shafarevich formula, appearsIn, SGA 7]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: SGA 7 Context triple: [Grothendieck–Ogg–Shafarevich formula, appearsIn, SGA 7]
-
A.
SGA 7
chosen
SGA 7 is a volume of the Séminaire de Géométrie Algébrique du Bois Marie devoted to advanced topics in algebraic geometry, notably the study of monodromy, étale cohomology, and the geometry of degenerations.
-
B.
SGA 4½
SGA 4½ is a supplementary volume to Grothendieck’s Séminaire de Géométrie Algébrique that develops additional cohomological and topos-theoretic tools bridging SGA 4 and SGA 5.
-
C.
SGA
SGA is a monumental multi-volume seminar series on algebraic geometry, led by Alexander Grothendieck, that profoundly reshaped the foundations and methods of the field.
-
D.
SGA
SGA is the acronym commonly used to refer to the Secretariat-General for Administration, a central administrative body within a governmental or institutional structure.
-
E.
SG4
SG4 is a postcode district in the SG (Stevenage) postcode area of England, covering parts of Hitchin and surrounding localities in Hertfordshire.
- 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_69d6aa9983c08190b0ef61603b69feac |
completed | April 8, 2026, 7:20 p.m. |
| NER | Named-entity recognition | batch_69d799c3ed9c8190a3f5cdf1fe0e74a2 |
completed | April 9, 2026, 12:21 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69e3e7a6dfa8819096f822294eb64dd1 |
completed | April 18, 2026, 8:20 p.m. |
Created at: April 8, 2026, 9:27 p.m.