Triple
T20627168
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Krein–Milman theorem |
E506849
|
entity |
| Predicate | namedAfter |
P63
|
FINISHED |
| Object |
Mark Krein
Mark Krein was a prominent Soviet mathematician known for his influential work in functional analysis, operator theory, and related areas of mathematical analysis.
|
E1440907
|
NE FINISHED |
How this triple was built (4 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: Mark Krein | Statement: [Krein–Milman theorem, namedAfter, Mark Krein]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Mark Krein Context triple: [Krein–Milman theorem, namedAfter, Mark Krein]
-
A.
Mark Kostabi
Mark Kostabi is an American artist and composer known for his stylized, faceless figures and for designing notable album covers for major rock bands.
-
B.
Mike Krieger
Mike Krieger is a Brazilian-American entrepreneur and software engineer best known as the co-founder and former CTO of the photo-sharing social media platform Instagram.
-
C.
Eric Kretz
Eric Kretz is an American drummer best known as a founding member of the rock band Stone Temple Pilots.
-
D.
Ken Krueger
Ken Krueger was an American publisher and bookseller best known as a pioneering figure in comics fandom and a key organizer in the early development of major comic conventions.
-
E.
Mark Deutrom
Mark Deutrom is an American musician and producer best known as a former bassist for the sludge metal band Melvins and co-founder of the influential label Alchemy Records.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg
Description generation
gpt-5.1
Instruction
Generate a one-sentence description of the target entity. You are given a context triple in the form (subject, predicate, object), where the object is the target entity. # Instructions Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. Avoid repeating the information from the triple, unless really essential. # Response Format Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Mark Krein Triple: [Krein–Milman theorem, namedAfter, Mark Krein]
Generated description
Mark Krein was a prominent Soviet mathematician known for his influential work in functional analysis, operator theory, and related areas of mathematical analysis.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Mark Krein Target entity description: Mark Krein was a prominent Soviet mathematician known for his influential work in functional analysis, operator theory, and related areas of mathematical analysis.
-
A.
Mark Kostabi
Mark Kostabi is an American artist and composer known for his stylized, faceless figures and for designing notable album covers for major rock bands.
-
B.
Mike Krieger
Mike Krieger is a Brazilian-American entrepreneur and software engineer best known as the co-founder and former CTO of the photo-sharing social media platform Instagram.
-
C.
Eric Kretz
Eric Kretz is an American drummer best known as a founding member of the rock band Stone Temple Pilots.
-
D.
Ken Krueger
Ken Krueger was an American publisher and bookseller best known as a pioneering figure in comics fandom and a key organizer in the early development of major comic conventions.
-
E.
Mark Deutrom
Mark Deutrom is an American musician and producer best known as a former bassist for the sludge metal band Melvins and co-founder of the influential label Alchemy Records.
- F. None of above. chosen
Provenance (5 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_69e0b4bd4a0081908d4e97a590a33fb2 |
completed | April 16, 2026, 10:06 a.m. |
| NER | Named-entity recognition | batch_69e6abe576c081909231dc0d7304b9a9 |
completed | April 20, 2026, 10:42 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_6a08bb1d9fc881909afe38600d8556b1 |
completed | May 16, 2026, 6:44 p.m. |
| NEDg | Description generation | batch_6a08bbb64c40819080b2ea24d1f774ff |
completed | May 16, 2026, 6:47 p.m. |
| NED2 | Entity disambiguation (via description) | batch_6a08bc4ea25881909fa71fe2f1b6ddb4 |
completed | May 16, 2026, 6:49 p.m. |
Created at: April 16, 2026, 11:42 a.m.