« Démonstration automatique de théorèmes » : historique des versions

Filtrer les versionsaffichermasquer

Jusqu’au :

Filtrer les balises :

Inverser la sélection

Outils externes et statistiques

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Légende : (actu) = différence avec la version actuelle - (diff) = différence avec la version précédente - m = modification mineure

actudiff 00:058 novembre 2023 à 00:05‎ Dadrik discuter contributions‎ 4 393 octets +29‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile Modification sur mobile avancée Tâche pour novices Suggéré : ajouter des liens

actudiff 12:4012 février 2021 à 12:40‎ Shyndear discuter contributions‎ m 4 364 octets +10‎ ajout du modèle langue annuler

actudiff 17:0429 juin 2020 à 17:04‎ Vargenau discuter contributions‎ m 4 354 octets +4‎ Typographie annuler

actudiff 21:426 décembre 2019 à 21:42‎ Bot de pluie discuter contributions‎ m 4 350 octets +10‎ Mise en forme des dates avec insertion d'espaces insécables. annuler Balise : AWB

actudiff 08:537 novembre 2019 à 08:53‎ Epok discuter contributions‎ 4 340 octets 0‎ Correction des paramètres du modèle. annuler

actudiff 16:2213 octobre 2019 à 16:22‎ PIerre.Lescanne discuter contributions‎ 4 340 octets +5‎ →‎Usage industriel : tautologie annuler
actudiff 16:1913 octobre 2019 à 16:19‎ PIerre.Lescanne discuter contributions‎ 4 335 octets +211‎ →‎Application en mathématiques : réponse à « comment ? » annuler

actudiff 03:3228 septembre 2019 à 03:32‎ Vega discuter contributions‎ m 4 124 octets −13‎ →‎Application en mathématiques : Article EQP créé. Demande de précision =) annuler

actudiff 10:1826 septembre 2019 à 10:18‎ PIerre.Lescanne discuter contributions‎ 4 137 octets +190‎ →‎Application en mathématiques : réponse à "Lequel ?" annuler
actudiff 04:3826 septembre 2019 à 04:38‎ Mi Ga discuter contributions‎ 3 947 octets +36‎ Ajout annuler

actudiff 20:0013 mars 2019 à 20:00‎ Dfeldmann discuter contributions‎ m 3 911 octets +10‎ →‎Application en mathématiques annuler Balise : Éditeur visuel

actudiff 17:1327 septembre 2018 à 17:13‎ Vega discuter contributions‎ m 3 901 octets +10‎ →‎Usage industriel : refnec annuler

actudiff 15:5029 juillet 2018 à 15:50‎ Jaipasdepseudo discuter contributions‎ m 3 891 octets +27‎ v1.43 - Homonymies : Correction de 1 lien - Démonstration annuler Balise : WPCleaner

actudiff 00:1513 avril 2018 à 00:15‎ Nicobzz discuter contributions‎ 3 864 octets 0‎ →‎Problèmes liés : petite erreur d'orthographe je suppose annuler

actudiff 14:519 avril 2018 à 14:51‎ Roll-Morton discuter contributions‎ 3 864 octets +178‎ →‎Problèmes liés annuler

actudiff 19:5619 décembre 2017 à 19:56‎ Fschwarzentruber discuter contributions‎ m 3 686 octets +1‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

actudiff 23:582 août 2017 à 23:58‎ Epsilon0 discuter contributions‎ 3 685 octets +110‎ →‎Techniques populaires : + lien vers Assistant de preuve et Coq (logiciel). Les liens internes et externes (<--masqués !) sont à organiser. annuler

actudiff 10:1530 avril 2017 à 10:15‎ PIerre.Lescanne discuter contributions‎ 3 575 octets +112‎ restructuration annuler
actudiff 10:1230 avril 2017 à 10:12‎ PIerre.Lescanne discuter contributions‎ 3 463 octets +47‎ →‎Problèmes liés : mie en forme annuler

actudiff 20:0929 avril 2017 à 20:09‎ PIerre.Lescanne discuter contributions‎ 3 416 octets −399‎ →‎Problèmes liés : mise en forme annuler

actudiff 20:274 août 2016 à 20:27‎ Else If Then discuter contributions‎ 3 815 octets −8‎ Liens ajoutés annuler Balises : Modification par mobile Modification par application mobile

actudiff 20:3329 décembre 2014 à 20:33‎ OrlodrimBot discuter contributions‎ m 3 823 octets −1‎ Retrait du point après {{Traduction/Référence}}, désormais intégré au modèle annuler

actudiff 22:469 avril 2014 à 22:46‎ SniperMaské discuter contributions‎ m 3 824 octets +76‎ gram. + typographie + wikif. (REM. : d. c. mais p.-ê. pas art.) annuler

actudiff 12:536 novembre 2013 à 12:53‎ 194.119.85.99 discuter‎ 3 748 octets +2‎ Correction d'une faute d'accord annuler Balise : Éditeur visuel

