Triple

T10772851
Position Surface form Disambiguated ID Type / Status
Subject Produits tensoriels topologiques et espaces nucléaires E254122 entity
Predicate relatedConcept P37 FINISHED
Object Montel space
A Montel space is a type of locally convex topological vector space in which every closed and bounded set is compact, implying strong convergence and compactness properties useful in functional analysis and distribution theory.
E884920 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: Montel space | Statement: [Produits tensoriels topologiques et espaces nucléaires, relatedConcept, Montel space]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Montel space
Context triple: [Produits tensoriels topologiques et espaces nucléaires, relatedConcept, Montel space]
  • 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. Schwartz–Bruhat space
    The Schwartz–Bruhat space is a function space of rapidly decreasing smooth (or locally constant with compact support, in the non-Archimedean case) test functions on a locally compact abelian group, fundamental in harmonic analysis and number theory.
  • C. Orlicz spaces
    Orlicz spaces are a class of function spaces that generalize Lebesgue spaces by measuring integrability via convex Orlicz functions rather than fixed power exponents.
  • D. Lebesgue spaces
    Lebesgue spaces are function spaces, denoted \(L^p\), that consist of measurable functions whose absolute values raised to the \(p\)-th power are integrable, forming a fundamental framework in modern analysis and probability theory.
  • E. Minkowski functional
    The Minkowski functional is a mathematical tool in functional analysis that assigns a nonnegative real number to each vector in a vector space based on its position relative to a given convex, balanced, absorbing set, generalizing the notion of a norm.
  • 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: Montel space
Triple: [Produits tensoriels topologiques et espaces nucléaires, relatedConcept, Montel space]
Generated description
A Montel space is a type of locally convex topological vector space in which every closed and bounded set is compact, implying strong convergence and compactness properties useful in functional analysis and distribution theory.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Montel space
Target entity description: A Montel space is a type of locally convex topological vector space in which every closed and bounded set is compact, implying strong convergence and compactness properties useful in functional analysis and distribution 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. Schwartz–Bruhat space
    The Schwartz–Bruhat space is a function space of rapidly decreasing smooth (or locally constant with compact support, in the non-Archimedean case) test functions on a locally compact abelian group, fundamental in harmonic analysis and number theory.
  • C. Orlicz spaces
    Orlicz spaces are a class of function spaces that generalize Lebesgue spaces by measuring integrability via convex Orlicz functions rather than fixed power exponents.
  • D. Lebesgue spaces
    Lebesgue spaces are function spaces, denoted \(L^p\), that consist of measurable functions whose absolute values raised to the \(p\)-th power are integrable, forming a fundamental framework in modern analysis and probability theory.
  • E. Minkowski functional
    The Minkowski functional is a mathematical tool in functional analysis that assigns a nonnegative real number to each vector in a vector space based on its position relative to a given convex, balanced, absorbing set, generalizing the notion of a norm.
  • 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_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_69de238559b48190abc759e744ab0f8e completed April 14, 2026, 11:22 a.m.
NEDg Description generation batch_69de271fb08c8190a44c547083226fd8 completed April 14, 2026, 11:38 a.m.
NED2 Entity disambiguation (via description) batch_69de2cecc24c8190a240366e0600426a completed April 14, 2026, 12:02 p.m.
Created at: April 8, 2026, 9:16 p.m.