Discusión:Demostración automática de teoremas

Enlaces rotos

• http://www.ags.uni-sb.de/~chris/leo

Elvisor (discusión) 21:51 23 nov 2015 (UTC)[responder]

Enlaces externos modificados

Hola,

Acabo de modificar 1 enlaces externos en Demostración automática de teoremas. Por favor tomaos un momento para revisar mi edición. Si tenéis alguna pregunta o necesitáis que el bot ignore los enlaces o toda la página en su conjunto, por favor visitad esta simple guía para ver información adicional. He realizado los siguientes cambios:

• Se añadió la plantilla {{dead link}} a http://www.ags.uni-sb.de/~chris/leo
• Se añadió el archivo https://web.archive.org/web/20081006142033/http://www.acumenbusiness.com/Components/ComponentsDetail.htm a http://www.acumenbusiness.com/Components/ComponentsDetail.htm

Por favor acudid a la guía anteriormente enlazada para más información sobre cómo corregir los errores que el bot pueda cometer.

Saludos.—InternetArchiveBot (Reportar un error) 02:19 26 jul 2018 (UTC)[responder]

Enlaces externos modificados

Hola,

Acabo de modificar 2 enlaces externos en Demostración automática de teoremas. Por favor tomaos un momento para revisar mi edición. Si tenéis alguna pregunta o necesitáis que el bot ignore los enlaces o toda la página en su conjunto, por favor visitad esta simple guía para ver información adicional. He realizado los siguientes cambios:

• Se añadió el archivo https://web.archive.org/web/20061207044650/http://www.cs.miami.edu/~tptp/CASC/ a http://www.cs.miami.edu/~tptp/CASC
• Se añadió el archivo https://web.archive.org/web/20090302112038/http://www.cs.miami.edu/~tptp/CASC/ a http://www.cs.miami.edu/~tptp/CASC/

Por favor acudid a la guía anteriormente enlazada para más información sobre cómo corregir los errores que el bot pueda cometer.

Saludos.—InternetArchiveBot (Reportar un error) 22:33 4 sep 2019 (UTC)[responder]

Enlaces externos modificados

Hola,

Acabo de modificar 1 enlaces externos en Demostración automática de teoremas. Por favor tomaos un momento para revisar mi edición. Si tenéis alguna pregunta o necesitáis que el bot ignore los enlaces o toda la página en su conjunto, por favor visitad esta simple guía para ver información adicional. He realizado los siguientes cambios:

• Se añadió el archivo https://web.archive.org/web/20081126113058/http://www.irit.fr/ACTIVITES/LILaC/Lotrec/ a http://www.irit.fr/ACTIVITES/LILaC/Lotrec/

Por favor acudid a la guía anteriormente enlazada para más información sobre cómo corregir los errores que el bot pueda cometer.

Saludos.—InternetArchiveBot (Reportar un error) 11:05 12 dic 2019 (UTC)[responder]