Historial de «Verificación de modelos»

11 jul 2019

• actant 21:1621:16 11 jul 2019‎ Aosbot discusión contribs.‎ m 2989 bytes +27‎ Mantenimiento de Control de autoridades deshacer

23 dic 2017

• actant 04:5204:52 23 dic 2017‎ InternetArchiveBot discusión contribs.‎ 2962 bytes +386‎ Rescatando referencia 0 y marcando 4 como roto #IABot (v1.6.1) deshacer

17 jul 2015

• actant 05:0205:02 17 jul 2015‎ Fixertool discusión contribs.‎ 2576 bytes −68‎ Sin resumen de edición deshacer

16 may 2013

• actant 09:5309:53 16 may 2013‎ Davius discusión contribs.‎ m 2644 bytes +8‎ Sin resumen de edición deshacer
• actant 09:5209:52 16 may 2013‎ Davius discusión contribs.‎ m 2636 bytes 0‎ Davius movió la página Model checking a Verificación de modelos deshacer
• actant 09:5209:52 16 may 2013‎ Davius discusión contribs.‎ m 2636 bytes +11‎ Sin resumen de edición deshacer

11 mar 2013

• actant 18:0918:09 11 mar 2013‎ Legobot discusión contribs.‎ m 2625 bytes −297‎ Moviendo 11 enlace(s) interlingüístico(s), ahora proporcionado(s) por Wikidata en la página d:q1569697. deshacer

11 ene 2013

• actant 20:3720:37 11 ene 2013‎ Waeswaes discusión contribs.‎ m 2922 bytes +23‎ arreglado enlace deshacer

2 ene 2013

• actant 22:1822:18 2 ene 2013‎ Waeswaes discusión contribs.‎ m 2899 bytes +33‎ Sin resumen de edición deshacer

4 ago 2012

• actant 17:5317:53 4 ago 2012‎ Elvisor discusión contribs.‎ m 2866 bytes +36‎ Bot:Desambiguando deshacer

17 jun 2011

• actant 11:2111:21 17 jun 2011‎ ChuispastonBot discusión contribs.‎ m 2830 bytes +22‎ r2.7.1) (robot Añadido: vi:Model checking deshacer

29 ene 2011

• actant 12:2212:22 29 ene 2011‎ Ptbotgourou discusión contribs.‎ m 2808 bytes 0‎ robot Modificado: pt:Verificação de modelos deshacer

19 jul 2010

• actant 12:5912:59 19 jul 2010‎ Luckas-bot discusión contribs.‎ m 2808 bytes +39‎ robot Añadido: el:Έλεγχος μοντέλων deshacer

2 abr 2010

• actant 09:2309:23 2 abr 2010‎ Xqbot discusión contribs.‎ m 2769 bytes +11‎ robot Modificado: pt:Verificação de Modelos; cambios triviales deshacer

27 dic 2009

• actant 16:2316:23 27 dic 2009‎ Rubinbot discusión contribs.‎ m 2758 bytes −1‎ robot Modificado: lt:Modelių tikrinimas deshacer

13 dic 2009

• actant 15:0115:01 13 dic 2009‎ Idioma-bot discusión contribs.‎ m 2759 bytes +28‎ robot Añadido: lt:Modelio patikrinimas deshacer

25 oct 2009

• actant 23:5923:59 25 oct 2009‎ Xqbot discusión contribs.‎ m 2731 bytes +1‎ robot Modificado: sk:Overovanie modelov; cambios triviales deshacer

30 abr 2009

• actant 06:2706:27 30 abr 2009‎ Xqbot discusión contribs.‎ m 2730 bytes −10‎ robot Modificado: pt:Model Checking deshacer

29 abr 2009

• actant 08:0808:08 29 abr 2009‎ TXiKiBoT discusión contribs.‎ m 2740 bytes +32‎ robot Añadido: pt:Verificação de Modelos deshacer

2 ene 2009

• actant 09:0709:07 2 ene 2009‎ 85.181.100.236 discusión‎ 2708 bytes +394‎ →‎Enlaces externos deshacer

14 nov 2008

• actant 20:2520:25 14 nov 2008‎ BotSottile discusión contribs.‎ m 2314 bytes 0‎ robot Modificado: de:Model Checking deshacer

1 may 2008

• actant 00:1100:11 1 may 2008‎ VolkovBot discusión contribs.‎ m 2314 bytes +39‎ robot Añadido: ru:Проверка моделей deshacer

8 feb 2008

• actant 22:4622:46 8 feb 2008‎ Riviera discusión contribs.‎ 2275 bytes +244‎ Premio Turing deshacer

4 jun 2007

• actant 01:2301:23 4 jun 2007‎ FlaBot discusión contribs.‎ m 2031 bytes +22‎ robot Añadido: sk:Model checking deshacer

26 may 2007

• actant 06:3106:31 26 may 2007‎ Loveless discusión contribs.‎ m 2009 bytes 0‎ robot Modificado: de:Modellprüfung deshacer

22 ene 2007

• actant 22:0022:00 22 ene 2007‎ Yrbot discusión contribs.‎ m 2009 bytes −9‎ Robot: converting/fixing HTML deshacer

1 ene 2007

• actant 11:4711:47 1 ene 2007‎ Yrbot discusión contribs.‎ m 2018 bytes +23‎ robot Añadido: ja:モデル検査 deshacer

15 oct 2006

• actant 12:4112:41 15 oct 2006‎ Tomatejc discusión contribs.‎ m 1995 bytes +14‎ →‎Enlaces externos deshacer

8 sep 2006

• actant 23:3923:39 8 sep 2006‎ Julian Mendez discusión contribs.‎ m 1981 bytes +35‎ →‎Enlaces externos deshacer

11 jun 2006

• actant 19:1419:14 11 jun 2006‎ YurikBot discusión contribs.‎ m 1946 bytes +21‎ robot Añadido: it:Model checking deshacer

22 abr 2006

• actant 15:5215:52 22 abr 2006‎ Airunp discusión contribs.‎ m 1925 bytes +30‎ Categoría Informática deshacer

14 mar 2006

• actant 22:5422:54 14 mar 2006‎ Fer31416 discusión contribs.‎ m 1895 bytes +8‎ Sin resumen de edición deshacer
• actant 22:5322:53 14 mar 2006‎ Fer31416 discusión contribs.‎ m 1887 bytes −17‎ Sin resumen de edición deshacer
• actant 22:5222:52 14 mar 2006‎ Fer31416 discusión contribs.‎ m 1904 bytes +67‎ Idiomas deshacer
• actant 22:5122:51 14 mar 2006‎ Fer31416 discusión contribs.‎ 1837 bytes +1837‎ Crear la entrada