Historial de «Consistencia (lógica)»

19 abr 2024

• actant 11:2411:24 19 abr 2024‎ Ivanmarribas discusión contribs.‎ 12 757 bytes +34‎ Añadir aviso «referencias» deshacer Etiqueta: Edición visual

13 ene 2024

• actant 15:4715:47 13 ene 2024‎ InternetArchiveBot discusión contribs.‎ 12 723 bytes +62‎ Agregar 1 libro para verificar la verificabilidad (20240110)) #IABot (v2.0.9.5) (GreenC bot deshacer

27 sep 2021

• actant 06:5006:50 27 sep 2021‎ Phlsph7 discusión contribs.‎ 12 661 bytes +31‎ →‎Véase también: wikilink deshacer

8 mar 2021

• actant 00:5000:50 8 mar 2021‎ SeroBOT discusión contribs.‎ m 12 630 bytes +4869‎ Revertidos los cambios de 189.153.150.146 (disc.) a la última edición de FrescoBot deshacer Etiqueta: Reversión
• actant 00:3300:33 8 mar 2021‎ 189.153.150.146 discusión‎ 7761 bytes −2643‎ →‎Demostración de consistencia deshacer Etiquetas: Revertido posible pruebas
• actant 00:3200:32 8 mar 2021‎ 189.153.150.146 discusión‎ 10 404 bytes −2226‎ →‎Introducción deshacer Etiquetas: Revertido posible pruebas

5 mar 2021

• actant 08:4008:40 5 mar 2021‎ FrescoBot discusión contribs.‎ m 12 630 bytes −14‎ Bot: sintaxis de los enlaces deshacer

3 feb 2021

• actant 01:0101:01 3 feb 2021‎ Cris174 discusión contribs.‎ m 12 644 bytes +29‎ intercambié unos textos para darle una interpretación más inmediata. deshacer Etiqueta: Edición visual
• actant 00:5000:50 3 feb 2021‎ Cris174 discusión contribs.‎ m 12 615 bytes +55‎ Sin resumen de edición deshacer Etiqueta: Edición visual
• actant 00:2900:29 3 feb 2021‎ Cris174 discusión contribs.‎ m 12 560 bytes +12‎ Sin resumen de edición deshacer Etiqueta: Edición visual

12 ago 2020

• actant 16:1416:14 12 ago 2020‎ Copydays discusión contribs.‎ 12 548 bytes +79‎ +Categoría:Teoría de la demostración; +Categoría:Problemas de Hilbert mediante HotCat deshacer

29 abr 2020

• actant 23:4923:49 29 abr 2020‎ SeroBOT discusión contribs.‎ m 12 469 bytes +922‎ Revertidos los cambios de 191.95.158.214 (disc.) a la última edición de InternetArchiveBot deshacer Etiqueta: Reversión
• actant 23:4923:49 29 abr 2020‎ 191.95.158.214 discusión‎ 11 547 bytes −922‎ Sin resumen de edición deshacer Etiquetas: posible pruebas Edición desde móvil Edición vía web móvil

11 dic 2019

• actant 06:1906:19 11 dic 2019‎ InternetArchiveBot discusión contribs.‎ 12 469 bytes +59‎ Vinculación a 1 libros para verificabilidad.) #IABot (v2.1alpha3 deshacer

1 ago 2019

• actant 21:1721:17 1 ago 2019‎ Aosbot discusión contribs.‎ m 12 410 bytes +27‎ Mantenimiento de Control de autoridades deshacer

12 may 2017

• actant 16:3916:39 12 may 2017‎ Semibot discusión contribs.‎ m 12 383 bytes +4‎ Bot: Añadir enlaces internos: University of California Press deshacer

15 abr 2017

• actant 23:4223:42 15 abr 2017‎ Sophivorus discusión contribs.‎ m 12 379 bytes +2‎ Deshecha la edición 98380897 de 200.62.146.210 (disc.) deshacer
• actant 21:4921:49 15 abr 2017‎ 200.62.146.210 discusión‎ 12 377 bytes −2‎ →‎Introducción deshacer

1 mar 2017

• actant 03:3703:37 1 mar 2017‎ Sophivorus discusión contribs.‎ m 12 379 bytes −50‎ Sin resumen de edición deshacer
• actant 02:4202:42 1 mar 2017‎ Sophivorus discusión contribs.‎ 12 429 bytes +442‎ Incorporo contenido de Metalógica#Consistencia deshacer
• actant 02:2702:27 1 mar 2017‎ Sophivorus discusión contribs.‎ m 11 987 bytes +4‎ Sin resumen de edición deshacer

28 feb 2017

• actant 23:2923:29 28 feb 2017‎ Sophivorus discusión contribs.‎ 11 983 bytes −26‎ Reemplazo la explicación intuitiva por la de Lógica#Consistencia, por se más clara deshacer

24 ene 2017

• actant 22:4122:41 24 ene 2017‎ Sophivorus discusión contribs.‎ m 12 009 bytes +2‎ Deshecha la edición 96414494 de 79.152.131.118 (disc.) deshacer
• actant 11:4911:49 24 ene 2017‎ 79.152.131.118 discusión‎ 12 007 bytes −2‎ Kakakak deshacer Etiquetas: Edición visual Edición desde móvil Edición vía web móvil

