「導出原理」の版間の差分

m
ロボットによる 追加: uk:Правило резолюцій
m (ロボットによる 追加: ko:분해 증명)
m (ロボットによる 追加: uk:Правило резолюцій)
[[pt:Princípio da resolução]]
[[ru:Правило резолюций]]
[[uk:Правило резолюцій]]
[[zh:归结原理]]
18,201

回編集