1

Z3 は非線形実数演算の存在断片を決定するか? つまり、+ と x を含む量指定子のない式が実数を超える解を持つかどうかをテストするための決定手順として使用できますか?

4

1 に答える 1