Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 04:25:17 UTC
CMP.3:12 - Relations
CMP.2: constructs the subproblems and their combination; this method changes how repeated questions are evaluated.
MATH.2: supplies identification under operations; A.3.3 helps restore state information when equal retained states allow different continuations.
C.29.2: supplies computational result and resource conditions. C.29.3 applies when realization changes the relevant execution assumptions.
MMP.8: supplies information restrictions for adaptive choices; a computation used to obtain such a policy must preserve the observations and history on which its choices depend.
C.11.DUA: selects additional checking or measurement for a decision that could change, including the value of further optimization.