« Satisfaisabilité » : historique des versions

12 décembre 2021

• actudiff 22:3812 décembre 2021 à 22:38‎ 77.203.218.101 discuter‎ 3 263 octets +1‎ féminin annuler

28 février 2021

• actudiff 09:4928 février 2021 à 09:49‎ OrlodrimBot discuter contributions‎ m 3 262 octets −13‎ Remplacement de {{Lien}} par un lien interne, suite à la création de l'article correspondant annuler

18 décembre 2020

• actudiff 22:2618 décembre 2020 à 22:26‎ CodexBot discuter contributions‎ 3 275 octets +16‎ bot [0.9] 📗 Amélioration bibliographique 1x : +lieu, ©BnF... annuler

25 octobre 2020

• actudiff 20:2925 octobre 2020 à 20:29‎ Proz discuter contributions‎ 3 259 octets +835‎ Théorie valide : on le dirait d'un ensemble de formule, à la rigueur ; la satisfaction ne se définit pas que sur les formules atomiques. Tout ça manque d'exemples annuler

16 mai 2018

• actudiff 09:2216 mai 2018 à 09:22‎ PIerre.Lescanne discuter contributions‎ 2 424 octets −11‎ Annulation de la modification de 2A02:2788:558:17A:407:2D42:4754:3833 (d) "contradictoire" est un concept syntaxique et "consistant" est de l'anglais annuler Balise : Annulation

15 mai 2018

• actudiff 22:1415 mai 2018 à 22:14‎ 2a02:2788:558:17a:407:2d42:4754:3833 discuter‎ 2 435 octets +11‎ Changement de lexique pour un concept plus approprié annuler Balise : Éditeur visuel

4 juin 2017

• actudiff 09:324 juin 2017 à 09:32‎ Theon discuter contributions‎ m 2 424 octets +8‎ typo annuler

10 août 2016

• actudiff 18:1610 août 2016 à 18:16‎ SniperMaské discuter contributions‎ m 2 416 octets +42‎ wikif. + nettoyage annuler

6 septembre 2015

• actudiff 16:046 septembre 2015 à 16:04‎ Anne Bauval discuter contributions‎ 2 374 octets +17‎ "Wilifrid" (Hodges) → Wilfrid + liens + 12 p. → p. 12 + typo + ortho + mep + date (2011) du refsou annuler

13 juillet 2015

• actudiff 20:0913 juillet 2015 à 20:09‎ Slippingspy discuter contributions‎ m 2 357 octets +1‎ Espace manquant. Majuscule non justifiée. annuler

2 février 2015

• actudiff 15:302 février 2015 à 15:30‎ 138.102.135.242 discuter‎ 2 356 octets +4‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

7 mai 2014

• actudiff 17:197 mai 2014 à 17:19‎ Le pro du 94 :) discuter contributions‎ m 2 352 octets −24‎ Correction syntaxique (HTML pour des caractères particuliers) (v1.32b) annuler

21 avril 2013

• actudiff 09:2821 avril 2013 à 09:28‎ Bécassin discuter contributions‎ m 2 376 octets −1‎ →‎La satisfaisabilité dans la théorie des modèles : suppression d'une virgule inappropriée annuler

19 mars 2013

• actudiff 18:3419 mars 2013 à 18:34‎ Addbot discuter contributions‎ m 2 377 octets −153‎ Retrait de 6 liens interlangues, désormais fournis par Wikidata sur la page d:q1350299 annuler

29 décembre 2012

• actudiff 10:0329 décembre 2012 à 10:03‎ Ramzan discuter contributions‎ m 2 530 octets +25‎ Aucun résumé des modifications annuler

30 juin 2012

• actudiff 03:2930 juin 2012 à 03:29‎ Sebleouf discuter contributions‎ m 2 505 octets 0‎ WPCleaner v1.13 - Catégorie sans majuscule (Correction syntaxique) annuler

17 mars 2012

• actudiff 20:5817 mars 2012 à 20:58‎ Ji-Elle discuter contributions‎ m 2 505 octets +36‎ Ajout rapide de {{portail}} : + logique , + mathématiques ; avec BandeauxPortails annuler

29 septembre 2011

• actudiff 13:2729 septembre 2011 à 13:27‎ Gzen92 discuter contributions‎ m 2 469 octets −3‎ correction orthographe - si il -> s'il annuler

13 juillet 2011

• actudiff 05:5513 juillet 2011 à 05:55‎ Nicobzz discuter contributions‎ 2 472 octets +26‎ Aucun résumé des modifications annuler

12 juillet 2011

• actudiff 23:0812 juillet 2011 à 23:08‎ Romanc19s discuter contributions‎ m 2 446 octets +38‎ catégorie:logique mathématique annuler
• actudiff 23:0612 juillet 2011 à 23:06‎ Romanc19s discuter contributions‎ m 2 408 octets 0‎ a déplacé Satisfiabilité (logique mathématique) vers Satisfaisabilité annuler

11 juillet 2011

• actudiff 10:3111 juillet 2011 à 10:31‎ Nicobzz discuter contributions‎ 2 408 octets +19‎ Aucun résumé des modifications annuler
• actudiff 00:1311 juillet 2011 à 00:13‎ HRoestBot discuter contributions‎ m 2 389 octets +131‎ r2.6.5) (robot Ajoute: de, fi, nl, pl, pt annuler

10 juillet 2011

• actudiff 23:4310 juillet 2011 à 23:43‎ Proz discuter contributions‎ m 2 258 octets +22‎ interwiki en annuler
• actudiff 18:3110 juillet 2011 à 18:31‎ Nicobzz discuter contributions‎ 2 236 octets +2‎ Aucun résumé des modifications annuler
• actudiff 18:3010 juillet 2011 à 18:30‎ Nicobzz discuter contributions‎ 2 234 octets +1‎ →‎La satisfiabilité dans la théorie des modèles annuler
• actudiff 18:2310 juillet 2011 à 18:23‎ Nicobzz discuter contributions‎ 2 233 octets 0‎ →‎La satisfiabilité dans la théorie des modèles annuler
• actudiff 18:1710 juillet 2011 à 18:17‎ Nicobzz discuter contributions‎ 2 233 octets −16‎ →‎Voir aussi annuler
• actudiff 18:1510 juillet 2011 à 18:15‎ Nicobzz discuter contributions‎ 2 249 octets +8‎ →‎La satisfiabilité dans la théorie des modèles annuler
• actudiff 18:1210 juillet 2011 à 18:12‎ Nicobzz discuter contributions‎ 2 241 octets 0‎ →‎Voir aussi annuler
• actudiff 18:1110 juillet 2011 à 18:11‎ Nicobzz discuter contributions‎ 2 241 octets −1‎ →‎La satisfiabilité dans la théorie des modèles annuler
• actudiff 18:1010 juillet 2011 à 18:10‎ Nicobzz discuter contributions‎ 2 242 octets +317‎ Aucun résumé des modifications annuler
• actudiff 18:0310 juillet 2011 à 18:03‎ Nicobzz discuter contributions‎ 1 925 octets +1 313‎ Aucun résumé des modifications annuler
• actudiff 17:4210 juillet 2011 à 17:42‎ Nicobzz discuter contributions‎ 612 octets +612‎ Nouvelle page : En logique mathématique, la '''satisfiabilité''' et la '''validité''' sont des concepts élémentaires de sémantique. Une formule est '''satisfiable''' si il est possible...