Triple

T10773300
Position Surface form Disambiguated ID Type / Status
Subject Grothendieck spectral sequence E254133 entity
Predicate appearsIn P795 FINISHED
Object EGA (Éléments de Géométrie Algébrique) E254127 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: EGA (Éléments de Géométrie Algébrique) | Statement: [Grothendieck spectral sequence, appearsIn, EGA (Éléments de Géométrie Algébrique)]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: EGA (Éléments de Géométrie Algébrique)
Context triple: [Grothendieck spectral sequence, appearsIn, EGA (Éléments de Géométrie Algébrique)]
  • A. Éléments de géométrie algébrique chosen
    É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.
  • B. FGA (Fondements de la géométrie algébrique)
    FGA (Fondements de la géométrie algébrique) is a foundational collection of Alexander Grothendieck’s seminar expositions that systematically developed modern algebraic geometry, including major results such as the Grothendieck–Riemann–Roch theorem.
  • C. 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.
  • D. Séminaire de Géométrie Algébrique du Bois Marie
    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.
  • E. Théorie des topos et cohomologie étale des schémas
    Théorie des topos et cohomologie étale des schémas is a foundational multi-volume work in algebraic geometry, originating from Grothendieck’s Séminaire de Géométrie Algébrique, that develops topos theory and étale cohomology of schemes.
  • 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_69d7329b27748190bd0e2569c7972fd1 completed April 9, 2026, 5:01 a.m.
NED1 Entity disambiguation (via context triple) batch_69e1548affbc8190bbca099f8c8d4910 completed April 16, 2026, 9:28 p.m.
Created at: April 8, 2026, 9:16 p.m.