Triple
T10772656
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | étale cohomology |
E254118
|
entity |
| Predicate | formalizedIn |
P6279
|
FINISHED |
| Object | Séminaire de Géométrie Algébrique (SGA) |
E254128
|
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: Séminaire de Géométrie Algébrique (SGA) | Statement: [étale cohomology, formalizedIn, Séminaire de Géométrie Algébrique (SGA)]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Séminaire de Géométrie Algébrique (SGA) Context triple: [étale cohomology, formalizedIn, Séminaire de Géométrie Algébrique (SGA)]
-
A.
Séminaire de Géométrie Algébrique du Bois Marie
chosen
Séminaire de Géométrie Algébrique du Bois Marie is a foundational multi-volume series of advanced seminars that reshaped modern algebraic geometry through the development of schemes, cohomology theories, and the Grothendieck school’s methods.
-
B.
GAGA (Géométrie Algébrique et Géométrie Analytique)
GAGA (Géométrie Algébrique et Géométrie Analytique) is Jean-Pierre Serre’s foundational 1956 paper establishing deep equivalences between algebraic geometry and complex analytic geometry, particularly for projective varieties.
-
C.
Bourbaki seminar
The Bourbaki seminar is a long-running, influential series of expository mathematics lectures in Paris, presenting and synthesizing cutting-edge research across many areas of modern mathematics.
-
D.
Éléments de géométrie algébrique
Éléments de géométrie algébrique is a foundational multi-volume treatise that reshaped modern algebraic geometry by developing the theory of schemes and cohomology in a highly general, abstract framework.
-
E.
L’Analysis Situs et la Géométrie Algébrique
L’Analysis Situs et la Géométrie Algébrique is a foundational mathematical treatise that helped establish modern algebraic topology and its connections with algebraic geometry.
- 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_69d6aa5f54f4819082d0bbcb6f8797e6 |
completed | April 8, 2026, 7:19 p.m. |
| NER | Named-entity recognition | batch_69d7329a281081909cdc4b971cf69207 |
completed | April 9, 2026, 5:01 a.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69de238559b48190abc759e744ab0f8e |
completed | April 14, 2026, 11:22 a.m. |
Created at: April 8, 2026, 9:16 p.m.