t_wの輪郭
代入
単一化代入
2026/3/5 13:48:00
最汎単一化代入
mgu
代入
単一化代入
最汎単一化代入
2026/3/5 13:46:00
most general unifier
『論理コンピューティング』