Resolution (logic)
[ca] Resolució (lògica)
[cs] Rezoluce (logika)
[de] Resolution (Logik)
[es] Resolución (lógica)
[fa] رزولوشن (منطق)
[fr] Règle de résolution
[hu] Rezolúció
[ja] 導出原理
[ko] 분해 증명
[nl] Resolutie (logica)