Content deleted Content added
Line 104:
\begin{array}[t]{l}
Z: [Z===(E\wedge wp(S, Z)) \vee (\neg E \wedge R)]
\end{array}</math>
|}
| |||
Line 104:
\begin{array}[t]{l}
Z: [Z===(E\wedge wp(S, Z)) \vee (\neg E \wedge R)]
\end{array}</math>
|}
| |||