The phrase "a result of substituting" is correct and usable in written English.
It can be used when discussing the outcome or effect that arises from replacing one element with another in a particular context.
Example: "The final product was significantly improved as a result of substituting the original ingredients with organic alternatives."
Alternatives: "due to the replacement of" or "as a consequence of swapping".
This is a result of substituting improving soil fertility naturally with the exclusive use of fertilizers.
She said she suspected that the first error was a result of substituting part of the text on last year's form, which was stored in the computer and when Election Day was Nov. 8, without proofreading it.
The result is the consumer populous is not able to get the money to buy the products and services produced as a result of substituting machines for people.
The result is the consumer populous is not able to get the money to buy the products and services produced increasingly by the non-human factor -- physical productive capital -- as a result of substituting machines for people.
Also reduction of costs is mentioned as a result of substituting day care for clinical care [ 2- 8].
We use Sub(B,v,A) as a notation for the result of substituting B for v in A, and SubFree B,v,A) as a notation for the result of substituting B for all free occurrences of v in A. The process of replacing [λvβ Aα]Bβ by SubFree(Bβ,vβ,Aα) (or vice-versa) is known as β-conversion, which is one form of λ-conversion.
According to the Cayley–Hamilton theorem, pA(A) = 0, that is, the result of substituting the matrix itself into its own characteristic polynomial yields the zero matrix.
I'm actually going to make a new expression, which contains everything contains that new value, the result of substituting into the skeleton, instantiating the skeleton for that rule at this level.
This does not follow since the result of substituting $-D$ for $D$ in (ii) is a counterfactual claim that is false.
Moreover, the result of substituting one term implicates the denial of the result of substituting any term to the left, but not to the right.
