« Complétion de Knuth-Bendix » : historique des versions

24 août 2023

• actudiff 09:5824 août 2023 à 09:58 Bergerdias discuter contributions 19 820 octets +32 Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

19 août 2023

• actudiff 12:2419 août 2023 à 12:24 Jilucorg discuter contributions m 19 788 octets −266 Wikipédia n'est pas une source pour Wikipédia annuler Balise : Éditeur de source 2017

22 mai 2023

• actudiff 17:1722 mai 2023 à 17:17 WikiCleanerBot discuter contributions m 20 054 octets −68 v2.05b - Simplification de balises - Correction syntaxique (Balise à simplifier - Orthographe et typographie - Paramètre inutilisé) annuler Balise : WPCleaner

21 février 2023

• actudiff 17:5421 février 2023 à 17:54 Jilucorg discuter contributions m 20 122 octets +9 Wikipédia n'est pas une source pour Wikipédia. annuler Balise : Éditeur de source 2017

24 décembre 2021

• actudiff 00:1424 décembre 2021 à 00:14 Asw~frwiki discuter contributions m 20 113 octets −13 duplication annuler

19 juin 2021

• actudiff 13:3819 juin 2021 à 13:38 Golmote discuter contributions m 20 126 octets −15 Chrone remplacé par deux-points annuler

7 novembre 2020

• actudiff 12:477 novembre 2020 à 12:47 WikiCleanerBot discuter contributions m 20 141 octets −7 v2.03b - Correction syntaxique (Séparateur de références) annuler Balise : WPCleaner

30 septembre 2020

• actudiff 14:5030 septembre 2020 à 14:50 Dfeldmann discuter contributions m 20 148 octets +3 →Boucle de complétion annuler Balise : Éditeur visuel
• actudiff 14:4930 septembre 2020 à 14:49 Dfeldmann discuter contributions m 20 145 octets −131 Si vous le dites... Source ? annuler Balise : Annulation
• actudiff 14:4630 septembre 2020 à 14:46 Dfeldmann discuter contributions m 20 276 octets +3 →Boucle de complétion annuler Balises : Révoqué Éditeur visuel
• actudiff 13:5630 septembre 2020 à 13:56 193.50.159.53 discuter 20 273 octets −52 →Exemple où la complétion réussit annuler Balises : Révoqué Éditeur visuel
• actudiff 12:1930 septembre 2020 à 12:19 193.50.159.53 discuter 20 325 octets +2 →Exemple où la complétion réussit annuler Balises : Révoqué Éditeur visuel
• actudiff 12:1830 septembre 2020 à 12:18 193.50.159.53 discuter 20 323 octets +2 →Exemple où la complétion réussit annuler Balises : Révoqué Éditeur visuel
• actudiff 12:1730 septembre 2020 à 12:17 193.50.159.53 discuter 20 321 octets +176 →Exemple où la complétion réussit annuler Balises : Révoqué Éditeur visuel

25 juin 2020

• actudiff 19:0525 juin 2020 à 19:05 Dfeldmann discuter contributions m 20 145 octets +8 →Exemple où la complétion boucle annuler Balise : Éditeur visuel
• actudiff 19:0125 juin 2020 à 19:01 Dfeldmann discuter contributions m 20 137 octets +78 Aucun résumé des modifications annuler Balise : Éditeur visuel

6 février 2020

• actudiff 23:316 février 2020 à 23:31 CodexBot discuter contributions 20 059 octets −83 bot [0.64/64] Amélioration bibliographique 6 : +lieu, (BnF)... annuler

25 janvier 2020

• actudiff 16:5825 janvier 2020 à 16:58 JackBot discuter contributions m 20 142 octets −28 Formatage, traduction des modèles de liens annuler

29 janvier 2019

• actudiff 19:5029 janvier 2019 à 19:50 Dhatier discuter contributions m 20 170 octets 0 →Règles de base : orthographe annuler

1 juin 2018

• actudiff 20:441 juin 2018 à 20:44 PIerre.Lescanne discuter contributions 20 170 octets +16 →Règles d'optimisation annuler
• actudiff 11:561 juin 2018 à 11:56 195.36.154.136 discuter 20 154 octets +1 →Règles d'optimisation : Ajout d'un "r" manquant dans le mot "transformations" annuler Balise : Éditeur visuel

19 mai 2018

• actudiff 08:3219 mai 2018 à 08:32 Featherontheroad discuter contributions m 20 153 octets +1 Aucun résumé des modifications annuler

21 octobre 2017

• actudiff 03:5021 octobre 2017 à 03:50 KolbertBot discuter contributions m 20 152 octets +3 Bot: HTTP→HTTPS (v467) annuler

10 octobre 2017

