plural of sequent
sequents
シーケントの複数形は、シーケント計算の証明において含意関係を表現するための簡潔な表記を提供します。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★