Stop Condition

Kind: node

Record: reasoning:node-ter-stop

Canonical: Reasoning

Do saturation, completion and verification all hold, or is the run blocked?

Listed in Reasoning records, after Blocked Run and before Promotion.

Axis

Grounded by

Math type

Linked from