Los investigadores Christoph Benzmülle y Bruno Woltzenlogel publicaron en 2013 un artículo donde prueban el argumento ontológico sobre la existencia de Dios del matemático Kurt Gödel con una demostración con los motores de razonamiento automático de teoremas LEO-II y Satallax.