« Unification » : historique des versions

16 avril 2024

• actudiff 12:4816 avril 2024 à 12:48‎ Efilguht discuter contributions‎ 45 114 octets 0‎ →‎Description annuler

1 avril 2024

• actudiff 09:121 avril 2024 à 09:12‎ Fschwarzentruber discuter contributions‎ 45 114 octets +174‎ →‎Exemples annuler Balise : Éditeur visuel
• actudiff 09:111 avril 2024 à 09:11‎ Fschwarzentruber discuter contributions‎ 44 940 octets +133‎ →‎Exemples annuler Balise : Éditeur visuel
• actudiff 09:111 avril 2024 à 09:11‎ Fschwarzentruber discuter contributions‎ 44 807 octets +95‎ →‎Exemples : explications moins laconiques annuler Balise : Éditeur visuel

14 mai 2023

• actudiff 11:5814 mai 2023 à 11:58‎ Wpsebastien discuter contributions‎ 44 712 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile Tâche pour novices Suggéré : ajouter des liens

14 juin 2022

• actudiff 21:0514 juin 2022 à 21:05‎ 62.147.131.34 discuter‎ 44 700 octets +8‎ →‎Implémentation avec des graphes annuler Balise : Éditeur visuel
• actudiff 20:3914 juin 2022 à 20:39‎ 62.147.131.34 discuter‎ 44 692 octets +1‎ →‎Solution principale annuler Balise : Éditeur visuel

17 mai 2022

• actudiff 23:4017 mai 2022 à 23:40‎ Ambigraphe discuter contributions‎ m 44 691 octets −24‎ décat annuler

10 novembre 2021

• actudiff 12:3910 novembre 2021 à 12:39‎ Pautard discuter contributions‎ m 44 715 octets 0‎ quasi linéaire annuler

19 juin 2021

• actudiff 14:0919 juin 2021 à 14:09‎ Golmote discuter contributions‎ m 44 715 octets −40‎ Chrone remplacé par deux-points annuler

4 avril 2021

• actudiff 14:374 avril 2021 à 14:37‎ 62.147.145.2 discuter‎ 44 755 octets +4‎ →‎Histoire annuler Balise : Éditeur visuel

3 avril 2021

• actudiff 17:133 avril 2021 à 17:13‎ 62.147.82.1 discuter‎ 44 751 octets +7‎ →‎Exemple de théories E annuler Balise : Éditeur visuel
• actudiff 17:063 avril 2021 à 17:06‎ 62.147.82.1 discuter‎ 44 744 octets 0‎ →‎Éviter des appels inutiles à unifier annuler Balise : Éditeur visuel
• actudiff 16:363 avril 2021 à 16:36‎ 62.147.82.1 discuter‎ 44 744 octets +1‎ →‎Solution principale annuler Balise : Éditeur visuel
• actudiff 16:353 avril 2021 à 16:35‎ 62.147.82.1 discuter‎ 44 743 octets +4‎ →‎Solution principale annuler Balise : Éditeur visuel
• actudiff 16:343 avril 2021 à 16:34‎ 62.147.82.1 discuter‎ 44 739 octets +1‎ →‎Solution principale annuler Balise : Éditeur visuel

2 février 2021

• actudiff 16:132 février 2021 à 16:13‎ CodexBot discuter contributions‎ 44 738 octets −1‎ bot [0.9] 📗 Amélioration bibliographique 10x : wikif, +lieu, ©BnF... annuler

7 décembre 2020

• actudiff 01:467 décembre 2020 à 01:46‎ OrlodrimBot discuter contributions‎ m 44 739 octets −67‎ Remplacement de {{Lien}} par un lien interne, suite à la création de l'article correspondant annuler

21 novembre 2020

• actudiff 08:4021 novembre 2020 à 08:40‎ Vers75 discuter contributions‎ 44 806 octets +43‎ →‎Notes et références annuler

28 avril 2020

• actudiff 18:1828 avril 2020 à 18:18‎ WikiCleanerBot discuter contributions‎ m 44 763 octets +7‎ v2.02 - Correction syntaxique (Argument dupliqué dans un appel de modèle) annuler Balise : WPCleaner

26 avril 2020

• actudiff 17:5126 avril 2020 à 17:51‎ 2a01:cb19:30a:3700:6d79:5e58:e952:440e discuter‎ 44 756 octets −4‎ →‎Liens externes : juste une correction de faute de frappe. annuler Balise : Éditeur visuel

21 avril 2020

• actudiff 09:1521 avril 2020 à 09:15‎ Pasta igniter discuter contributions‎ m 44 760 octets +24‎ →‎Algorithme de Martelli et Montanari : Clarification de la signification de k et m annuler

20 avril 2020

• actudiff 09:3520 avril 2020 à 09:35‎ PIerre.Lescanne discuter contributions‎ 44 736 octets +35‎ Aucun résumé des modifications annuler

19 avril 2020

• actudiff 19:3119 avril 2020 à 19:31‎ 2a01:cb19:30a:3700:e1f8:ce8e:dcea:fc1a discuter‎ 44 701 octets +125‎ →‎Liens externes : ajout d'un lien vers une page implémentant la méthode de Robison en Javascript, avec la génération des graphes correspondants en SVG. annuler Balise : Éditeur visuel

25 janvier 2020

