Historial de «Decidibilidad»

13 ene 2024

• actant 05:2605:26 13 ene 2024‎ The headless radiotower discusión contribs.‎ 2242 bytes +8‎ Función de sugerencias de enlaces: 2 enlaces añadidos. deshacer Etiquetas: Edición visual Tarea para novatos Sugerencia: añadir enlaces

21 feb 2023

• actant 22:2722:27 21 feb 2023‎ Madhing discusión contribs.‎ m 2234 bytes +1‎ →‎Véase también: Cambiado enlace a uno más genérico deshacer Etiqueta: editor de código 2017
• actant 21:2121:21 21 feb 2023‎ Madhing discusión contribs.‎ 2233 bytes +80‎ →‎sección inicial: Añadido plantilla otros usos deshacer Etiqueta: editor de código 2017
• actant 21:1421:14 21 feb 2023‎ Madhing discusión contribs.‎ 2153 bytes −49‎ →‎sección inicial: Revertido plantilla ya que no son el mismo concepto deshacer Etiqueta: editor de código 2017
• actant 21:0421:04 21 feb 2023‎ Madhing discusión contribs.‎ m 2202 bytes +33‎ {{Referencias}} deshacer
• actant 20:5820:58 21 feb 2023‎ Madhing discusión contribs.‎ 2169 bytes +49‎ Plantilla fusionar ya que ahora mismo ambas páginas tratan de lenguajes decidibles deshacer Etiqueta: editor de código 2017

1 ago 2019

• actant 14:2914:29 1 ago 2019‎ Aosbot discusión contribs.‎ m 2120 bytes +27‎ Mantenimiento de Control de autoridades deshacer

8 abr 2018

• actant 13:2113:21 8 abr 2018‎ Bulsara montañés discusión contribs.‎ m 2093 bytes −5‎ Revertidos los cambios de 181.234.170.135 (disc.) a la última edición de Sophivorus deshacer Etiqueta: Reversión
• actant 13:1013:10 8 abr 2018‎ 181.234.170.135 discusión‎ 2098 bytes +5‎ Sin resumen de edición deshacer Etiquetas: posible problema Edición desde móvil Edición vía web móvil

1 mar 2017

• actant 02:2502:25 1 mar 2017‎ Sophivorus discusión contribs.‎ 2093 bytes +43‎ Reestructuro deshacer
• actant 02:2002:20 1 mar 2017‎ Sophivorus discusión contribs.‎ 2050 bytes −370‎ Sin resumen de edición deshacer
• actant 02:1402:14 1 mar 2017‎ Sophivorus discusión contribs.‎ 2420 bytes +681‎ Traigo contenido desde Lógica#Decidibilidad deshacer

3 ago 2015

• actant 01:1701:17 3 ago 2015‎ 186.50.69.90 discusión‎ 1739 bytes +36‎ Sin resumen de edición deshacer

13 mar 2013

• actant 11:1911:19 13 mar 2013‎ Addbot discusión contribs.‎ m 1703 bytes −276‎ Moviendo 10 enlaces interlingúisticos, ahora proporcionado(s) por Wikidata en la página d:q430001. deshacer

23 ene 2013

• actant 00:3300:33 23 ene 2013‎ Jkbw discusión contribs.‎ m 1979 bytes +385‎ Revertidos los cambios de 190.166.255.54 (disc.) a la última edición de ChuispastonBot deshacer
• actant 00:3200:32 23 ene 2013‎ 190.166.255.54 discusión‎ 1594 bytes −385‎ →‎Véase también deshacer Etiqueta: eliminación de interwikis

7 jul 2011

