succedent
(transitive) To grind (one's teeth) in pain or in anger. / (transitive) To grind between the teeth. / (figuratively) To clash together violently. / (Tyneside) To run away.
(logic) The formulas on the right-hand side of a sequent.
plural of geekling
All the changes in a tissue that result from the action of a foreign substance introduced into an organism
シーケント計算において、後件は前件から導かれることが証明される右辺の式を含みます。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
