الإثبات الآلي, الذكاء الاصطناعي, المنطق الرياضي, علم الحاسوب, نظرية النموذجالهيربراندية (Herbrandization)