導出論理どうしゅつろんり<どう'しゅつ>・ろん'り5

LogikResolutionVerfahren zum Nachweis der Unerfüllbarkeit einer Formel