Triple
T18480077
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | George Green |
E451533
|
entity |
| Predicate | knownFor |
P22
|
FINISHED |
| Object | Green's functions |
—
|
NE NERFINISHED |
How this triple was built (2 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: Green's functions | Statement: [George Green, knownFor, Green's functions]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Green's functions Context triple: [George Green, knownFor, Green's functions]
-
A.
Green's functions
chosen
Green's functions are mathematical tools used in physics and engineering to solve inhomogeneous differential equations and describe the propagation of fields or particles in space and time.
-
B.
Wightman functions
Wightman functions are vacuum expectation values of time-ordered products of quantum fields that rigorously encode the correlation structure and axiomatic foundations of relativistic quantum field theory.
-
C.
Born expansion of Green’s function
The Born expansion of Green’s function is a perturbative series representation used in scattering theory to express the Green’s function as a sum of successive interaction terms.
-
D.
Schwinger functions
Schwinger functions are Euclidean-space correlation functions in quantum field theory that encode the theory’s dynamics and can be analytically continued to yield physical Minkowski-space Green’s functions.
-
E.
Wiener–Hopf equations
Wiener–Hopf equations are integral equations that arise in problems of filtering, prediction, and diffraction, forming the mathematical foundation for optimal linear filters such as the Wiener filter.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (2 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_69d8d38465a0819099b9b42d2a662ac1 |
completed | April 10, 2026, 10:40 a.m. |
| NER | Named-entity recognition | batch_69e53066a7108190a50eda9b489c90ca |
completed | April 19, 2026, 7:43 p.m. |
Created at: April 10, 2026, 11:35 a.m.