Gentzenizations

Noun

form-of plural

plural of Gentzenization

Japanese Meaning

これは「Gentzenization」という名詞の複数形です。

The logician's recent paper explored several novel Gentzenizations of intuitionistic proofs to improve normalization analysis.

その論理学者の最近の論文は、直観主義的証明の正規化解析を改善するために、いくつかの新しいゲンツェン化の変種を検討した。

Sense（1）

plural of Gentzenization