« Arithmétique de Presburger » : historique des versions

27 décembre 2023

• actudiff 10:3827 décembre 2023 à 10:38‎ Fschwarzentruber discuter contributions‎ m 6 577 octets +123‎ →‎Algorithmes annuler Balise : Éditeur visuel
• actudiff 08:4127 décembre 2023 à 08:41‎ Idatbg discuter contributions‎ 6 454 octets +27‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

22 mars 2022

• actudiff 19:4522 mars 2022 à 19:45‎ PIerre.Lescanne discuter contributions‎ m 6 427 octets +3‎ →‎Algorithmes annuler

4 août 2020

• actudiff 18:124 août 2020 à 18:12‎ CodexBot discuter contributions‎ m 6 424 octets −26‎ bot [0.84/84] Amélioration bibliographique 1x : wikif... annuler

25 mars 2020

• actudiff 17:1625 mars 2020 à 17:16‎ FrançoisD discuter contributions‎ m 6 450 octets −8‎ →‎Algorithmes annuler

24 mars 2020

• actudiff 17:4624 mars 2020 à 17:46‎ Fschwarzentruber discuter contributions‎ 6 458 octets +400‎ déf de 2EXPTIME et 3EXPTIME + contexte annuler Balise : Éditeur visuel

7 octobre 2019

• actudiff 05:517 octobre 2019 à 05:51‎ 87.122.85.249 discuter‎ 6 058 octets 0‎ →‎Algorithmes : Typo annuler

10 octobre 2018

• actudiff 19:4210 octobre 2018 à 19:42‎ Fschwarzentruber discuter contributions‎ 6 058 octets +340‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 19:3710 octobre 2018 à 19:37‎ Fschwarzentruber discuter contributions‎ 5 718 octets +49‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 19:3510 octobre 2018 à 19:35‎ Fschwarzentruber discuter contributions‎ 5 669 octets +185‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 15:5410 octobre 2018 à 15:54‎ Fschwarzentruber discuter contributions‎ 5 484 octets −93‎ →‎Algorithmes : on supprime la phrase trop vague annuler Balise : Éditeur visuel
• actudiff 15:5310 octobre 2018 à 15:53‎ Fschwarzentruber discuter contributions‎ 5 577 octets +93‎ →‎Algorithmes annuler Balise : Éditeur visuel
• actudiff 15:5010 octobre 2018 à 15:50‎ Fschwarzentruber discuter contributions‎ 5 484 octets +244‎ →‎Algorithmes annuler Balise : Éditeur visuel

24 juin 2017

• actudiff 09:1424 juin 2017 à 09:14‎ 86.205.253.85 discuter‎ 5 240 octets +6‎ →‎Propriétés annuler

17 juin 2017

• actudiff 11:1717 juin 2017 à 11:17‎ Theon discuter contributions‎ 5 234 octets +121‎ →‎Propriétés : ref annuler

8 juin 2017

• actudiff 11:028 juin 2017 à 11:02‎ Jtajt discuter contributions‎ m 5 113 octets +117‎ →‎Algorithmes : Chapitre plutôt qu'Article annuler

17 octobre 2016

• actudiff 14:4917 octobre 2016 à 14:49‎ Fschwarzentruber discuter contributions‎ 4 996 octets +118‎ →‎Algorithmes annuler Balise : Éditeur visuel

20 septembre 2016

• actudiff 02:5420 septembre 2016 à 02:54‎ SniperMaské discuter contributions‎ m 4 878 octets +224‎ →‎Définition : gram. + coquilles + typographie annuler

29 août 2016

• actudiff 11:1929 août 2016 à 11:19‎ Fschwarzentruber discuter contributions‎ 4 654 octets +152‎ →‎Algorithmes annuler Balise : Éditeur visuel
• actudiff 11:1629 août 2016 à 11:16‎ Fschwarzentruber discuter contributions‎ 4 502 octets +693‎ refs annuler Balise : Éditeur visuel

18 août 2016

