hypersequent

词形变化

hypersequents 复数 hypersequents

释义与例句

n.
  1. 1.

    A multidimensional generalization of a sequent

    数学

词源

From hyper- + sequent.

来源:wiktionary