Linguaggio del primo ordine: 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 10:0810:08, 16 feb 2024‎ Mat4free discussione contributi‎ m 9 603 byte −3‎ fix minori annulla
corrprec 08:5108:51, 16 feb 2024‎ Nikkam59 discussione contributi‎ m 9 606 byte +2‎ →‎Semantica annulla Etichetta: Modifica visuale

corrprec 13:5613:56, 19 ott 2022‎ Horcrux discussione contributi‎ m 9 604 byte +8‎ +wikilink annulla

corrprec 16:5416:54, 2 mag 2022‎ AndRicciardi discussione contributi‎ m 9 596 byte 0‎ corretto errore grammaticale annulla
corrprec 16:5316:53, 2 mag 2022‎ AndRicciardi discussione contributi‎ m 9 596 byte +59‎ Nessun oggetto della modifica annulla

corrprec 22:5222:52, 18 giu 2021‎ Ffaffff discussione contributi‎ 9 537 byte +5‎ →‎Semantica: più chiaro che «in se stesso» annulla Etichetta: Modifica visuale
corrprec 22:4622:46, 18 giu 2021‎ Ffaffff discussione contributi‎ 9 532 byte −108‎ →‎Semantica: credo che i due 𝓤 di cui si parla siano gli stessi annulla Etichetta: Modifica visuale

corrprec 11:0511:05, 21 giu 2019‎ Botcrux discussione contributi‎ m 8 774 byte +55‎ Bot: aggiungo template {{Collegamenti esterni}} (ref) annulla

corrprec 18:3518:35, 26 apr 2019‎ Omega Bot discussione contributi‎ m 8 719 byte −18‎ Bot: orfanizzo template:Avvisounicode come da discussione annulla

corrprec 18:4518:45, 25 giu 2017‎ Horcrux discussione contributi‎ m 8 737 byte +4‎ →‎Formule ben formate: fix apice annulla
corrprec 17:1217:12, 25 giu 2017‎ Horcrux discussione contributi‎ m 8 733 byte −26‎ -interwiki annulla

corrprec 11:4011:40, 16 gen 2017‎ 193.203.232.5 discussione‎ 8 759 byte −1‎ Nessun oggetto della modifica annulla Etichetta: Modifica visuale

corrprec 00:5800:58, 12 set 2014‎ Botcrux discussione contributi‎ m 8 760 byte −34‎ Bot, replaced: linguaggio formale (matematica) → linguaggio formale annulla

corrprec 20:1220:12, 21 giu 2014‎ FrescoBot discussione contributi‎ m 8 794 byte −4‎ Bot: niente spazio dopo l'apostrofo e modifiche minori annulla

corrprec 17:1917:19, 15 set 2013‎ Shivanarayana discussione contributi‎ m 8 798 byte +17‎ Annullate le modifiche di 46.182.92.143 (discussione), riportata alla versione precedente di Ary29 annulla
corrprec 17:1717:17, 15 set 2013‎ 46.182.92.143 discussione‎ 8 781 byte −3‎ →‎Definizione annulla Etichetta: Modifica visuale
corrprec 17:1417:14, 15 set 2013‎ 46.182.92.143 discussione‎ 8 784 byte −14‎ la parola "linguaggio" con "logica" è più corretta annulla Etichetta: Modifica visuale

corrprec 12:4812:48, 11 lug 2013‎ Ary29 discussione contributi‎ 8 798 byte +12‎ - s, f annulla

corrprec 01:3701:37, 24 lug 2012‎ GnuBotmarcoo discussione contributi‎ m 8 786 byte −4‎ Bot: Fix tag <math> annulla

corrprec 22:1322:13, 14 apr 2012‎ 82.56.48.61 discussione‎ 8 790 byte −4‎ Nessun oggetto della modifica annulla

corrprec 06:1706:17, 14 nov 2011‎ Eumolpo discussione contributi‎ m 8 794 byte +1‎ ortografia annulla

