Teoria dei tipi: cronologia delle modifiche

Filtra versionimostranascondi

Alla data:

Inverti selezione

Per il confronto tra due versioni della cronologia, selezionare le caselle corrispondenti e premere Invio o il pulsante Confronta versioni selezionate.

Strumenti esterni: Cerca in cronologia · Statistiche crono (aka-online.de) · Statistiche crono (wmflabs.org) · Numero di visite · Verifica link · Ripara link

Legenda: (corr) = differenze con la versione attuale; (prec) = differenze con la versione precedente; m = modifica minore.

corrprec 12:5312:53, 3 ott 2023 Simone Biancolilla discussione contributi m 4 277 byte +19 →Altri progetti: Aggiunto il parametro "Preposizione" nel template "Interprogetto" annulla Etichetta: Modifica visuale
corrprec 10:4210:42, 3 ott 2023 Botcrux discussione contributi m 4 258 byte +37 Bot: Aggiungo template {{interprogetto}} (FAQ) annulla Etichetta: AWB

corrprec 15:5715:57, 19 apr 2023 Simone Biancolilla discussione contributi 4 221 byte +27 →Collegamenti esterni: Aggiunto il template "Collegamenti esterni" annulla Etichetta: Modifica visuale

corrprec 20:3820:38, 23 giu 2021 Pil56 discussione contributi m 4 194 byte +30 smistamento lavoro sporco e fix vari annulla Etichetta: AWB

corrprec 19:2819:28, 16 nov 2019 Germanomosconi1 discussione contributi 4 164 byte −2 →Voci correlate annulla
corrprec 19:0419:04, 16 nov 2019 Germanomosconi1 discussione contributi 4 166 byte +37 →Voci correlate annulla Etichetta: Modifica visuale

corrprec 14:1814:18, 13 ott 2016 Soujak discussione contributi 4 129 byte +45 →Voci correlate: +Teoria dei linguaggi di programmazione annulla

corrprec 17:2217:22, 10 gen 2016 Botcrux discussione contributi m 4 084 byte +14 Bot: fix citazione web (v. discussione), replaced: Quote → Citazione annulla

corrprec 15:3915:39, 7 set 2015 Folto82 discussione contributi 4 070 byte +17 Nessun oggetto della modifica annulla

corrprec 11:4911:49, 11 gen 2015 Horcrux discussione contributi m 4 053 byte 0 removed Category:Logica matematica; added Category:Teoria dei tipi usando HotCat annulla

corrprec 22:1522:15, 19 mag 2014 Rrronny discussione contributi 4 053 byte +42 +F; +nf; fix orto annulla

corrprec 03:4803:48, 2 mag 2014 FrescoBot discussione contributi m 4 011 byte −5 Bot: niente corsivi e piped wikilink nelle voci correlate annulla

corrprec 11:1911:19, 9 nov 2013 93.144.90.175 discussione 4 016 byte +73 Traduzione farlocca annulla Etichetta: Possibile modifica di prova o impropria

corrprec 17:2617:26, 8 mar 2013 Addbot discussione contributi m 3 943 byte −378 migrazione di 15 interwiki links su Wikidata - d:q1056428 annulla

corrprec 11:2811:28, 23 ott 2012 ZéroBot discussione contributi m 4 321 byte +18 r2.7.1) (Bot: Aggiungo ko:형 이론 annulla

corrprec 12:2512:25, 7 ago 2012 151.67.223.163 discussione 4 303 byte −1 Nessun oggetto della modifica annulla

corrprec 22:5722:57, 27 mar 2012 Luckas-bot discussione contributi m 4 304 byte +31 r2.7.1) (Bot: Aggiungo el:Θεωρία τύπων annulla

corrprec 08:1308:13, 8 set 2010 Robykiwi discussione contributi 4 273 byte +2 Nessun oggetto della modifica annulla
corrprec 08:1308:13, 8 set 2010 Robykiwi discussione contributi 4 271 byte 0 Nessun oggetto della modifica annulla
corrprec 08:1208:12, 8 set 2010 Robykiwi discussione contributi 4 271 byte +25 →Voci correlate annulla

corrprec 10:3510:35, 1 mag 2010 FrescoBot discussione contributi m 4 246 byte 0 Bot: apostrofo dopo l'articolo indeterminativo annulla

corrprec 14:0114:01, 21 apr 2010 SieBot discussione contributi m 4 246 byte +24 Bot: Aggiungo: es:Teoría de tipos annulla

corrprec 00:1900:19, 15 giu 2009 Alexbot discussione contributi m 4 222 byte +20 Bot: Aggiungo: nl:Typentheorie annulla

corrprec 16:4316:43, 10 apr 2009 RibotBOT discussione contributi m 4 202 byte +4 Bot: Modifico: eo:Teorio de tipoj annulla

corrprec 09:0509:05, 17 set 2008 MystBot discussione contributi m 4 198 byte +29 Bot: Aggiungo: ar:نظرية النمط annulla

corrprec 06:1406:14, 12 set 2008 Amirobot discussione contributi m 4 169 byte +32 Bot: Aggiungo: fa:نظریه نوع‌ها annulla

corrprec 22:3722:37, 11 set 2008 BotSottile discussione contributi m 4 137 byte +19 Bot: Aggiungo: eo:Tipa teorio annulla

corrprec 03:5403:54, 2 set 2008 FrescoBot discussione contributi m 4 118 byte −19 Bot: piped wikilink superflui annulla

corrprec 10:0910:09, 28 giu 2008 80.181.162.85 discussione 4 137 byte +1 Nessun oggetto della modifica annulla

corrprec 13:2513:25, 25 mag 2007 YonaBot discussione contributi m 4 136 byte +17 robot Aggiungo: ja:型理論 annulla

corrprec 00:0500:05, 13 mar 2007 Thijs!bot discussione contributi m 4 119 byte +24 robot Aggiungo: pt:Teoria dos tipos annulla

corrprec 22:2122:21, 2 ott 2006 Ylebru discussione contributi 4 095 byte +7 →Collegamenti esterni: categ + specifica annulla

corrprec 13:1913:19, 15 giu 2006 YurikBot discussione contributi m 4 088 byte +31 robot Aggiungo: ru:Теория типов annulla

corrprec 11:4411:44, 5 apr 2006 YurikBot discussione contributi m 4 057 byte +17 robot Aggiungo: zh:类型论 annulla

corrprec 19:0019:00, 27 mar 2006 CruccoBot discussione contributi m 4 040 byte +26 robot Aggiungo: fr annulla

corrprec 21:1421:14, 25 dic 2005 Ines discussione contributi 4 014 byte +26 + cat annulla

corrprec 21:3421:34, 26 nov 2005 Hellis discussione contributi m 4 245 byte −4 Nessun oggetto della modifica annulla
corrprec 21:0521:05, 26 nov 2005 Marius~itwiki discussione contributi 4 249 byte +4 249 Inizio traduzione da en.wiki

Teoria dei tipi: cronologia delle modifiche

3 ott 2023

19 apr 2023

23 giu 2021

16 nov 2019

13 ott 2016

10 gen 2016

7 set 2015

11 gen 2015

19 mag 2014

2 mag 2014

9 nov 2013

8 mar 2013

23 ott 2012

7 ago 2012

27 mar 2012

8 set 2010

1 mag 2010

21 apr 2010

15 giu 2009

10 apr 2009

17 set 2008

12 set 2008

11 set 2008

2 set 2008

28 giu 2008

25 mag 2007

13 mar 2007

2 ott 2006

15 giu 2006

5 apr 2006

27 mar 2006

25 dic 2005

27 nov 2005

26 nov 2005