Triple

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).

Phrase: Bochner's theorem | Statement: [Wiener–Khinchin theorem, relatedTo, Bochner's theorem]

Target entity: Bochner's theorem
Context triple: [Wiener–Khinchin theorem, relatedTo, Bochner's theorem]

• A. Bochner theorem on characteristic functions chosen
  The Bochner theorem on characteristic functions is a fundamental result in probability theory and harmonic analysis that characterizes which functions are Fourier transforms of probability measures by requiring them to be positive-definite, continuous, and normalized at zero.
• B. Wiener–Khinchin theorem
  The Wiener–Khinchin theorem is a fundamental result in signal processing and probability theory that relates a wide-sense stationary random process’s autocorrelation function to its power spectral density via the Fourier transform.
• C. Bochner integral
  The Bochner integral is a generalization of the Lebesgue integral to functions taking values in Banach spaces, widely used in functional analysis and probability theory.
• D. Fourier inversion theorem
  The Fourier inversion theorem is a fundamental result in harmonic analysis that guarantees, under suitable conditions, that a function can be exactly reconstructed from its Fourier transform.
• E. Cameron–Martin theorem
  The Cameron–Martin theorem is a fundamental result in probability theory and functional analysis that characterizes how Gaussian measures on infinite-dimensional spaces change under shifts by elements of a special Hilbert subspace (the Cameron–Martin space).
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.