Triple
T3043246
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Robert Tarjan |
E83180
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
union–find data structure
The union–find data structure is an efficient algorithmic structure that maintains disjoint sets and supports fast union and find operations, widely used in graph algorithms such as Kruskal’s minimum spanning tree.
|
E321042
|
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: union–find data structure | Statement: [Robert Tarjan, notableWork, union–find data structure]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: union–find data structure Context triple: [Robert Tarjan, notableWork, union–find data structure]
-
A.
Huet unification algorithm
The Huet unification algorithm is a higher-order unification procedure introduced by Gérard Huet that generalizes first-order unification to handle lambda calculus terms and plays a key role in type theory and automated theorem proving.
-
B.
DSU
DSU is the World Trade Organization’s legal framework that sets out the rules and procedures for resolving trade disputes between member countries.
-
C.
UnionFS
UnionFS is a union file system that allows multiple directories or file systems to be transparently overlaid into a single coherent filesystem view, commonly used for layered container images.
-
D.
LCA
LCA is the three-letter ISO 3166-1 alpha-3 country code assigned to Saint Lucia.
-
E.
LCA
LCA is the common abbreviation for the Lutheran Church in America, a major Lutheran denomination that existed in the United States from 1962 until its merger into the Evangelical Lutheran Church in America in 1988.
- 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: union–find data structure Triple: [Robert Tarjan, notableWork, union–find data structure]
Generated description
The union–find data structure is an efficient algorithmic structure that maintains disjoint sets and supports fast union and find operations, widely used in graph algorithms such as Kruskal’s minimum spanning tree.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: union–find data structure Target entity description: The union–find data structure is an efficient algorithmic structure that maintains disjoint sets and supports fast union and find operations, widely used in graph algorithms such as Kruskal’s minimum spanning tree.
-
A.
Huet unification algorithm
The Huet unification algorithm is a higher-order unification procedure introduced by Gérard Huet that generalizes first-order unification to handle lambda calculus terms and plays a key role in type theory and automated theorem proving.
-
B.
DSU
DSU is the World Trade Organization’s legal framework that sets out the rules and procedures for resolving trade disputes between member countries.
-
C.
UnionFS
UnionFS is a union file system that allows multiple directories or file systems to be transparently overlaid into a single coherent filesystem view, commonly used for layered container images.
-
D.
LCA
LCA is the three-letter ISO 3166-1 alpha-3 country code assigned to Saint Lucia.
-
E.
LCA
LCA is the common abbreviation for the Lutheran Church in America, a major Lutheran denomination that existed in the United States from 1962 until its merger into the Evangelical Lutheran Church in America in 1988.
- 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_69ad8b2298908190a7cb4e9bdbf064d0 |
completed | March 8, 2026, 2:43 p.m. |
| NER | Named-entity recognition | batch_69ad9b5ec5988190b8b6c95c743c6d1e |
completed | March 8, 2026, 3:53 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69b1ded35e008190be7dd72aa7537a3b |
completed | March 11, 2026, 9:29 p.m. |
| NEDg | Description generation | batch_69b1dfa2fb28819089d7d76d9dc72e06 |
completed | March 11, 2026, 9:33 p.m. |
| NED2 | Entity disambiguation (via description) | batch_69b1e0243a848190bce24d035a79fc0a |
completed | March 11, 2026, 9:35 p.m. |
Created at: March 8, 2026, 3:01 p.m.