3 dic 2016

• actant 13:1913:19 3 dic 2016‎ Sophivorus discusión contribs.‎ 12 009 bytes −23‎ Sin resumen de edición deshacer

1 dic 2016

• actant 18:4618:46 1 dic 2016‎ 178.237.142.110 discusión‎ 12 032 bytes −1‎ →‎Fórmulas deshacer
• actant 18:4618:46 1 dic 2016‎ 178.237.142.110 discusión‎ 12 033 bytes +24‎ →‎Teorema de Henkin: definicos deshacer

25 jul 2016

• actant 01:5301:53 25 jul 2016‎ Stïnger discusión contribs.‎ m 12 009 bytes −39‎ Revertir: usuario añadiendo información sin referenciar, posiblemente sea un bulo, no atiende a los avisos dados deshacer

19 jul 2016

• actant 17:1617:16 19 jul 2016‎ 82.130.158.71 discusión‎ 12 048 bytes +14‎ Sin resumen de edición deshacer Etiquetas: Edición desde móvil Edición vía web móvil
• actant 17:1517:15 19 jul 2016‎ 82.130.158.71 discusión‎ 12 034 bytes +25‎ Sin resumen de edición deshacer Etiquetas: Edición desde móvil Edición vía web móvil

22 may 2016

• actant 09:3209:32 22 may 2016‎ Yeza discusión contribs.‎ m 12 009 bytes 0‎ Yeza trasladó la página Demostración de consistencia a Consistencia (lógica): Fusión hist. deshacer

21 may 2016

• actant 14:2114:21 21 may 2016‎ Sophivorus discusión contribs.‎ 12 009 bytes +2892‎ Copio contenido de Consistencia (lógica) para fusión deshacer
• actant 14:2014:20 21 may 2016‎ Sophivorus discusión contribs.‎ 12 009 bytes +8823‎ Copio contenido desde Demostración de consistencia para fusión deshacer
• actant 14:0614:06 21 may 2016‎ Sophivorus discusión contribs.‎ 3186 bytes −220‎ Arreglo referencia deshacer

18 feb 2016

• actant 23:2923:29 18 feb 2016‎ Sr. Alvaro discusión contribs.‎ 3406 bytes −5711‎ Agrego un vínculo: i.e. deshacer

28 dic 2015

• actant 02:2102:21 28 dic 2015‎ CEM-bot discusión contribs.‎ m 9117 bytes +1‎ Pequeñas correcciones WP:CEM. deshacer

12 nov 2015

• actant 01:1501:15 12 nov 2015‎ Jarould discusión contribs.‎ m 9116 bytes −4‎ Revertidos los cambios de 187.159.204.206 (disc.) (HG) (3.1.16) deshacer
• actant 01:1401:14 12 nov 2015‎ 187.159.204.206 discusión‎ 9120 bytes +4‎ Sin resumen de edición deshacer

28 sep 2015

• actant 11:2311:23 28 sep 2015‎ 81.172.106.222 discusión‎ 3395 bytes +4‎ Sin resumen de edición deshacer

17 may 2015

• actant 14:4614:46 17 may 2015‎ Davius discusión contribs.‎ 3391 bytes +174‎ →‎Introducción deshacer
• actant 14:4214:42 17 may 2015‎ Davius discusión contribs.‎ 3217 bytes +107‎ Sin resumen de edición deshacer
• actant 14:4114:41 17 may 2015‎ Davius discusión contribs.‎ 3110 bytes +293‎ Sin resumen de edición deshacer

20 dic 2014

• actant 02:3602:36 20 dic 2014‎ Jkbw discusión contribs.‎ m 2817 bytes −58‎ Revertidos los cambios de Dubo-kun (disc.) (HG) deshacer
• actant 02:3602:36 20 dic 2014‎ Dubo-kun discusión contribs.‎ 2875 bytes −6241‎ Sin resumen de edición deshacer

19 sep 2014

• actant 05:2505:25 19 sep 2014‎ CEM-bot discusión contribs.‎ m 9116 bytes +1‎ Pequeñas correcciones WP:CEM. deshacer

17 dic 2013

• actant 18:1918:19 17 dic 2013‎ 190.137.138.253 discusión‎ 9115 bytes +4‎ →‎Resultados básicos: ortografía deshacer Etiqueta: Edición visual

25 nov 2013

• actant 16:5416:54 25 nov 2013‎ Technopat discusión contribs.‎ m 2817 bytes −1‎ Revertidos los cambios de 155.54.223.78 (disc.) a la última edición de Acratta deshacer
• actant 16:5316:53 25 nov 2013‎ 155.54.223.78 discusión‎ 2818 bytes −2‎ Sin resumen de edición deshacer Etiqueta: Edición visual
• actant 16:5216:52 25 nov 2013‎ 155.54.223.78 discusión‎ 2820 bytes +3‎ Sin resumen de edición deshacer Etiqueta: Edición visual

12 ago 2013

• actant 06:1606:16 12 ago 2013‎ Acratta discusión contribs.‎ 2817 bytes +17‎ Sin resumen de edición deshacer