If you do not find what you're looking for, you can use more accurate words.
إثْباتُ النَّظَرِيَّاِت:- أسلوب نمطي لإثبات نظرية مَّا، يستخدم فيه المنطق الرمزي، ويمكن برمجة هذا الأسلوب بهدف ميكنة عمليات الإثبات، وتسمى البرامج مثبتات النظريات theorem provers. (معجم الحاسبات)