• actudiff 23:2418 août 2016 à 23:24‎ Fschwarzentruber discuter contributions‎ 3 809 octets +152‎ →‎Algorithmes annuler Balise : Éditeur visuel
• actudiff 23:2218 août 2016 à 23:22‎ Fschwarzentruber discuter contributions‎ 3 657 octets +530‎ →‎Algorithmes annuler Balise : Éditeur visuel
• actudiff 23:1518 août 2016 à 23:15‎ Fschwarzentruber discuter contributions‎ 3 127 octets +96‎ →‎Algorithmes annuler Balise : Éditeur visuel
• actudiff 23:1218 août 2016 à 23:12‎ Fschwarzentruber discuter contributions‎ 3 031 octets −434‎ →‎Définition annuler Balise : Éditeur visuel
• actudiff 23:0518 août 2016 à 23:05‎ Fschwarzentruber discuter contributions‎ 3 465 octets +871‎ →‎Définition annuler Balise : Éditeur visuel
• actudiff 22:2618 août 2016 à 22:26‎ Fschwarzentruber discuter contributions‎ 2 594 octets −50‎ "et éventuellement l'ordre" → formulation pas claire du tout annuler Balise : Éditeur visuel
• actudiff 22:2518 août 2016 à 22:25‎ Fschwarzentruber discuter contributions‎ 2 644 octets +68‎ structure annuler Balise : Éditeur visuel
• actudiff 22:1918 août 2016 à 22:19‎ Fschwarzentruber discuter contributions‎ 2 576 octets +28‎ lien (et... bug dans l'éditeur visuel) annuler Balise : Éditeur visuel
• actudiff 22:1618 août 2016 à 22:16‎ Fschwarzentruber discuter contributions‎ 2 548 octets +100‎ début plus clair (histoire que le lecture qui ne connait pas l'arithmétique de Peano puisse y comprendre quelque chose) annuler Balise : Éditeur visuel

14 août 2016

• actudiff 18:1914 août 2016 à 18:19‎ SniperMaské discuter contributions‎ m 2 448 octets +99‎ wikif. + réf. souhaitée + nettoyage annuler

11 août 2014

• actudiff 10:5411 août 2014 à 10:54‎ PIerre.Lescanne discuter contributions‎ 2 349 octets −9‎ Annulation des modifications 105989688 de 82.226.27.88 (d) Ces locations sont une spécificité du français par rapport à l'anglais, gardons les. annuler

4 août 2014

• actudiff 17:394 août 2014 à 17:39‎ 82.226.27.88 discuter‎ 2 358 octets +9‎ Evitons la multiplication des mots-chevilles annuler

14 août 2013

• actudiff 14:0014 août 2013 à 14:00‎ Jrcourtois discuter contributions‎ m 2 349 octets +32‎ lien vers page homo annuler

8 juin 2013

• actudiff 15:598 juin 2013 à 15:59‎ Polmars discuter contributions‎ m 2 317 octets +3‎ lien interne (suite à renommage) annuler

12 mars 2013

• actudiff 17:5212 mars 2013 à 17:52‎ Addbot discuter contributions‎ m 2 314 octets −205‎ Retrait de 6 liens interlangues, désormais fournis par Wikidata sur la page d:q956059 annuler

6 juin 2012

• actudiff 19:076 juin 2012 à 19:07‎ Anne Bauval discuter contributions‎ m 2 519 octets +52‎ élimination des quantificateurs annuler

26 février 2012

• actudiff 23:5826 février 2012 à 23:58‎ EmausBot discuter contributions‎ m 2 467 octets +29‎ r2.7.2+) (robot Ajoute : de:Presburger-Arithmetik annuler

9 décembre 2011

• actudiff 14:409 décembre 2011 à 14:40‎ ZéroBot discuter contributions‎ m 2 438 octets +33‎ r2.7.1) (robot Ajoute : pt:Aritmética de Presburger annuler

8 octobre 2011

• actudiff 20:368 octobre 2011 à 20:36‎ Yass'junior7 et sa pirogue alias yayayoupi du 78 discuter contributions‎ 2 405 octets +4‎ Aucun résumé des modifications annuler
• actudiff 20:368 octobre 2011 à 20:36‎ Yass'junior7 et sa pirogue alias yayayoupi du 78 discuter contributions‎ 2 401 octets +4‎ Aucun résumé des modifications annuler
• actudiff 20:368 octobre 2011 à 20:36‎ Yass'junior7 et sa pirogue alias yayayoupi du 78 discuter contributions‎ 2 397 octets +4‎ Aucun résumé des modifications annuler

10 août 2010

• actudiff 00:1910 août 2010 à 00:19‎ Rubinbot discuter contributions‎ m 2 393 octets +30‎ robot Ajoute: pl:Arytmetyka Presburgera annuler

16 février 2010

• actudiff 16:2016 février 2010 à 16:20‎ 192.33.202.29 discuter‎ 2 363 octets +1‎ Aucun résumé des modifications annuler

7 mars 2009

• actudiff 15:447 mars 2009 à 15:44‎ Proz discuter contributions‎ 2 362 octets +7‎ cf pdd annuler
• actudiff 14:477 mars 2009 à 14:47‎ Dijkschneier discuter contributions‎ 2 355 octets +29‎ o annuler

13 décembre 2008

• actudiff 10:3813 décembre 2008 à 10:38‎ Utopies discuter contributions‎ 2 326 octets 0‎ Aucun résumé des modifications annuler

12 novembre 2008

• actudiff 22:4712 novembre 2008 à 22:47‎ Cpa discuter contributions‎ m 2 326 octets +3‎ Aucun résumé des modifications annuler

31 mars 2008

• actudiff 13:0031 mars 2008 à 13:00‎ Phe-bot discuter contributions‎ 2 323 octets −22‎ nouveau style de bandeau de portail, voir Wikipédia:Prise de décision/Bandeaux de portail annuler

29 décembre 2007

• actudiff 08:0029 décembre 2007 à 08:00‎ DumZiBoT discuter contributions‎ m 2 345 octets +51‎ robot Ajoute: ru:Арифметика Пресбургера annuler

10 novembre 2007

• actudiff 13:0410 novembre 2007 à 13:04‎ PIerre.Lescanne discuter contributions‎ 2 294 octets −2‎ Annulation des modifications 22699024 de 80.83.52.222 annuler