• actant 02:1402:14 7 jul 2011‎ ChuispastonBot discusión contribs.‎ m 1979 bytes +22‎ r2.7.1) (robot Añadido: pt:Decidibilidade deshacer

14 ene 2011

• actant 18:1218:12 14 ene 2011‎ Pegaso2005 discusión contribs.‎ 1957 bytes −9‎ Sin resumen de edición deshacer

20 feb 2010

• actant 19:0219:02 20 feb 2010‎ GrouchoBot discusión contribs.‎ m 1966 bytes −20‎ robot Modificado: fr:Décidabilité deshacer

3 ene 2010

• actant 09:3209:32 3 ene 2010‎ Xqbot discusión contribs.‎ m 1986 bytes +36‎ robot Modificado: ru:Алгоритмическая разрешимость; cambios triviales deshacer

26 oct 2009

• actant 23:0423:04 26 oct 2009‎ Sophivorus discusión contribs.‎ 1950 bytes +4‎ Reorganizando y simplificando las categorías de Lógica deshacer

5 sep 2009

• actant 08:4508:45 5 sep 2009‎ Ángel Luis Alfaro discusión contribs.‎ 1946 bytes +54‎ →‎Véase también deshacer

25 jun 2009

• actant 15:0215:02 25 jun 2009‎ Ángel Luis Alfaro discusión contribs.‎ 1892 bytes +15‎ →‎Véase también deshacer
• actant 14:5614:56 25 jun 2009‎ Ángel Luis Alfaro discusión contribs.‎ 1877 bytes +41‎ Sin resumen de edición deshacer

14 dic 2008

• actant 21:2121:21 14 dic 2008‎ DiegoFb discusión contribs.‎ m 1836 bytes −18‎ Bot: Retirando plantilla en desuso. deshacer

27 nov 2008

• actant 13:5313:53 27 nov 2008‎ Thijs!bot discusión contribs.‎ m 1854 bytes +32‎ robot Añadido: ru:Разрешимость deshacer

9 nov 2008

• actant 18:5418:54 9 nov 2008‎ Panini discusión contribs.‎ 1822 bytes +285‎ Sin resumen de edición deshacer

29 oct 2008

• actant 12:5912:59 29 oct 2008‎ JAnDbot discusión contribs.‎ m 1537 bytes +71‎ robot Añadido: ja:決定可能性, sr:Одлучивост Modificado: fr:Décidabilité et indécidabilité deshacer

13 may 2008

• actant 18:5018:50 13 may 2008‎ AVBOT discusión contribs.‎ m 1466 bytes +1295‎ BOT - Blanqueo de 201.214.146.228, revirtiendo hasta la edición 16895613 de 201.198.139.66. ¿Hubo un error? deshacer
• actant 18:5018:50 13 may 2008‎ 201.214.146.228 discusión‎ 171 bytes −1380‎ Sin resumen de edición deshacer
• actant 18:4618:46 13 may 2008‎ 201.214.146.228 discusión‎ 1551 bytes +85‎ Sin resumen de edición deshacer

25 abr 2008

• actant 20:4520:45 25 abr 2008‎ 201.198.139.66 discusión‎ 1466 bytes +162‎ Sin resumen de edición deshacer

21 dic 2007

• actant 17:0817:08 21 dic 2007‎ Farisori discusión contribs.‎ m 1304 bytes +8‎ link a "validez lógica" deshacer
• actant 02:2202:22 21 dic 2007‎ HUB discusión contribs.‎ 1296 bytes +19‎ Clasificando esbozos para facilitar su ampliación. ¿Nos ayudas? deshacer

5 nov 2007

• actant 18:3118:31 5 nov 2007‎ Sansemar discusión contribs.‎ 1277 bytes −15‎ Sin resumen de edición deshacer

14 jun 2007

• actant 04:2504:25 14 jun 2007‎ Mora.klein discusión contribs.‎ 1292 bytes +8‎ Sin resumen de edición deshacer
• actant 04:2504:25 14 jun 2007‎ Mora.klein discusión contribs.‎ 1284 bytes −1‎ Sin resumen de edición deshacer

7 jun 2007

• actant 18:4518:45 7 jun 2007‎ Muro Bot discusión contribs.‎ m 1285 bytes +1‎ Bot: Corrección de errores menores (WP:CEM) deshacer

15 may 2007

• actant 12:4912:49 15 may 2007‎ 217.126.97.94 discusión‎ 1284 bytes −180‎ Sin resumen de edición deshacer
• actant 12:4812:48 15 may 2007‎ 217.126.97.94 discusión‎ 1464 bytes 0‎ Sin resumen de edición deshacer
• actant 12:4712:47 15 may 2007‎ 217.126.97.94 discusión‎ 1464 bytes +1‎ Sin resumen de edición deshacer
• actant 12:4612:46 15 may 2007‎ 217.126.97.94 discusión‎ 1463 bytes +1463‎ Página nueva: Un sistema lógico o teoría es '''decidible''' si el conjunto de todas las fórmulas válidas en el sistema es decidible. Es decir, existe un [[algorit...