« Théorie de la démonstration » : historique des versions

5 mai 2020

• actudiff 19:195 mai 2020 à 19:19‎ Bot de pluie discuter contributions‎ m 5 155 octets +20‎ Mise en forme des dates avec insertion d'espaces insécables. annuler Balise : AWB

21 novembre 2018

• actudiff 21:0621 novembre 2018 à 21:06‎ Anne Bauval discuter contributions‎ m 5 135 octets −10‎ Annulation du POV récurrent de 109.210.84.166 (d) annuler Balise : Annulation
• actudiff 21:0021 novembre 2018 à 21:00‎ 109.210.84.166 discuter‎ 5 145 octets +10‎ Aucun résumé des modifications annuler

27 avril 2018

• actudiff 00:2727 avril 2018 à 00:27‎ Philogik discuter contributions‎ 5 135 octets +66‎ →‎Bibliographie : Ajout section Voir aussi annuler

9 avril 2018

• actudiff 14:559 avril 2018 à 14:55‎ Roll-Morton discuter contributions‎ 5 069 octets +30‎ +lien annuler

25 octobre 2017

• actudiff 06:2625 octobre 2017 à 06:26‎ KolbertBot discuter contributions‎ m 5 039 octets +1‎ Bot: HTTP→HTTPS (v467) annuler

27 juillet 2017

• actudiff 15:2627 juillet 2017 à 15:26‎ PIerre.Lescanne discuter contributions‎ 5 038 octets −19‎ La linguistique ne fait pas partie d ela théorie de la démonstration annuler
• actudiff 15:2427 juillet 2017 à 15:24‎ PIerre.Lescanne discuter contributions‎ 5 057 octets −24‎ La théori des jeux ne fait pas partie de la théorie de la démosntration annuler

16 mars 2017

• actudiff 16:4216 mars 2017 à 16:42‎ PIerre.Lescanne discuter contributions‎ m 5 081 octets +8‎ Aucun résumé des modifications annuler

21 janvier 2017

• actudiff 18:5421 janvier 2017 à 18:54‎ WikiCleanerBot discuter contributions‎ m 5 073 octets +4‎ v1.41 - Lien magique ISBN obsolète - Catégorie:Pages utilisant des liens magiques ISBN annuler Balise : WPCleaner

21 mai 2016

• actudiff 16:1421 mai 2016 à 16:14‎ SniperMaské discuter contributions‎ m 5 069 octets +1‎ syntaxe annuler
• actudiff 15:5421 mai 2016 à 15:54‎ SniperMaské discuter contributions‎ m 5 068 octets +13‎ typographie + formatage + wikif. + syntaxe wiki standardisée annuler

12 mai 2016

• actudiff 23:5212 mai 2016 à 23:52‎ NeoBot discuter contributions‎ 5 055 octets +10‎ Bot : Harmonisation des paramètres du bandeau Ébauche annuler

7 mars 2015

• actudiff 18:317 mars 2015 à 18:31‎ ZetudBot discuter contributions‎ m 5 045 octets −2‎ →‎Bibliographie : Typo. (- espace avant virgule), remplacement: » , la → », la (2) annuler

24 septembre 2013

• actudiff 09:0624 septembre 2013 à 09:06‎ WikiCleanerBot discuter contributions‎ m 5 047 octets +44‎ WPCleaner v1.29b - Bistrot 18/09 - Correction syntaxique - DEFAULTSORT nécessaire manquant annuler

5 mai 2013

• actudiff 21:015 mai 2013 à 21:01‎ HerculeBot discuter contributions‎ m 5 003 octets −22‎ Bot : transformation de liens avec {{Lien}} en lien interne, suite a la creation de l'article correspondant; changements de type cosmétique annuler
• actudiff 00:355 mai 2013 à 00:35‎ Epsilon0 discuter contributions‎ 5 025 octets +33‎ lien. Bon cela pointe sur Calcul des séquents qui a une section ''Théorème d'élimination des coupures'' mais le mieux serait de pointer sur en:Cut-elimination theorem. Laissons à dvper de toute manière. annuler
• actudiff 00:005 mai 2013 à 00:00‎ Epsilon0 discuter contributions‎ m 4 992 octets +2‎ →‎Bibliographie annuler

4 mai 2013

• actudiff 23:514 mai 2013 à 23:51‎ Epsilon0 discuter contributions‎ 4 990 octets +151‎ →‎Bibliographie : +1. annuler

13 mars 2013

• actudiff 17:5313 mars 2013 à 17:53‎ Addbot discuter contributions‎ m 4 839 octets −467‎ Retrait de 17 liens interlangues, désormais fournis par Wikidata sur la page d:q852732 annuler

20 décembre 2012

