Sequents provide a compact notation for expressing entailment relations in sequent calculus proofs.
シーケントの複数形は、シーケント計算の証明において含意関係を表現するための簡潔な表記を提供します。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
