Discusión:Demostración automática de teoremas
Enlaces rotos
[editar]Elvisor (discusión) 21:51 23 nov 2015 (UTC)
Enlaces externos modificados
[editar]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)
Enlaces externos modificados
[editar]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)
Enlaces externos modificados
[editar]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)