• actudiff 19:1210 octobre 2017 à 19:12 Fschwarzentruber discuter contributions 20 149 octets −94 →Exemple où la complétion boucle : bandeau en travaux (personnellement, je n'ai pas trop le temps de regarder ça, dsl) annuler Balise : Éditeur visuel
• actudiff 18:0310 octobre 2017 à 18:03 PIerre.Lescanne discuter contributions m 20 243 octets 0 →Règles de base : coquille annuler

8 octobre 2017

• actudiff 16:428 octobre 2017 à 16:42 Fschwarzentruber discuter contributions 20 243 octets +8 →Variantes et implémentations annuler Balise : Éditeur visuel

1 octobre 2017

• actudiff 11:161 octobre 2017 à 11:16 PIerre.Lescanne discuter contributions 20 235 octets −167 erreur de référence annuler

6 août 2017

• actudiff 19:316 août 2017 à 19:31 JackBot discuter contributions m 20 402 octets +6 Formatage, Vérification des liens externes, traduction de leurs modèles annuler

16 mai 2017

• actudiff 22:3016 mai 2017 à 22:30 Fschwarzentruber discuter contributions 20 396 octets +65 Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 22:2816 mai 2017 à 22:28 Fschwarzentruber discuter contributions 20 331 octets +1 Aucun résumé des modifications annuler Balise : Éditeur visuel

27 janvier 2017

• actudiff 11:0127 janvier 2017 à 11:01 Pautard discuter contributions m 20 330 octets −1 le membre annuler

12 octobre 2016

• actudiff 18:2212 octobre 2016 à 18:22 PIerre.Lescanne discuter contributions m 20 331 octets +2 →Procédure de complétion sous forme de règles : accord avec le sujet annuler
• actudiff 18:1912 octobre 2016 à 18:19 PIerre.Lescanne discuter contributions m 20 329 octets +4 lien annuler

11 octobre 2016

• actudiff 09:1411 octobre 2016 à 09:14 212.224.148.35 discuter 20 325 octets −8 Aucun résumé des modifications annuler

26 juillet 2016

• actudiff 10:4126 juillet 2016 à 10:41 Fblanqui discuter contributions m 20 333 octets +1 Fixed typo. annuler Balise : Éditeur visuel

11 juin 2016

• actudiff 00:3211 juin 2016 à 00:32 RobokoBot discuter contributions m 20 332 octets +5 Ajout d’une virgule en exposant entre plusieurs références. annuler

10 juin 2016

• actudiff 16:5210 juin 2016 à 16:52 Fschwarzentruber discuter contributions 20 327 octets +207 →Variantes et implémentations : plus précis annuler Balise : Éditeur visuel
• actudiff 13:0210 juin 2016 à 13:02 Fschwarzentruber discuter contributions 20 120 octets +26 Aucun résumé des modifications annuler Balise : Éditeur visuel

9 juin 2016

• actudiff 16:239 juin 2016 à 16:23 Tomatopix discuter contributions m 20 094 octets +550 →Variantes et implémentations : ajout de l'implémentation walmeister qui est à l'état de l'art dans le domaine annuler Balise : Éditeur visuel

1 juin 2016

• actudiff 18:411 juin 2016 à 18:41 PIerre.Lescanne discuter contributions m 19 544 octets −1 parenthèse annuler
• actudiff 18:401 juin 2016 à 18:40 PIerre.Lescanne discuter contributions 19 545 octets −10 mise en forme annuler
• actudiff 18:391 juin 2016 à 18:39 PIerre.Lescanne discuter contributions m 19 555 octets 0 PIerre.Lescanne a déplacé la page Algorithme de Knuth-Bendix vers Complétion de Knuth-Bendix par-dessus une redirection : Ça n'est pas un algorithme (voir pdd) annuler
• actudiff 11:041 juin 2016 à 11:04 PIerre.Lescanne discuter contributions 19 555 octets +82 →Exemple ː ordre lexicographique sur les chemins : lien annuler
• actudiff 10:581 juin 2016 à 10:58 PIerre.Lescanne discuter contributions 19 473 octets +174 →Exemple ː ordre lexicographique sur les chemins : référence annuler

29 mai 2016

• actudiff 22:4129 mai 2016 à 22:41 PIerre.Lescanne discuter contributions 19 299 octets +124 →Exemple ː ordre lexicographique sur les chemins : référence annuler
• actudiff 22:2529 mai 2016 à 22:25 Fschwarzentruber discuter contributions 19 175 octets +118 Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 22:2029 mai 2016 à 22:20 Fschwarzentruber discuter contributions 19 057 octets +120 →Exemple où la complétion boucle annuler Balise : Éditeur visuel
• actudiff 22:1329 mai 2016 à 22:13 Fschwarzentruber discuter contributions 18 937 octets +176 →Exemple où la complétion boucle : bug éditeur visuel annuler Balise : Éditeur visuel

26 mai 2016

• actudiff 07:0326 mai 2016 à 07:03 Fschwarzentruber discuter contributions 18 761 octets +31 →Exemple ː ordre chemin lexicographique : ordre lexicographique sur les chemins annuler Balise : Éditeur visuel
• actudiff 06:3826 mai 2016 à 06:38 PIerre.Lescanne discuter contributions 18 730 octets +236 note sur identité annuler