English Resolution (logic) Cited by user RDBrown on 20 Oct 2022 In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation complete theorem-proving technique for sentences in…
English Deepak Kapur Cited by user Citation bot on 07 Dec 2021 Deepak Kapur (born August 24, 1950) is a Distinguished Professor in the Department of Computer Science at the University of New Mexico.
Indonesian Gelanggang Boolean Cited by user Klasüo on 02 Jul 2021 Dalam matematika, sebuah gelanggang Boolean R adalah gelanggang x2 = x untuk semua x di R, yaitu, gelanggang yang terdiri dari elemen idempoten.
English Boolean ring Cited by user Jarble on 18 Jun 2019 In mathematics, a Boolean ring R is a ring for which x2 = x for all x in R, such as the ring of integers modulo 2.