corrprec 11:4111:41, 27 giu 2010‎ Gregorio Spanovitz discussione contributi‎ m 8 793 byte −6‎ →‎Alfabeto annulla

corrprec 22:0822:08, 25 giu 2010‎ 217.201.139.212 discussione‎ 8 799 byte −3‎ Nessun oggetto della modifica annulla
corrprec 22:0722:07, 25 giu 2010‎ 217.201.139.212 discussione‎ 8 802 byte −23‎ Nessun oggetto della modifica annulla
corrprec 22:0622:06, 25 giu 2010‎ 217.201.139.212 discussione‎ 8 825 byte +4‎ Nessun oggetto della modifica annulla

corrprec 14:5714:57, 14 giu 2010‎ 95.74.52.17 discussione‎ 8 821 byte +12‎ Nessun oggetto della modifica annulla

corrprec 17:3017:30, 4 feb 2010‎ Kaluppollo discussione contributi‎ m 8 809 byte +37‎ Aggiunti i pedici nei predicati unari in cui erano assenti, in base alla definizione. annulla

corrprec 13:0813:08, 12 gen 2010‎ FixBot discussione contributi‎ m 8 772 byte +18‎ Bot: aggiungo template {{Avvisounicode}} (vedi qui) annulla

corrprec 17:5517:55, 7 dic 2009‎ Dr Zimbu discussione contributi‎ m 8 754 byte −4‎ miglioro cat S annulla

corrprec 20:1020:10, 16 apr 2009‎ AushulzBot discussione contributi‎ m 8 758 byte +23‎ Bot: Sistemo sintassi template Portale. Aggiungo: matematica. Tolgo: Matematica. annulla

corrprec 20:1320:13, 11 gen 2009‎ Pokipsy76 discussione contributi‎ 8 735 byte +66‎ →‎Semantica annulla

corrprec 19:1319:13, 30 ott 2008‎ Iakopo discussione contributi‎ m 8 669 byte −104‎ inserimento dei caratteri unicode ∃ e ∀ al posto dei tag math dove possibile annulla

corrprec 23:2723:27, 1 ago 2008‎ FrescoBot discussione contributi‎ m 8 773 byte −1‎ Bot: Correzione tag annulla

corrprec 19:3619:36, 30 giu 2008‎ Toobaz discussione contributi‎ 8 774 byte −2‎ italiano annulla

corrprec 16:0116:01, 7 giu 2008‎ Pokipsy76 discussione contributi‎ m 8 776 byte 0‎ →‎Semantica annulla
corrprec 15:5915:59, 7 giu 2008‎ Pokipsy76 discussione contributi‎ 8 776 byte +41‎ →‎Formule ben formate: specificazione annulla

corrprec 12:1512:15, 22 mar 2008‎ Pokipsy76 discussione contributi‎ 8 735 byte +31‎ +linguaggio formale annulla

corrprec 13:2913:29, 2 gen 2008‎ Pokipsy76 discussione contributi‎ 8 704 byte −35‎ →‎Formule ben formate: quella voce non è un approfondimento annulla

corrprec 10:2210:22, 10 ott 2007‎ 88.57.238.193 discussione‎ 8 739 byte +1‎ →‎Motivazione annulla
corrprec 10:2210:22, 10 ott 2007‎ 88.57.238.193 discussione‎ 8 738 byte 0‎ Nessun oggetto della modifica annulla

Linguaggio del primo ordine: cronologia delle modifiche

16 feb 2024

19 ott 2022

2 mag 2022

18 giu 2021

13 gen 2021

21 giu 2019

26 apr 2019

25 giu 2017

16 gen 2017

12 set 2014

21 giu 2014

15 set 2013

11 lug 2013

24 lug 2012

14 apr 2012

14 nov 2011

27 giu 2010

25 giu 2010

14 giu 2010

4 feb 2010

12 gen 2010

7 dic 2009

16 apr 2009

11 gen 2009

30 ott 2008

1 ago 2008

30 giu 2008

7 giu 2008

22 mar 2008

2 gen 2008

10 ott 2007