• actudiff 21:1825 janvier 2020 à 21:18‎ JackBot discuter contributions‎ m 44 576 octets −28‎ Formatage, traduction des modèles de liens annuler

2 novembre 2019

• actudiff 22:392 novembre 2019 à 22:39‎ Warp3 discuter contributions‎ m 44 604 octets −5‎ →‎Unification et logique d'ordre supérieur : plus plus annuler

5 mai 2018

• actudiff 15:275 mai 2018 à 15:27‎ Cityunlocker discuter contributions‎ m 44 609 octets +2‎ corrige une erreur de conjugaison annuler Balise : Éditeur visuel
• actudiff 15:255 mai 2018 à 15:25‎ Cityunlocker discuter contributions‎ 44 607 octets +3‎ corrige une formulation incorrecte annuler Balise : Éditeur visuel

18 avril 2018

• actudiff 16:0018 avril 2018 à 16:00‎ SniperMaské discuter contributions‎ m 44 604 octets −2‎ →‎Solution principale : typographie annuler

11 novembre 2017

• actudiff 15:2611 novembre 2017 à 15:26‎ Romanc19s discuter contributions‎ m 44 606 octets −25‎ suppression {{Ébauche|informatique}} annuler

9 novembre 2017

• actudiff 11:569 novembre 2017 à 11:56‎ Fschwarzentruber discuter contributions‎ 44 631 octets 0‎ erreur corrigée annuler

25 octobre 2017

• actudiff 09:4225 octobre 2017 à 09:42‎ KolbertBot discuter contributions‎ m 44 631 octets +2‎ Bot: HTTP→HTTPS (v467) annuler

6 octobre 2017

• actudiff 15:286 octobre 2017 à 15:28‎ Hercule discuter contributions‎ 44 629 octets −7‎ Aucun résumé des modifications annuler

27 septembre 2017

• actudiff 10:3727 septembre 2017 à 10:37‎ Pautard discuter contributions‎ m 44 636 octets −1‎ un ensemble annuler

18 août 2017

• actudiff 18:1818 août 2017 à 18:18‎ Quentin Fortier discuter contributions‎ m 44 637 octets +1‎ faute d'orthographe annuler Balise : Éditeur visuel

18 juillet 2017

• actudiff 14:4818 juillet 2017 à 14:48‎ Indeed discuter contributions‎ m 44 636 octets −5‎ remplacement modèle {{lien}}, article existant sur fr annuler

10 juillet 2017

• actudiff 08:2210 juillet 2017 à 08:22‎ Gzen92 discuter contributions‎ m 44 641 octets −4‎ coquille annuler

8 juillet 2017

• actudiff 20:248 juillet 2017 à 20:24‎ HerculeBot discuter contributions‎ m 44 645 octets +1‎ [Bot] : transformation de liens avec le modèle {{Lien}} en lien interne, suite à la création de l'article correspondant; changements de type cosmétique annuler

22 juin 2017

• actudiff 09:0022 juin 2017 à 09:00‎ 37.110.193.208 discuter‎ 44 644 octets 0‎ Correction d'une coquille : c'est x:=2 qui unifie x+3 et 2+3, pas x:=3 annuler Balise : Éditeur visuel

4 juin 2017

• actudiff 20:264 juin 2017 à 20:26‎ Dhatier discuter contributions‎ m 44 644 octets +1‎ →‎Algorithme de Martelli et Montanari : orthographe annuler

29 mai 2017

• actudiff 16:5429 mai 2017 à 16:54‎ PIerre.Lescanne discuter contributions‎ 44 643 octets +1‎ →‎Course vers l'efficacité annuler
• actudiff 16:5429 mai 2017 à 16:54‎ PIerre.Lescanne discuter contributions‎ 44 642 octets +81‎ →‎Course vers l'efficacité annuler
• actudiff 16:4829 mai 2017 à 16:48‎ PIerre.Lescanne discuter contributions‎ 44 561 octets +119‎ mise en forme annuler Balise : Éditeur visuel : basculé
• actudiff 16:4229 mai 2017 à 16:42‎ PIerre.Lescanne discuter contributions‎ 44 442 octets −555‎ →‎Unification et logique d'ordre supérieur : mise en forme annuler

25 mai 2017

• actudiff 19:0325 mai 2017 à 19:03‎ PIerre.Lescanne discuter contributions‎ 44 997 octets +16‎ →‎Unification et logique d'ordre supérieur annuler
• actudiff 19:0125 mai 2017 à 19:01‎ PIerre.Lescanne discuter contributions‎ 44 981 octets +176‎ →‎Unification modulo théorie annuler
• actudiff 18:5425 mai 2017 à 18:54‎ PIerre.Lescanne discuter contributions‎ 44 805 octets +178‎ plus d'explications annuler
• actudiff 18:3625 mai 2017 à 18:36‎ PIerre.Lescanne discuter contributions‎ 44 627 octets +313‎ il y avait une définition qui supposait qu'on connaissait la solution annuler

20 mai 2017

• actudiff 00:1920 mai 2017 à 00:19‎ Fschwarzentruber discuter contributions‎ 44 314 octets +121‎ →‎Histoire : photo de Robinson annuler Balise : Éditeur visuel

19 mai 2017

• actudiff 16:5219 mai 2017 à 16:52‎ Fschwarzentruber discuter contributions‎ m 44 193 octets 0‎ orthographe annuler Balise : Éditeur visuel