« Sémantique axiomatique » : historique des versions

22 février 2024

• actudiff 18:4722 février 2024 à 18:47‎ Jean Gorbin discuter contributions‎ 4 619 octets +8‎ Fonctionnalité de suggestions de liens : 2 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

27 juillet 2022

• actudiff 10:2327 juillet 2022 à 10:23‎ Epok discuter contributions‎ m 4 611 octets −14‎ Correction erreur de Lint : balise tt redondante avec la balise pre introduire automatiquement par l'indentation. annuler

10 mai 2019

• actudiff 14:0510 mai 2019 à 14:05‎ Guiguidu60 discuter contributions‎ m 4 625 octets +62‎ Ajout de la palette "informatique théorique" et ré-organisation de l'annexe annuler Balise : Éditeur visuel

5 janvier 2016

• actudiff 11:295 janvier 2016 à 11:29‎ Ethaniel discuter contributions‎ m 4 563 octets +65‎ wikification annuler

7 décembre 2015

• actudiff 15:277 décembre 2015 à 15:27‎ PIerre.Lescanne discuter contributions‎ 4 498 octets +27‎ →‎Voir aussi annuler

9 février 2014

• actudiff 22:349 février 2014 à 22:34‎ SniperMaské discuter contributions‎ m 4 471 octets +3‎ →‎Preuves : wikif. (REM. : d. c. surt. de n./concept) annuler

24 septembre 2013

• actudiff 02:1824 septembre 2013 à 02:18‎ WikiCleanerBot discuter contributions‎ m 4 468 octets +39‎ WPCleaner v1.29b - Bistrot 18/09 - Correction syntaxique - DEFAULTSORT nécessaire manquant annuler

12 mars 2013

• actudiff 17:4912 mars 2013 à 17:49‎ Addbot discuter contributions‎ m 4 429 octets −276‎ Retrait de 8 liens interlangues, désormais fournis par Wikidata sur la page d:q792533 annuler

3 janvier 2013

• actudiff 19:273 janvier 2013 à 19:27‎ HRoestBot discuter contributions‎ m 4 705 octets +30‎ r2.6.5) (robot Ajoute : es:Semántica axiomática annuler

25 octobre 2010

• actudiff 21:4025 octobre 2010 à 21:40‎ Ripchip Bot discuter contributions‎ m 4 675 octets +51‎ robot Ajoute: uk:Аксіоматична семантика annuler

6 septembre 2010

• actudiff 13:586 septembre 2010 à 13:58‎ Luckas-bot discuter contributions‎ m 4 624 octets +53‎ robot Ajoute: el:Αξιωματική σημασιολογία annuler

1 septembre 2010

• actudiff 18:221 septembre 2010 à 18:22‎ PierreSelim discuter contributions‎ m 4 571 octets +24‎ Ajout rapide de {{portail}} : + Informatique théorique ; avec BandeauxPortails annuler

21 mai 2009

• actudiff 15:0021 mai 2009 à 15:00‎ Romainhk discuter contributions‎ 4 547 octets +54‎ portail annuler

8 novembre 2008

• actudiff 13:308 novembre 2008 à 13:30‎ HB discuter contributions‎ 4 493 octets +34‎ →‎Preuves : modif lien annuler

8 février 2008

• actudiff 13:288 février 2008 à 13:28‎ DumZiBoT discuter contributions‎ m 4 459 octets 0‎ Robot : Passage au modèle {{ébauche}} : {{ébauche|informatique}} annuler

6 février 2007

• actudiff 10:376 février 2007 à 10:37‎ Thijs!bot discuter contributions‎ m 4 459 octets +29‎ robot Ajoute: hr:Aksiomatska semantika annuler

5 février 2007

• actudiff 15:315 février 2007 à 15:31‎ Outs discuter contributions‎ 4 430 octets +33‎ Aucun résumé des modifications annuler

2 décembre 2006

• actudiff 20:282 décembre 2006 à 20:28‎ Phe-bot discuter contributions‎ m 4 397 octets +26‎ robot Ajoute: ja:公理的意味論 annuler

13 août 2006

• actudiff 16:3113 août 2006 à 16:31‎ Phe-bot discuter contributions‎ m 4 371 octets −1‎ standardisation interwikis et catégories annuler

5 février 2006

• actudiff 14:075 février 2006 à 14:07‎ 84.57.82.157 discuter‎ 4 372 octets +31‎ Aucun résumé des modifications annuler

1 novembre 2005

• actudiff 18:381 novembre 2005 à 18:38‎ 83.201.184.57 discuter‎ 4 341 octets 0‎ →‎Le langage : la logique de Hoare annuler

3 mai 2005

• actudiff 04:233 mai 2005 à 04:23‎ MisterMatt Bot discuter contributions‎ m 4 341 octets +13‎ MisterMatt Bot : {{ébauche informatique}} annuler

27 mars 2005

• actudiff 01:5227 mars 2005 à 01:52‎ MedBot discuter contributions‎ m 4 328 octets +31‎ robot Ajoute:pt annuler

27 novembre 2004

• actudiff 00:4627 novembre 2004 à 00:46‎ MedBot discuter contributions‎ m 4 297 octets −1‎ Bot : Remplacement de texte automatisé (- , +, & - . +. ) annuler

2 octobre 2004

• actudiff 18:292 octobre 2004 à 18:29‎ Sam Hocevar discuter contributions‎ m 4 298 octets 0‎ c'est à dire -> c'est-à-dire annuler

21 septembre 2004

• actudiff 23:0221 septembre 2004 à 23:02‎ MedBot discuter contributions‎ m 4 298 octets +8‎ Med - Bot : Remplacement de texte automatisé (- "([^"]{1,})" + « \1 ») annuler

26 août 2004

• actudiff 21:4326 août 2004 à 21:43‎ Aldoo discuter contributions‎ m 4 290 octets +27‎ correction wiki annuler
• actudiff 17:4326 août 2004 à 17:43‎ Alno discuter contributions‎ m 4 263 octets 0‎ style, s/Bezout/Bézout/ annuler

19 juillet 2004

• actudiff 19:0619 juillet 2004 à 19:06‎ Aldoo discuter contributions‎ m 4 263 octets +15‎ Aucun résumé des modifications annuler
• actudiff 17:5219 juillet 2004 à 17:52‎ Aldoo discuter contributions‎ m 4 248 octets +20‎ Aucun résumé des modifications annuler
• actudiff 17:4519 juillet 2004 à 17:45‎ Aldoo discuter contributions‎ 4 228 octets +4 228‎ Création