« Logique monadique du second ordre » : 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 16:1914 mai 2024 à 16:19‎ JeanCASPAR discuter contributions‎ m 22 199 octets +5‎ →‎Voir aussi : Mise en page de la liste annuler Balise : Éditeur visuel
actudiff 00:5314 mai 2024 à 00:53‎ RexelaxDeKalouma discuter contributions‎ 22 194 octets +22‎ Fonctionnalité de suggestions de liens : 2 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

actudiff 17:4925 mars 2024 à 17:49‎ Vallaev discuter contributions‎ m 22 172 octets +13‎ remplacer le terme anglais "treewidth" par le terme français "largeur arborescente" annuler

actudiff 09:565 juillet 2023 à 09:56‎ Shayi ngolu discuter contributions‎ 22 159 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

actudiff 14:462 août 2022 à 14:46‎ Mastergreg82 discuter contributions‎ m 22 147 octets +1‎ Aucun résumé des modifications annuler Balise : Éditeur de source 2017
actudiff 14:402 août 2022 à 14:40‎ Mastergreg82 discuter contributions‎ m 22 146 octets +1‎ Aucun résumé des modifications annuler Balise : Éditeur de source 2017

actudiff 16:5125 mai 2022 à 16:51‎ Pasthec discuter contributions‎ m 22 145 octets +4‎ Aucun résumé des modifications annuler

actudiff 07:389 juillet 2021 à 07:38‎ Golmote discuter contributions‎ m 22 141 octets −29‎ Suppression lien interne dans un lien externe annuler

actudiff 09:1018 janvier 2021 à 09:10‎ WikiCleanerBot discuter contributions‎ m 22 170 octets −96‎ v2.04b - Correction syntaxique (Paramètre inconnu - Paramètre inutilisé) annuler Balise : WPCleaner

actudiff 14:1021 août 2020 à 14:10‎ CodexBot discuter contributions‎ 22 266 octets −21‎ bot [0.84] 📗 Amélioration bibliographique 6x : wikif... annuler

actudiff 18:2320 juillet 2020 à 18:23‎ Matpib discuter contributions‎ m 22 287 octets +40‎ + Catégorie:Informatique théorique annuler Balise : HotCats

actudiff 15:1422 mars 2020 à 15:14‎ FDo64 discuter contributions‎ m 22 247 octets −4‎ Maintenance bandeau annuler Balise : AWB

actudiff 15:0021 février 2020 à 15:00‎ Fschwarzentruber discuter contributions‎ 22 251 octets +15‎ →‎Voir aussi annuler Balise : Éditeur visuel

actudiff 11:5412 juin 2019 à 11:54‎ SniperMaské discuter contributions‎ m 22 236 octets −4‎ →‎WS2S : coquille annuler

actudiff 15:5622 mai 2019 à 15:56‎ SniperMaské discuter contributions‎ m 22 240 octets +86‎ voc. + gram. + syntaxe + typographie + wikif. + mise en forme + style annuler

actudiff 20:1323 octobre 2018 à 20:13‎ Gaillac discuter contributions‎ m 22 154 octets +107‎ Correction du modèle article en erreur (transformé en chapitre vu que publié dans un livre) annuler

actudiff 14:4919 septembre 2018 à 14:49‎ Fschwarzentruber discuter contributions‎ 22 047 octets +39‎ →‎Arbres binaires annuler Balise : Éditeur visuel
actudiff 14:2519 septembre 2018 à 14:25‎ Fschwarzentruber discuter contributions‎ 22 008 octets +32‎ →‎Arbres binaires annuler Balise : Éditeur visuel
actudiff 14:1019 septembre 2018 à 14:10‎ Fschwarzentruber discuter contributions‎ 21 976 octets +374‎ →‎Arbres binaires annuler Balise : Éditeur visuel

actudiff 00:5815 septembre 2018 à 00:58‎ Epsilon0 discuter contributions‎ 21 602 octets +58‎ →‎Discussions autour de l'arithmétique de Peano : voir aussi Logique monadique du premier ordre pour trouver des parent à ce dernier article quasi orphelin. Sinon la section vide au dessus "Discussions autour de l'arithmétique de Peano" aura un développement prévu ou est à supprimer ? annuler

