אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית יפנית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

theorem prover מתח
.בינה	доказатель теорем (Microsoft Alex_Odeychuk); система доказательства теорем (Microsoft Alex_Odeychuk); доказыватель теорем (Alex_Odeychuk); системой автоматического доказательства теорем (Alex_Odeychuk)
.טכנול	инструмент доказательства теорем (wikipedia.org Alex_Odeychuk)
.מָתֵי, .תוֹכנ	утилита автоматического доказательства теорем (Alex_Odeychuk)
.מכשיר	программа для доказательства теорем (с использованием аксиоматической базы данных)
.תִכנו	инструмент автоматического доказательства теорем (Alex_Odeychuk)

theorem prover : 13 צירופים, 5 נושאים

בינה מלאכותית	9
טכנולוגית מידע	1
מקרוב	1
תִכנוּת	1
תוֹכנָה	1