The proof compared several arithmetizations to show that the encoding was robust across different representations.
その証明は、符号化が異なる表現間で堅牢であることを示すために、いくつかの異なる算術化手法を比較した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