actudiff 15:5712 septembre 2018 à 15:57‎ Fschwarzentruber discuter contributions‎ 21 544 octets +1‎ →‎Exemples de formule annuler Balise : Éditeur visuel

actudiff 11:4219 août 2018 à 11:42‎ Texvc2LaTeXBot discuter contributions‎ m 21 543 octets +2‎ Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation) annuler

actudiff 23:395 janvier 2018 à 23:39‎ Flo discuter contributions‎ m 18 702 octets +7‎ →‎Introduction : typo latex annuler

actudiff 17:415 décembre 2017 à 17:41‎ Roll-Morton discuter contributions‎ 18 695 octets +4‎ →‎MSO et graphes : +lien annuler

actudiff 17:3110 novembre 2017 à 17:31‎ 147.99.4.76 discuter‎ 18 691 octets +11‎ Correction de la formule de 3 coloriabilité annuler

actudiff 06:3823 octobre 2017 à 06:38‎ KolbertBot discuter contributions‎ m 18 680 octets +2‎ Bot: HTTP→HTTPS (v467) annuler

actudiff 12:1626 juillet 2017 à 12:16‎ Fschwarzentruber discuter contributions‎ 18 678 octets −124‎ plus simple annuler Balise : Éditeur visuel

actudiff 23:4823 juillet 2017 à 23:48‎ Fschwarzentruber discuter contributions‎ 18 802 octets +126‎ →‎MSO et graphes : plus clair annuler Balise : Éditeur visuel
actudiff 23:4423 juillet 2017 à 23:44‎ Fschwarzentruber discuter contributions‎ m 18 676 octets −3‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
actudiff 11:4723 juillet 2017 à 11:47‎ Lepsyleon discuter contributions‎ m 18 679 octets −15‎ v1.43b - Correction syntaxique (Argument dupliqué dans un appel de modèle) annuler Balise : WPCleaner
actudiff 10:2423 juillet 2017 à 10:24‎ Mwarf discuter contributions‎ m 18 694 octets +341‎ refs complétées annuler

actudiff 21:053 juin 2017 à 21:05‎ 83.201.172.200 discuter‎ 18 353 octets +8‎ →‎MSO et graphes annuler

actudiff 21:526 novembre 2016 à 21:52‎ SniperMaské discuter contributions‎ m 18 345 octets +4‎ gram. + formatage annuler
actudiff 21:496 novembre 2016 à 21:49‎ SniperMaské discuter contributions‎ m 18 341 octets +179‎ gram. + typographie + formatage + wikif. + nettoyage annuler

actudiff 16:5127 septembre 2016 à 16:51‎ Rbert289 discuter contributions‎ 18 162 octets +145‎ Ajout de la compacité de MSO. Il faudra trouver une bonne source ou enlever la section. annuler Balise : Éditeur visuel
actudiff 16:4227 septembre 2016 à 16:42‎ Rbert289 discuter contributions‎ 18 017 octets +110‎ nombre de quantificateurs -> nombre d'alternation entre quantificateurs annuler Balise : Éditeur visuel
actudiff 14:3827 septembre 2016 à 14:38‎ Rbert289 discuter contributions‎ m 17 907 octets +13‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
actudiff 14:3727 septembre 2016 à 14:37‎ Rbert289 discuter contributions‎ 17 894 octets +415‎ nombre de quantificateurs sur les arbres infinis annuler Balise : Éditeur visuel

14 mai 2024

25 mars 2024

5 juillet 2023

2 août 2022

25 mai 2022

9 juillet 2021

18 janvier 2021

21 août 2020

20 juillet 2020

22 mars 2020

21 février 2020

12 juin 2019

22 mai 2019

23 octobre 2018

19 septembre 2018

15 septembre 2018

12 septembre 2018

19 août 2018

12 février 2018

5 janvier 2018

5 décembre 2017

10 novembre 2017

23 octobre 2017

26 juillet 2017

23 juillet 2017

3 juin 2017

6 novembre 2016

27 septembre 2016

26 septembre 2016