「導出原理」の版間の差分
削除された内容 追加された内容
m編集の要約なし |
m robot Modifying: nl:Resolutie (logica), pt:Princípio da resolução |
||
20行目:
[[en:Resolution (logic)]]
[[hu:Rezolúció]]
[[nl:Resolutie (logica)]]
[[pt:Princípio da
[[zh:归结原理]]
|
m編集の要約なし |
m robot Modifying: nl:Resolutie (logica), pt:Princípio da resolução |
||
20行目:
[[en:Resolution (logic)]]
[[hu:Rezolúció]]
[[nl:Resolutie (logica)]]
[[pt:Princípio da
[[zh:归结原理]]
|