منطق

ذكاء اصطناعي, رياضيات, علم الحاسوب, منطق

نظام إثبات النظريات (Theorem Proving System)

تصميم رقمي, علوم الحاسوب, منطق, هندسة كهربائية

مخطط “و-عاكس” (And-Inverter Graph)

الذكاء الاصطناعي, رياضيات, علم الحاسوب, منطق

الصيغة (المنطق) (Clause (Logic))

تاريخ الفلسفة, فلسفة, منطق, ميتافيزيقا

الإمكان التوافقي (Compossibility)

برهان رسمي, علوم الحاسوب, مدقق نظريات, منطق

هول لايت (HOL Light)

ألغاز, رياضيات, علوم الكمبيوتر, منطق

لغز MU (MU Puzzle)