« Logique (mathématiques)/Complétude de la logique du premier ordre » : historique des versions

1 août 2017

• actudiff 15:031 août 2017 à 15:03‎ Crochet.david.bot discussion contributions‎ m 27 621 octets +10‎ Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) annuler

28 décembre 2016

• actudiff 14:5628 décembre 2016 à 14:56‎ Crochet.david.bot discussion contributions‎ m 27 611 octets −6‎ Robot : Remplacement de texte automatisé (-(\*)(.*)\n{2,}(\*) +\1\2\n\3) annuler
• actudiff 14:5428 décembre 2016 à 14:54‎ Crochet.david.bot discussion contributions‎ m 27 617 octets −8‎ Robot : Remplacement de texte automatisé (-(\*)(.*)\n{2,}(\*) +\1\2\n\3) annuler

18 mai 2016

• actudiff 16:0318 mai 2016 à 16:03‎ Crochet.david.bot discussion contributions‎ m 27 625 octets +4‎ Robot : Remplacement de texte automatisé (- n'est pas + n’est pas , - Aujourd'hui + Aujourd’hui , - d'euros + d’euros , - d'agir + d’agir , - l'apparence + l’apparence ) annuler

16 mai 2016

• actudiff 16:3216 mai 2016 à 16:32‎ Crochet.david.bot discussion contributions‎ m 27 621 octets +6‎ Robot : Remplacement de texte automatisé (- l'opposition + l’opposition , - d'asile + d’asile , - s'adresser + s’adresser , - l'ensemble + l’ensemble , - d'argent + d’argent , - l'argent + l’argent , - l'augmentation + l’augmentat... annuler
• actudiff 15:0116 mai 2016 à 15:01‎ Crochet.david.bot discussion contributions‎ m 27 615 octets +4‎ Robot : Remplacement de texte automatisé (- d'applications + d’applications , - l'Appstore + l’Appstore , - d'argent + d’argent ) annuler

27 avril 2016

• actudiff 21:0927 avril 2016 à 21:09‎ Crochet.david.bot discussion contributions‎ m 27 611 octets +18‎ Robot : Remplacement de texte automatisé (- d'un + d’un ) annuler

22 avril 2016

• actudiff 21:3722 avril 2016 à 21:37‎ Crochet.david.bot discussion contributions‎ m 27 593 octets +2‎ Robot : Remplacement de texte automatisé (- l'existence + l’existence ) annuler

10 avril 2016

• actudiff 14:4210 avril 2016 à 14:42‎ Crochet.david.bot discussion contributions‎ m 27 591 octets +8‎ Robot : Remplacement de texte automatisé (-d'une +d’une) annuler

5 avril 2016

• actudiff 20:445 avril 2016 à 20:44‎ Crochet.david.bot discussion contributions‎ m 27 583 octets +8‎ Robot : Remplacement de texte automatisé (-qu'il +qu’il) annuler

11 janvier 2015

• actudiff 12:3011 janvier 2015 à 12:30‎ Lydie Noria discussion contributions‎ 27 575 octets −1‎ maintenance annuler

11 novembre 2014

• actudiff 16:1411 novembre 2014 à 16:14‎ Crochet.david.bot discussion contributions‎ m 27 576 octets −1‎ Robot : Remplacement de texte automatisé (-\b([Qq])ue ([AEIOUYaeéèêiouy]) +\1u'\2) annuler

19 septembre 2014

• actudiff 22:4419 septembre 2014 à 22:44‎ JackBot discussion contributions‎ m 27 577 octets −83‎ Autoformatage, retrait de la clé de tri annuler

22 février 2013

• actudiff 09:1222 février 2013 à 09:12‎ Lydie Noria discussion contributions‎ 27 660 octets +74‎ maintenance annuler

23 décembre 2012

• actudiff 17:3823 décembre 2012 à 17:38‎ Crochet.david.bot discussion contributions‎ m 27 586 octets 0‎ Robot : Remplacement de texte automatisé (-\{\{[cC]hapitre(.*)\{\{[Cc]lé de tri\s*\|([^\}]*)\}\}(.*) +{{Chapitre\n | clé = \2\1\3) annuler

7 août 2012

• actudiff 17:527 août 2012 à 17:52‎ Crochet.david.bot discussion contributions‎ m 27 586 octets −55‎ Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1) annuler

16 mars 2012

• actudiff 04:0816 mars 2012 à 04:08‎ Lydie Noria discussion contributions‎ 27 641 octets +28‎ Modification modèles annuler

4 mars 2012

• actudiff 17:294 mars 2012 à 17:29‎ JackBot discussion contributions‎ m 27 613 octets +80‎ Autoformatage annuler

17 septembre 2011

• actudiff 13:0817 septembre 2011 à 13:08‎ JackBot discussion contributions‎ m 27 533 octets −41‎ Retrait des catégories en double annuler

12 août 2011

• actudiff 17:1512 août 2011 à 17:15‎ Crochet.david.bot discussion contributions‎ m 27 574 octets +1‎ Robot : Remplacement de texte automatisé (-\n\s*\|\s*numero +\n | numéro) annuler

28 avril 2011

• actudiff 12:0428 avril 2011 à 12:04‎ Crochet.david.bot discussion contributions‎ m 27 573 octets −42‎ Robot : Remplacement de texte automatisé (-\s*\|\s*leçon\s*=\s*\[\[\.\.\/\]\] +) annuler

14 avril 2010

• actudiff 10:2314 avril 2010 à 10:23‎ Crochet.david.bot discussion contributions‎ m 27 615 octets +2‎ Robot : Remplacement de texte automatisé (-(\n)A +\1À ) annuler

12 avril 2010

• actudiff 15:0612 avril 2010 à 15:06‎ Crochet.david.bot discussion contributions‎ m 27 613 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *numero *= *(..?) + | numero = \1) annuler
• actudiff 07:4212 avril 2010 à 07:42‎ Crochet.david.bot discussion contributions‎ m 27 605 octets +1‎ Robot : Remplacement de texte automatisé (-\]\]\}\} +]]\n}}) annuler

23 mars 2010

• actudiff 21:0723 mars 2010 à 21:07‎ Crochet.david.bot discussion contributions‎ m 27 604 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *niveau *= * + | niveau = ) annuler

