Triple

T19377148
Position Surface form Disambiguated ID Type / Status
Subject Gutzwiller approximation E484700 entity
Predicate relatedTo P37 FINISHED
Object Hartree–Fock approximation 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: Hartree–Fock approximation | Statement: [Gutzwiller approximation, relatedTo, Hartree–Fock approximation]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Hartree–Fock approximation
Context triple: [Gutzwiller approximation, relatedTo, Hartree–Fock approximation]
  • A. Hartree–Fock method chosen
    The Hartree–Fock method is an approximate quantum mechanical approach for determining the electronic structure of atoms, molecules, and solids by modeling electrons as occupying self-consistent single-particle orbitals.
  • B. Born–Oppenheimer approximation
    The Born–Oppenheimer approximation is a fundamental method in molecular quantum mechanics that simplifies calculations by treating nuclear motion as much slower than electronic motion, allowing their behaviors to be separated.
  • C. Tamm–Dancoff approximation
    The Tamm–Dancoff approximation is a quantum many-body method that simplifies the calculation of excited states by restricting the configuration space to single particle–hole excitations.
  • D. Slater determinant
    A Slater determinant is an antisymmetrized many-electron wavefunction constructed from single-particle orbitals that enforces the Pauli exclusion principle in quantum chemistry and atomic physics.
  • E. Kohn–Sham equations
    The Kohn–Sham equations are a set of self-consistent single-particle equations in density functional theory that map an interacting many-electron system onto a fictitious non-interacting system with the same electron density.
  • 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_69d8e8d460d88190abf0591c5c9d2b0c completed April 10, 2026, 12:11 p.m.
NER Named-entity recognition batch_69e61a5cfbf48190ac60e3ffa6baa263 completed April 20, 2026, 12:21 p.m.
Created at: April 10, 2026, 1:35 p.m.