Sentence examples for substitution rules from inspiring English sources

Long after retiring from football, he retained pride in having often played a full 60 minutes, and he took a dim view of football's free substitution rules.

The systems differ mainly in the way in which the key is used to choose among the collection of monoalphabetic substitution rules.

This method makes no difference to the theorems that can be derived, but, in some branches of logic (though not in PC), it is simpler to work with axiom schemata rather than with particular axioms and substitution rules.

Thus the Seminoles, whose depth was depleted by injury this season, faced five possible games in 11 days, an onerous task for a soccer team even with college's relaxed substitution rules.

However such approaches require a knowledge base with possible adaption or substitution rules for disrupted activities.

What is left in the underlying language, with identity excised, are substitution rules (Tractatus 6.23).

Now, we give a theorem which is the substitution rule on periodic time scales in shifts δ ± which can be found in [26].

Church (1956: 158) credits von Neumann with "the device of using axiom schemata," which rendered the (notoriously difficult to state) substitution rule unnecessary.

In the first epsilon theorem, "quantifier-free predicate logic" is intended to include the substitution rule above, so quantifier-free axioms behave like their universal closures.

In early twentieth-century formalizations of logic, it was common to use a substitution rule and a finite set of axioms instead of schemata.

Apply an ordinary substitution rule from calculus and get fbigl(g(s bigr -fbigl gbigl(rho(t)bigr)bigr)=g(s bigr -fbigl gbigl) int_{0}^{1}f^{prhoe }bigl(hg(s)-(1-h)g bigl(rho(t bigr bigr), dh.