🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsРусскийفارسی한국어中文日本語EntityQ1051925· pop 18· linked from 91 articlesresolutionAlso known as resolution principlein logic, rule of inferenceAvailable in 18 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoCatalanCzechHungarianConnectionsunificationEntityconjunctive normal formEntityCategories1965 introductionsAutomated theorem provingProof theoryPropositional calculusRules of inferenceTheorems in propositional logic