Triple
T24336902
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Bochner–Martinelli formula |
E613405
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | integral representation formula |
C48352
|
CONCEPT FINISHED |
How this triple was built (1 step)
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.
CD
Concept disambiguation
gpt-5-mini-2025-08-07
Target class: integral representation formula Context triple: [Bochner–Martinelli formula, instanceOf, integral representation formula]
-
A.
integral equation
An integral equation is a mathematical relation in which an unknown function appears under an integral sign, often equated to a given function, and must be solved over a specified domain.
-
B.
integral operator
An integral operator is a mapping that transforms a function into another function by integrating it against a given kernel over a specified domain.
-
C.
integral
An integral is a fundamental mathematical concept that represents the accumulation of quantities, often interpreted as the area under a curve or the total of continuously varying values.
-
D.
integration theory
Integration theory is a branch of mathematical analysis that rigorously defines and studies the process of assigning numerical values (integrals) to functions, generalizing area, accumulation, and measure concepts under various frameworks such as Riemann and Lebesgue integration.
-
E.
integro-differential equations
Integro-differential equations are mathematical equations that involve both integrals and derivatives of an unknown function, capturing systems where current rates of change depend on accumulated past behavior.
- F. None of above. chosen
Provenance (1 batch)
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_69e2d7dcc5a08190b53691130d56cbc4 |
completed | April 18, 2026, 1:01 a.m. |
Created at: April 18, 2026, 1:57 a.m.