Attempts have also been made to validate Anselm's proof using an automated theorem prover.
Были сделаны попытки для проверки доказательства Ансельма с использованием автоматизированного доказательства теорем.