actudiff 15:147 octobre 2013 à 15:14‎ 132.169.9.173 discuter‎ 3 746 octets −23‎ →‎Problèmes liés : Remaniement de phrase annuler Balise : Éditeur visuel

actudiff 22:2713 juillet 2013 à 22:27‎ Anne Bauval discuter contributions‎ m 3 769 octets +29‎ mep, +Aide:COPYRIGHT, –lien redondant annuler
actudiff 22:1313 juillet 2013 à 22:13‎ Slippingspy discuter contributions‎ 3 740 octets +58‎ Aucun résumé des modifications annuler

actudiff 18:3512 mars 2013 à 18:35‎ Addbot discuter contributions‎ m 3 682 octets −462‎ Retrait de 10 liens interlangues, désormais fournis par Wikidata sur la page d:q431667 annuler

actudiff 14:443 novembre 2012 à 14:44‎ Synthebot discuter contributions‎ m 4 144 octets +91‎ r2.6.4) (robot Ajoute : ru:Автоматическое доказательство, zh:定理机器证明 annuler
actudiff 12:573 novembre 2012 à 12:57‎ Synthebot discuter contributions‎ m 4 053 octets −126‎ r2.6.4) (robot Retire : de:Computerbeweis, ru:Автоматическое доказательство теорем, zh:自動定理證明 annuler

actudiff 10:2024 mai 2012 à 10:20‎ Coyote du 57 discuter contributions‎ m 4 179 octets +43‎ WPCleaner v1.13 - Catégorie sans majuscule - DEFAULTSORT nécessaire manquant - Lien interne avec cible identique au texte (Correction syntaxique) annuler

actudiff 07:5521 mai 2012 à 07:55‎ MerlIwBot discuter contributions‎ m 4 136 octets +40‎ robot Ajoute : fa:اثبات قضیه خودکار annuler

actudiff 22:091 avril 2012 à 22:09‎ Nicobzz discuter contributions‎ 4 096 octets −33‎ →‎Techniques populaires annuler
actudiff 22:061 avril 2012 à 22:06‎ Nicobzz discuter contributions‎ 4 129 octets +438‎ Aucun résumé des modifications annuler

actudiff 17:4417 février 2012 à 17:44‎ PIerre.Lescanne discuter contributions‎ 3 691 octets −342‎ →‎Problèmes liés : Le théorème des quatre couleurs ne relève pas de la démonstratio automatique de théorème. annuler
actudiff 17:4217 février 2012 à 17:42‎ PIerre.Lescanne discuter contributions‎ 4 033 octets −628‎ →‎Problèmes liés : Ce paragraphe est beaucoup trop obscur annuler

actudiff 17:4213 février 2012 à 17:42‎ Nicobzz discuter contributions‎ 4 661 octets +1‎ →‎Problèmes liés annuler
actudiff 00:3513 février 2012 à 00:35‎ Nicobzz discuter contributions‎ 4 660 octets 0‎ →‎L'usage industriel annuler

actudiff 17:2431 août 2010 à 17:24‎ Ji-Elle discuter contributions‎ 1 645 octets +48‎ →‎Voir aussi annuler

actudiff 16:227 octobre 2009 à 16:22‎ Epsilon0 discuter contributions‎ 1 597 octets +45‎ Aucun résumé des modifications annuler

actudiff 15:3317 mars 2009 à 15:33‎ Outs discuter contributions‎ 1 552 octets +457‎ Aucun résumé des modifications annuler

actudiff 13:3219 février 2009 à 13:32‎ Outs discuter contributions‎ 1 095 octets +846‎ Aucun résumé des modifications annuler

actudiff 22:548 février 2008 à 22:54‎ DumZiBoT discuter contributions‎ m 249 octets −26‎ Robot : Passage au modèle {{ébauche}} : {{ébauche|mathématiques|logique|informatique}} annuler

actudiff 00:0928 décembre 2007 à 00:09‎ PIerre.Lescanne discuter contributions‎ 275 octets +43‎ Aucun résumé des modifications annuler

8 novembre 2023

12 février 2021

29 juin 2020

6 décembre 2019

7 novembre 2019

13 octobre 2019

28 septembre 2019

26 septembre 2019

13 mars 2019

27 septembre 2018

29 juillet 2018

13 avril 2018

9 avril 2018

19 décembre 2017

2 août 2017

30 avril 2017

29 avril 2017

4 août 2016

29 décembre 2014

9 avril 2014

6 novembre 2013

7 octobre 2013

13 juillet 2013

12 mars 2013

3 novembre 2012

24 mai 2012

21 mai 2012

1 avril 2012

17 février 2012

13 février 2012

12 février 2012

31 août 2010

7 octobre 2009

17 mars 2009

19 février 2009

8 février 2008

28 décembre 2007