21 mars 2010

• actudiff 18:5021 mars 2010 à 18:50‎ Crochet.david.bot discussion contributions‎ m 27 596 octets +20‎ Robot : Remplacement de texte automatisé (-(.)\|contenu= +\1\n | contenu =) annuler

7 mars 2010

• actudiff 20:167 mars 2010 à 20:16‎ Crochet.david.bot discussion contributions‎ m 27 576 octets +24‎ Robot : Remplacement de texte automatisé (-\{\{[Dd]éfinition\n?\s*\|\s*titre\s*=\s*([^\|]*)\s?\|\s?contenu\s*=\s* +{{Définition\n | titre = \1\n | contenu =\n) annuler

6 mars 2010

• actudiff 13:416 mars 2010 à 13:41‎ Crochet.david.bot discussion contributions‎ m 27 552 octets +12‎ Robot : Remplacement de texte automatisé (-\{\{[tT]héorème\| +{{Théorème\n | ) annuler
• actudiff 11:346 mars 2010 à 11:34‎ Crochet.david.bot discussion contributions‎ m 27 540 octets −25‎ Robot : Remplacement de texte automatisé (- *\|\s?titre_leçon\s?=\s?(.*)\n +) annuler
• actudiff 08:436 mars 2010 à 08:43‎ Crochet.david.bot discussion contributions‎ m 27 565 octets +10‎ Robot : Remplacement de texte automatisé (- *\|\s?idfaculté\s?=\s?(.*) + | idfaculté = \1) annuler

25 février 2010

• actudiff 18:1325 février 2010 à 18:13‎ Crochet.david.bot discussion contributions‎ m 27 555 octets −6‎ Robot : Remplacement de texte automatisé (-\|\s?leçon\s?=?\[\[([^\]])*\]\] + | leçon = ../) annuler

4 août 2009

• actudiff 17:524 août 2009 à 17:52‎ Xzapro4 discussion contributions‎ m 27 561 octets −169‎ Update navchap, recat annuler
• actudiff 17:444 août 2009 à 17:44‎ Xzapro4 discussion contributions‎ m 27 730 octets 0‎ a renommé Fondements des mathématiques/La logique/Complétude de la logique du premier ordre en Logique (mathématiques)/Complétude de la logique du premier ordre : Cours à part entier annuler

20 juillet 2009

• actudiff 11:2720 juillet 2009 à 11:27‎ Crochet.david.bot discussion contributions‎ m 27 730 octets +6‎ Robot : Remplacement de texte automatisé (-\{\{[Ee]xemple\|contenu\= +{{Exemple\n | contenu =\n) annuler

27 décembre 2008

• actudiff 11:0427 décembre 2008 à 11:04‎ Crochet.david.bot discussion contributions‎ m 27 724 octets −4‎ Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…) annuler

7 mars 2008

• actudiff 20:147 mars 2008 à 20:14‎ Crochet.david.bot discussion contributions‎ m 27 728 octets 0‎ Bot : Remplacement de texte automatisé (-... +…) annuler

20 janvier 2008

• actudiff 12:2320 janvier 2008 à 12:23‎ Crochet.david.bot discussion contributions‎ m 27 728 octets +6‎ Bot : Remplacement de texte automatisé (-<references/> +<references />); changement de type cosmétique annuler

4 octobre 2007

• actudiff 19:254 octobre 2007 à 19:25‎ Sharayanan discussion contributions‎ m 27 722 octets +25‎ titre_leçon annuler
• actudiff 17:014 octobre 2007 à 17:01‎ Crochet.david discussion contributions‎ 27 697 octets +9‎ catégorisation annuler

23 août 2007

• actudiff 15:0323 août 2007 à 15:03‎ Xzapro4 discussion contributions‎ m 27 688 octets +187‎ Bas de Page annuler

13 août 2007

• actudiff 21:0513 août 2007 à 21:05‎ Sharayanan discussion contributions‎ 27 501 octets +1 475‎ tentative de nettoyage... trop dur ! annuler

10 août 2007

• actudiff 15:2510 août 2007 à 15:25‎ Crochet.david.bot discussion contributions‎ m 26 026 octets +1‎ Bot : Remplacement de texte automatisé (-\. A +. À ) annuler
• actudiff 10:0810 août 2007 à 10:08‎ Crochet.david.bot discussion contributions‎ m 26 025 octets +2‎ Bot : Remplacement de texte automatisé (-\b(o|O)c(c?)ur(r?)(a|e)n(c|s|ss)e(s?)\b +\1ccurrence\6) annuler
• actudiff 09:4010 août 2007 à 09:40‎ Crochet.david.bot discussion contributions‎ m 26 023 octets +1‎ Bot : Remplacement de texte automatisé (-\b(ad|Ad|com|Com|compro|Compro|dé|Dé|é|É|entre|Entre|o|O|per|Per|pro|Pro|réad|Réad|re|Re|retrans|Retrans|sou|Sou|trans|Trans)?me(tant|tre|trait|traient|te(s?)|tent|tiez|tions|tra(s?)|trai(s?)|tront)\b annuler

9 août 2007

• actudiff 16:359 août 2007 à 16:35‎ Crochet.david.bot discussion contributions‎ m 26 022 octets 0‎ Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire) annuler
• actudiff 15:039 août 2007 à 15:03‎ Crochet.david discussion contributions‎ 26 022 octets −2‎ Annulation des modifications 77576 de Crochet.david.bot annuler
• actudiff 14:539 août 2007 à 14:53‎ Crochet.david.bot discussion contributions‎ m 26 024 octets +2‎ Bot : Remplacement de texte automatisé (-\b([dD]['’])aucun(e?)\b +\1aucun\2s) annuler

5 août 2007

• actudiff 13:545 août 2007 à 13:54‎ Crochet.david discussion contributions‎ m 26 022 octets 0‎ Bot : Remplacement de texte automatisé (-noeud +nœud) annuler

7 juillet 2007

• actudiff 16:387 juillet 2007 à 16:38‎ Crochet.david discussion contributions‎ 26 022 octets +267‎ créa annuler

14 avril 2007

• actudiff 20:1814 avril 2007 à 20:18‎ Julien1311 discussion contributions‎ m 25 755 octets −8‎ cat annuler