Sentence examples similar to entail the termination from inspiring English sources

In fact, what Dijkstra calls the weakest liberal precondition, denoted wlp(S,Q), is the same as the box operator in dynamic logic: wlp(S,Q) = [S]Q, while his weakest precondition, denoted wp(S,Q), is the total correctness variant of this, meaning that this expression also entails the termination of statement S (cf. Cousot 1990).

Termination of the agreement would in turn entail the simultaneous expiration of seven other bilateral treaties, known collectively as the Bilateral Agreements I Framework.

This entails the following actions.

Neither of them entails the third.

This obviously entails the strong law.

Coresidence entails the sharing of resources.

Then Theorem 1 entails the following corollary.

This theorem entails the direct decomposition (4.21).

This problem entails the following assumptions: 1.

Our strategy entailed the following steps.

The view that death entails our annihilation has been called the termination thesis (Feldman 1992).