• actudiff 01:3120 décembre 2012 à 01:31‎ ZéroBot discuter contributions‎ m 5 306 octets +33‎ r2.7.1) (robot Ajoute : ca:Teoria de la demostració annuler

26 août 2012

• actudiff 12:5726 août 2012 à 12:57‎ EmausBot discuter contributions‎ m 5 273 octets 0‎ r2.7.2+) (robot Modifie : pt:Teoria da prova annuler

11 juillet 2012

• actudiff 16:2711 juillet 2012 à 16:27‎ ZéroBot discuter contributions‎ m 5 273 octets +34‎ r2.7.1) (robot Ajoute : it:Teoria della dimostrazione annuler

26 juin 2012

• actudiff 15:3026 juin 2012 à 15:30‎ STyx discuter contributions‎ 5 239 octets −15‎ non! Gödel a résolu le problème de la cohérence des mathématiques annuler

8 mars 2012

• actudiff 19:108 mars 2012 à 19:10‎ Ptbotgourou discuter contributions‎ m 5 254 octets +1‎ r2.6.5) (robot Modifie : ko:증명 이론 annuler

7 février 2012

• actudiff 12:197 février 2012 à 12:19‎ GLec discuter contributions‎ 5 253 octets −1‎ →‎Bibliographie : Wikif. annuler

11 janvier 2012

• actudiff 22:5711 janvier 2012 à 22:57‎ Rezabot discuter contributions‎ m 5 254 octets +18‎ r2.7.1) (robot Ajoute : sv:Bevisteori annuler

2 janvier 2012

• actudiff 00:392 janvier 2012 à 00:39‎ JeSuisKatanga discuter contributions‎ m 5 236 octets +21‎ →‎Bibliographie annuler

8 décembre 2011

• actudiff 04:398 décembre 2011 à 04:39‎ Luckas-bot discuter contributions‎ m 5 215 octets +23‎ r2.7.1) (robot Ajoute : pt:Teoria da Prova annuler

4 novembre 2011

• actudiff 10:054 novembre 2011 à 10:05‎ Elopash discuter contributions‎ m 5 192 octets 0‎ Aucun résumé des modifications annuler

9 octobre 2011

• actudiff 23:039 octobre 2011 à 23:03‎ Epsilon0 discuter contributions‎ m 5 192 octets +177‎ →‎Bibliographie : Lien google Books annuler
• actudiff 22:589 octobre 2011 à 22:58‎ Epsilon0 discuter contributions‎ m 5 015 octets +205‎ →‎Bibliographie : + A. S. Troelstra, copier-coller de en:Proof theory annuler
• actudiff 22:539 octobre 2011 à 22:53‎ Epsilon0 discuter contributions‎ m 4 810 octets +1 214‎ →‎Bibliographie : + Jean-Yves Girard, copier-coller de l'article éponyme. annuler
• actudiff 22:499 octobre 2011 à 22:49‎ Epsilon0 discuter contributions‎ m 3 596 octets +63‎ →‎Bibliographie : Lien vers table des matières + 1 article téléchargeable (visiblement 2 fois le même malgré les 2 liens) annuler

28 décembre 2010

• actudiff 00:0528 décembre 2010 à 00:05‎ MicroCitron discuter contributions‎ 3 533 octets −3‎ Aucun résumé des modifications annuler

23 août 2010

• actudiff 22:5023 août 2010 à 22:50‎ Anne Bauval discuter contributions‎ m 3 536 octets +2‎ Aucun résumé des modifications annuler

8 novembre 2009

• actudiff 14:298 novembre 2009 à 14:29‎ Salebot discuter contributions‎ 3 534 octets +3 534‎ bot : révocation de 86.71.161.37 (modification suspecte : -48), retour à la version 45531024 de Epsilon0 annuler
• actudiff 14:298 novembre 2009 à 14:29‎ 86.71.161.37 discuter‎ vide −3 534‎ Résumé automatique : blanchiment. annuler
• actudiff 14:298 novembre 2009 à 14:29‎ 86.71.161.37 discuter‎ 3 534 octets 0‎ Aucun résumé des modifications annuler

7 octobre 2009

• actudiff 16:077 octobre 2009 à 16:07‎ Epsilon0 discuter contributions‎ 3 534 octets +48‎ →‎Bibliographie : * annuler

13 mars 2009

• actudiff 09:0113 mars 2009 à 09:01‎ Outs discuter contributions‎ 3 486 octets −112‎ correction liens rouges annuler

24 septembre 2008

• actudiff 00:0724 septembre 2008 à 00:07‎ Alexbot discuter contributions‎ m 3 598 octets +21‎ robot Ajoute: nl:Bewijstheorie annuler

16 juin 2008

• actudiff 10:2216 juin 2008 à 10:22‎ Thijs!bot discuter contributions‎ m 3 577 octets +17‎ robot Ajoute: ja:証明論 annuler

5 juin 2008

• actudiff 05:395 juin 2008 à 05:39‎ DumZiBoT discuter contributions‎ m 3 560 octets +47‎ robot Ajoute: ru:Теория доказательств annuler

2 avril 2008

• actudiff 13:162 avril 2008 à 13:16‎ Phe-bot discuter contributions‎ 3 513 octets −31‎ nouveau style de bandeau de portail, voir Wikipédia:Prise de décision/Bandeaux de portail annuler

13 février 2008

• actudiff 01:5913 février 2008 à 01:59‎ DumZiBoT discuter contributions‎ m 3 544 octets 0‎ Robot : Passage au modèle {{ébauche}} : {{ébauche|math}} annuler

20 janvier 2008

• actudiff 23:5620 janvier 2008 à 23:56‎ Dreoven discuter contributions‎ m 3 544 octets −8‎ divers annuler

29 décembre 2007

• actudiff 13:3929 décembre 2007 à 13:39‎ PIerre.Lescanne discuter contributions‎ 3 552 octets +94‎ Aucun résumé des modifications annuler
• actudiff 09:4029 décembre 2007 à 09:40‎ PIerre.Lescanne discuter contributions‎ 3 458 octets +30‎ Aucun résumé des modifications annuler
• actudiff 09:3729 décembre 2007 à 09:37‎ PIerre.Lescanne discuter contributions‎ 3 428 octets +80‎ de l'anglais annuler