Historial de «Forma normal prenexa»

20 oct 2020

• actant 07:3507:35 20 oct 2020‎ Sebascortes15 discusión contribs.‎ m 7146 bytes 0‎ →‎Lógica intuicionista deshacer

7 jul 2020

• actant 18:0018:00 7 jul 2020‎ Vealhurl discusión contribs.‎ m 7146 bytes +1‎ Correcciones ortográficas con Replacer (herramienta en línea de revisión de errores) deshacer Etiqueta: ReplacerTool [2.0]

18 abr 2020

• actant 21:4321:43 18 abr 2020‎ Tfeliz discusión contribs.‎ m 7145 bytes −2‎ Correcciones ortográficas con Replacer (herramienta en línea de revisión de errores) deshacer Etiqueta: ReplacerTool [1.0]

6 ago 2019

• actant 07:2607:26 6 ago 2019‎ Aosbot discusión contribs.‎ m 7147 bytes +27‎ Mantenimiento de Control de autoridades deshacer

8 mar 2019

• actant 23:0723:07 8 mar 2019‎ UA31 discusión contribs.‎ m 7120 bytes −26‎ Revertidos los cambios de 200.34.44.90 (disc.) a la última edición de SeroBOT deshacer Etiqueta: Reversión
• actant 23:0723:07 8 mar 2019‎ 200.34.44.90 discusión‎ 7146 bytes +26‎ Sin resumen de edición deshacer
• actant 23:0123:01 8 mar 2019‎ SeroBOT discusión contribs.‎ m 7120 bytes +17‎ Revertidos los cambios de 200.34.44.90 (disc.) a la última edición de SeroBOT deshacer Etiqueta: Reversión
• actant 23:0123:01 8 mar 2019‎ 200.34.44.90 discusión‎ 7103 bytes −17‎ Sin resumen de edición deshacer
• actant 22:5922:59 8 mar 2019‎ SeroBOT discusión contribs.‎ m 7120 bytes +16‎ Revertidos los cambios de 200.34.44.90 (disc.) a la última edición de Omerta-ve deshacer Etiqueta: Reversión
• actant 22:5922:59 8 mar 2019‎ 200.34.44.90 discusión‎ 7104 bytes −16‎ Sin resumen de edición deshacer

22 ene 2018

• actant 01:0401:04 22 ene 2018‎ Omerta-ve discusión contribs.‎ m 7120 bytes +1‎ →‎Ejemplo deshacer

10 oct 2017

• actant 19:5719:57 10 oct 2017‎ Jmleonrojas discusión contribs.‎ m 7119 bytes +8‎ Corrigiendo posición en el listado de Categoría:Formas normales|Prenexa deshacer
• actant 19:5519:55 10 oct 2017‎ Jmleonrojas discusión contribs.‎ m 7111 bytes +31‎ Añadiendo Categoría:Formas normales deshacer

12 mar 2017

• actant 13:1713:17 12 mar 2017‎ Farisori discusión contribs.‎ 7080 bytes +336‎ Sin resumen de edición deshacer
• actant 13:1313:13 12 mar 2017‎ Farisori discusión contribs.‎ 6744 bytes +4‎ →‎Referencias deshacer
• actant 13:1313:13 12 mar 2017‎ Farisori discusión contribs.‎ 6740 bytes +199‎ Sin resumen de edición deshacer
• actant 13:0413:04 12 mar 2017‎ Farisori discusión contribs.‎ m 6541 bytes 0‎ Farisori trasladó la página Forma prenexa a Forma normal prenexa deshacer

21 nov 2014

• actant 10:1610:16 21 nov 2014‎ 190.64.49.42 discusión‎ 6541 bytes 0‎ El ejemplo está incorrecto. deshacer

2 ago 2013

• actant 11:5411:54 2 ago 2013‎ Acratta discusión contribs.‎ 6541 bytes +80‎ Sin resumen de edición deshacer

1 ago 2013

• actant 02:3302:33 1 ago 2013‎ Acratta discusión contribs.‎ 6461 bytes −1‎ →‎Referencias deshacer

12 mar 2013

• actant 07:3407:34 12 mar 2013‎ KLBot2 discusión contribs.‎ m 6462 bytes −232‎ Bot: Moviendo 10 enlaces interlingüísticos a d:Q281854 en Wikidata deshacer

9 oct 2012

• actant 23:4923:49 9 oct 2012‎ TiriBOT discusión contribs.‎ m 6694 bytes −56‎ Bot: Retirando plantilla "traducción". Fue insertada por Usuario:Ferdr?n el 19 de May de 2011 y su última edición en él fue el 19 de May de 2011.; cambios triviales deshacer

22 ago 2012

• actant 16:2516:25 22 ago 2012‎ 2.139.15.204 discusión‎ 6750 bytes −1‎ →‎Ejemplo deshacer

6 jun 2012

• actant 01:4201:42 6 jun 2012‎ 132.247.246.26 discusión‎ 6751 bytes +1‎ →‎Conjunción y disyunción deshacer
• actant 01:4101:41 6 jun 2012‎ 132.247.246.26 discusión‎ 6750 bytes +43‎ →‎Conjunción y disyunción deshacer
• actant 01:3801:38 6 jun 2012‎ 132.247.246.26 discusión‎ 6707 bytes +40‎ →‎Uso de la forma prenexa deshacer

29 feb 2012

• actant 21:1121:11 29 feb 2012‎ 200.12.179.200 discusión‎ 6667 bytes +17‎ →‎Conjunción y disyunción deshacer

27 dic 2011

• actant 12:0712:07 27 dic 2011‎ Invadibot discusión contribs.‎ m 6650 bytes +14‎ Bot: 8 - Mejoras diversas en páginas deshacer

22 oct 2011

• actant 10:4310:43 22 oct 2011‎ Invadibot discusión contribs.‎ m 6636 bytes +1‎ Bot: 8 - Mejorando referencias y otros deshacer

18 oct 2011

• actant 16:2016:20 18 oct 2011‎ Drinibot discusión contribs.‎ m 6635 bytes +9‎ Bot: Cambiada la la plantilla: Citation; cambios triviales deshacer

30 may 2011

• actant 13:0413:04 30 may 2011‎ GameOnBot discusión contribs.‎ m 6626 bytes +2‎ Syntaxfix Category: -> Categoría deshacer

19 may 2011

• actant 21:0621:06 19 may 2011‎ WikitanvirBot discusión contribs.‎ m 6624 bytes +26‎ r2.7.1) (robot Añadido: en:Prenex normal form deshacer
• actant 21:0021:00 19 may 2011‎ Ferdrän discusión contribs.‎ 6598 bytes +6598‎ Página creada con «{{Traducción inconclusa|ci=en|Prenex_normal_form}} Una formula de la lógica de predicados tiene '''forma prenexa<ref>The term 'prenex' comes f...»