| German |
| has gloss | deu: Die Resolution ist ein Verfahren der formalen Logik, um eine logische Formel auf Gültigkeit zu testen. |
| lexicalization | deu: Resolution |
| French |
| has gloss | fra: La règle de résolution ou principe de résolution de Robinson est une règle dinférence logique que lon peut voir comme une généralisation du modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est à la base du langage de programmation logique Prolog. |
| lexicalization | fra: règle de résolution |
| Hungarian |
| has gloss | hun: __TOC__ A rezolúció a matematikai logikában egy levezetési eljárás, mely alapja az egyik automatikus tételbizonyítási módszernek, elméletnek, a rezolúciós kalkulusnak. Az eljárás az informatikában is jelentős, mivel a logikai programozás alapnyelve, a Prolog a rezolúció egy fajtájának, az elsőrendű lineáris rezolúciónak az algoritmikus megvalósítása. |
| lexicalization | hun: rezolúció |
| Japanese |
| has gloss | jpn: 導出（どうしゅつ）とは、数理論理学における一つの演繹方法である。定理自動証明において一般的に使われる手法。 |
| lexicalization | jpn: 導出 |
| Korean |
| has gloss | kor: 논리학에서 분해 증명(Resolution) 혹은 분해법이란, 증명의 방법론 중의 하나이다. 1965년에 미국의 존 앨런 로빈슨(John Alan Robinson)이 공식적으로 제안하였다. 이것은 어떤 두 명제가 논리합으로 이어져 있을 때 다른 명제를 도입하여 증명하는 방법이다. 형식적으로 볼 때, 이는 추이 법칙 혹은 삼단논법의 일반화로 볼 수 있다. |
| lexicalization | kor: 분해 증명 |
| Dutch |
| has gloss | nld: In wiskundige logica en bij automatisch stelling bewijzen is resolutie is een afleidingsregel die gebruikt wordt bij reductio ad absurdum bewijzen voor zinnen in propositielogica en predicatenlogica. Resolutie is een geldige regel voor het afleiden van een nieuwe clausule (Engels: clause, een disjunctie van literals) uit twee clausules die complementaire literals bevatten. De resolutieregel produceert een nieuwe clausule met alle literals in beide clausules behalve de complementaire literals. De geproduceerde clausule wordt een resolvent genoemd. |
| lexicalization | nld: resolutie |
| Polish |
| has gloss | pol: Rezolucja to metoda automatycznego dowodzenia twierdzeń oparta na generowaniu nowych klauzul aż dojdzie się do sprzeczności. W ten sposób można udowodnić, że dane twierdzenie nie jest spełnialne, lub też, co jest równoważne, że jego zaprzeczenie jest tautologią. |
| lexicalization | pol: rezolucja |
| Portuguese |
| has gloss | por: O princípio da resolução é uma regra de inferência que dá origem a uma técnica de demonstração por refutação para sentenças e inferências da lógica proposicional e da lógica de primeira ordem. |
| lexicalization | por: Princípio da resolução |
| Russian |
| has gloss | rus: В математической логике и автоматическом доказательстве теорем, пра́вило резолю́ций – это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка. Правило резолюций, применяемое последовательно для списка резольвент, позволяет ответить на вопрос, существует ли в исходном множестве логических выражений противоречие. Правило разработано Джоном Аланом Робинсоном в 1965. |
| lexicalization | rus: Правило резолюций |
| Ukrainian |
| lexicalization | ukr: правило резолюцій |
| Chinese |
| has gloss | zho: 在数理逻辑和自动定理证明中(GOFAI涉及的主题)，归结(resolution)是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。 |
| lexicalization | zho: 归结原理 |