| changeset 20520 | 05fd007bdeb9 |
| parent 20491 | 98ba42f19995 |
| child 20542 | a54ca4e90874 |
| 20519:d7ad1217c24a | 20520:05fd007bdeb9 |
|---|---|
276 % |
276 % |
277 \isadelimmlref |
277 \isadelimmlref |
278 % |
278 % |
279 \endisadelimmlref |
279 \endisadelimmlref |
280 % |
280 % |
281 \isamarkupsection{Conclusions% |
281 \isamarkupsection{Results% |
282 } |
282 } |
283 \isamarkuptrue% |
283 \isamarkuptrue% |
284 % |
284 % |
285 \begin{isamarkuptext}% |
285 \begin{isamarkuptext}% |
286 Local results are established by monotonic reasoning from facts |
286 Local results are established by monotonic reasoning from facts |