Content deleted Content added
Line 170:
= { repetition rule }
the strongest solution of
= { assignment rule, found wpL = Z(x ← x-1) }
the strongest solution of
= { substitution }
the strongest solution of
= { solve the equation by approximation }
post(x ← 0)
|