Rojas concludes, "We can therefore say that, from an abstract theoretical perspective, the computing model of the Z3 is equivalent to the computing model of today's computers.
Rojas は「したがって我々は、抽象的理論的観点から、Z3の計算モデルが今日のコンピュータの計算モデルと等しいと言うことができる。