Sentence examples for substitution rule from inspiring English sources

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.

Apparently similar results should be able to be obtained for germanium-based multidecker sandwiches, since Si and Ge structures are fully homologous and isolobal and the Si→Ge substitution rule is valid almost everywhere.

In order to reduce the consecutive zero length in the sequences after concatenation, the following substitution rule is applied: assume that a sequence is followed by a sequence, then.

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.