たんいつかにもとづくけいしきか

単一化に基づく形式化

表記・読み：たんいつかにもとづくけいしきか

1. 1

   unification-based formalisms

   名詞noun or participle which takes the aux. verb sururare term