Triple
T13443942
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Kolmogorov–Arnold–Moser theory |
E320432
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | theorem in Hamiltonian dynamics |
C716
|
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: theorem in Hamiltonian dynamics Context triple: [Kolmogorov–Arnold–Moser theory, instanceOf, theorem in Hamiltonian dynamics]
-
A.
mathematical theorem
chosen
A mathematical theorem is a rigorously proven statement derived from axioms and previously established results, expressing a fundamental truth within a formal mathematical system.
-
B.
integral of motion
An integral of motion is a physical quantity that remains constant along the trajectory of a dynamical system due to its underlying symmetries or conservation laws.
-
C.
critique of Boltzmann’s H-theorem
A critique of Boltzmann’s H-theorem examines the assumptions and limitations of his statistical derivation of the second law of thermodynamics, particularly issues of time-reversal invariance, molecular chaos, and the emergence of irreversibility from reversible microscopic dynamics.
-
D.
integrable rigid body system
An integrable rigid body system is a mechanical model of a rigid body whose equations of motion admit enough conserved quantities to be solved exactly, typically allowing its dynamics to be expressed in terms of action-angle variables.
-
E.
generalization of Poisson bracket
A generalization of the Poisson bracket is a bilinear operation on functions (or observables) that extends the classical Poisson structure—often relaxing antisymmetry, the Jacobi identity, or locality—to encompass broader algebraic or geometric frameworks such as Nambu, Gerstenhaber, or higher/derived brackets.
- F. None of above.
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_69d80761e6cc8190a90c844589998ecc |
completed | April 9, 2026, 8:09 p.m. |
Created at: April 9, 2026, 9:40 p.m.