Triple

T16474858
Position Surface form Disambiguated ID Type / Status
Subject Tychonoff theorem for products of compact spaces E400161 entity
Predicate usedIn P98 FINISHED
Object functional analysis
Functional analysis is a branch of mathematics that studies vector spaces with additional structure (such as norms or inner products) and the linear operators acting on them, often using tools from topology and measure theory.
E1215848 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: functional analysis | Statement: [Tychonoff theorem for products of compact spaces, usedIn, functional analysis]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: functional analysis
Context triple: [Tychonoff theorem for products of compact spaces, usedIn, functional analysis]
  • A. Banach spaces
    Banach spaces are complete normed vector spaces that provide a fundamental framework for functional analysis and the study of infinite-dimensional linear phenomena.
  • B. Foundations of Functional Analysis
    Foundations of Functional Analysis is a seminal mathematical text that systematically develops the core concepts and theorems of functional analysis, particularly in the tradition of the Riesz school.
  • C. Applied Functional Analysis
    Applied Functional Analysis is a foundational textbook by J. Tinsley Oden that introduces and develops the tools of functional analysis with a strong emphasis on applications to differential equations and engineering problems.
  • D. Functional Analysis: Introduction to Further Topics in Analysis
    "Functional Analysis: Introduction to Further Topics in Analysis" is an advanced graduate-level textbook by Elias Stein that develops modern functional analysis with applications to areas such as operator theory, harmonic analysis, and partial differential equations.
  • E. Banach algebra
    A Banach algebra is a complete normed vector space equipped with a compatible associative algebra multiplication, allowing analysis and algebra to be combined in a single structure.
  • 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: functional analysis
Triple: [Tychonoff theorem for products of compact spaces, usedIn, functional analysis]
Generated description
Functional analysis is a branch of mathematics that studies vector spaces with additional structure (such as norms or inner products) and the linear operators acting on them, often using tools from topology and measure theory.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: functional analysis
Target entity description: Functional analysis is a branch of mathematics that studies vector spaces with additional structure (such as norms or inner products) and the linear operators acting on them, often using tools from topology and measure theory.
  • A. Banach spaces
    Banach spaces are complete normed vector spaces that provide a fundamental framework for functional analysis and the study of infinite-dimensional linear phenomena.
  • B. Foundations of Functional Analysis
    Foundations of Functional Analysis is a seminal mathematical text that systematically develops the core concepts and theorems of functional analysis, particularly in the tradition of the Riesz school.
  • C. Applied Functional Analysis
    Applied Functional Analysis is a foundational textbook by J. Tinsley Oden that introduces and develops the tools of functional analysis with a strong emphasis on applications to differential equations and engineering problems.
  • D. Functional Analysis: Introduction to Further Topics in Analysis
    "Functional Analysis: Introduction to Further Topics in Analysis" is an advanced graduate-level textbook by Elias Stein that develops modern functional analysis with applications to areas such as operator theory, harmonic analysis, and partial differential equations.
  • E. Banach algebra
    A Banach algebra is a complete normed vector space equipped with a compatible associative algebra multiplication, allowing analysis and algebra to be combined in a single structure.
  • 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_69d883813098819084f5409539723b59 completed April 10, 2026, 4:58 a.m.
NER Named-entity recognition batch_69e32dd32e048190a9eadd32d6b9374c completed April 18, 2026, 7:08 a.m.
NED1 Entity disambiguation (via context triple) batch_6a004f5f238881909b5f2fb41da3f932 completed May 10, 2026, 9:26 a.m.
NEDg Description generation batch_6a00509164cc8190a381ba0a1de95ed1 completed May 10, 2026, 9:32 a.m.
NED2 Entity disambiguation (via description) batch_6a005447f1948190a939c0051891e444 completed May 10, 2026, 9:47 a.m.
Created at: April 10, 2026, 5:13 a.m.