Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 11:20:03 UTC
CMP.12:12 - Relations
MATH.5, MATH.17 and MATH.18: supply extension through expression construction, operations on operations and interpretation/composition arguments.
CMP.1: supplies effective conversion and answer recovery for computational reductions; interpretation here also retains the required execution behavior.
CMP.2, CMP.3 and CMP.10: supply recursive construction, sharing and computational representation choices used by an evaluator or translator.
CMP.8: qualifies deliberate approximation of represented values.
C.29.2 and C.29.3: supply the surrounding computational formulation and physical realization questions.
C.11.DUA: selects additional validation or proof by the conclusion it can change.