Utilizaron un motor de razonamiento automático de teoremas automatizado, Prover9, para validar la tesis ontológica de Anselmo.