Triple

T34472079
Position Surface form Disambiguated ID Type / Status
Subject Gabriel–Popescu theorem E884933 entity
Predicate statesThat P34 FINISHED
Object every Grothendieck abelian category is a localization of a module category LITERAL FINISHED

Named-entity recognition

Before disambiguation, gpt-5-mini classified whether the object phrase is a named entity — the step behind the object's LITERAL type shown above.

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: every Grothendieck abelian category is a localization of a module category | Statement: [Gabriel–Popescu theorem, statesThat, every Grothendieck abelian category is a localization of a module category]

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69f349c880408190ade571c471ab154a elicitation completed
NER batch_69f7199e9d3881908e9427bfd02d31be ner completed
Created at: May 1, 2026, 2:01 a.m.