Aller au contenu

« Calcul des constructions » : historique des versions

Voir les opérations sur cette page (voir le journal des filtrages)

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 18:3528 février 2024 à 18:35‎ David.Monniaux discuter contributions‎ 7 402 octets +11‎ Aucun résumé des modifications annuler
actudiff 18:3528 février 2024 à 18:35‎ David.Monniaux discuter contributions‎ 7 391 octets +48‎ entiers de Church annuler
actudiff 18:3228 février 2024 à 18:32‎ David.Monniaux discuter contributions‎ 7 343 octets +81‎ Lean + mise en gras des inductifs annuler

actudiff 14:4427 décembre 2018 à 14:44‎ HerculeBot discuter contributions‎ m 7 262 octets −3‎ Lien portail; changements de type cosmétique annuler

actudiff 21:3024 novembre 2018 à 21:30‎ Epsilon0 discuter contributions‎ m 7 265 octets +4‎ →‎Théoriciens : lien Henk Barendregt annuler

actudiff 20:347 octobre 2018 à 20:34‎ 82.123.43.49 discuter‎ 7 261 octets 0‎ →‎Règles d'inférence du calcul des constructions : pourquoi K disparaitrait entre le numerateur et le denominateur ? annuler
actudiff 20:307 octobre 2018 à 20:30‎ 82.123.43.49 discuter‎ 7 261 octets 0‎ →‎Jugements : la phrase suivante parle de P, pas de B. annuler Balise : Éditeur visuel

actudiff 17:1713 mars 2017 à 17:17‎ 93.93.46.206 discuter‎ 7 261 octets −58‎ Mise à jour du deuxième hyperlien des références annuler

actudiff 14:0414 septembre 2016 à 14:04‎ HerculeBot discuter contributions‎ m 7 319 octets +2‎ [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

actudiff 01:2023 juin 2016 à 01:20‎ SniperMaské discuter contributions‎ m 7 317 octets +14‎ wikif. annuler

actudiff 20:3126 avril 2015 à 20:31‎ LouisAlain discuter contributions‎ 7 303 octets +53‎ création lien suite à création article annuler

actudiff 19:452 décembre 2014 à 19:45‎ Speculos discuter contributions‎ m 7 250 octets +1‎ →‎Définir des types de données annuler

actudiff 19:2514 mars 2013 à 19:25‎ Addbot discuter contributions‎ m 7 249 octets −88‎ Retrait de 3 liens interlangues, désormais fournis par Wikidata sur la page d:q858320 annuler

actudiff 16:2925 février 2012 à 16:29‎ A3nm discuter contributions‎ m 7 337 octets +1‎ →‎Définir les opérateurs logique : typo annuler

actudiff 09:061 août 2011 à 09:06‎ Kilom691 discuter contributions‎ m 7 336 octets +8‎ Aucun résumé des modifications annuler

actudiff 13:214 juin 2011 à 13:21‎ STyx discuter contributions‎ 7 328 octets +164‎ →‎Jugements : + annuler

actudiff 05:289 janvier 2011 à 05:28‎ Bub's wikibot discuter contributions‎ m 7 164 octets −5‎ Robot : Remplacement de l'emploi du modèle {{Lien}} par un wikilien car l'article en français existe annuler

actudiff 04:149 juin 2010 à 04:14‎ Anne Bauval discuter contributions‎ 7 169 octets +41‎ bandeau traduc 2006 annuler

actudiff 14:0312 avril 2010 à 14:03‎ 194.57.140.42 discuter‎ 7 128 octets +7‎ →‎Règles d'inférence du calcul des constructions annuler

actudiff 17:3418 décembre 2009 à 17:34‎ PIerre.Lescanne discuter contributions‎ 7 121 octets +195‎ lambda cube annuler

actudiff 00:2311 décembre 2009 à 00:23‎ David.Monniaux discuter contributions‎ 6 926 octets +65‎ →‎Références annuler

actudiff 16:528 octobre 2009 à 16:52‎ PIerre.Lescanne discuter contributions‎ 6 861 octets +45‎ →‎Références : Catégorie:Théorie de la démonstration annuler

actudiff 23:3119 janvier 2009 à 23:31‎ 93.1.129.189 discuter‎ 6 816 octets +18‎ →‎Définir des types de données annuler
actudiff 23:3119 janvier 2009 à 23:31‎ 93.1.129.189 discuter‎ 6 798 octets +36‎ →‎Définir les opérateurs logique annuler
actudiff 23:3019 janvier 2009 à 23:30‎ 93.1.129.189 discuter‎ 6 762 octets +32‎ →‎Termes annuler
actudiff 23:2919 janvier 2009 à 23:29‎ 93.1.129.189 discuter‎ 6 730 octets +18‎ →‎Règles d'inférence du calcul des constructions annuler

actudiff 16:1311 décembre 2008 à 16:13‎ Apokrif discuter contributions‎ m 6 712 octets +4‎ Aucun résumé des modifications annuler

actudiff 20:558 novembre 2008 à 20:55‎ Piquart discuter contributions‎ m 6 708 octets +13‎ →‎Règles d'inférence du calcul des constructions : typo annuler
actudiff 20:558 novembre 2008 à 20:55‎ Piquart discuter contributions‎ 6 695 octets +126‎ →‎Règles d'inférence du calcul des constructions : + règle de conversion annuler
actudiff 20:518 novembre 2008 à 20:51‎ Piquart discuter contributions‎ m 6 569 octets +38‎ →‎Règles d'inférence du calcul des constructions : nom des règles annuler

actudiff 18:496 novembre 2008 à 18:49‎ 152.105.205.1 discuter‎ 6 531 octets +6‎ →‎Règles d'inférence du calcul des constructions annuler

actudiff 22:3825 octobre 2008 à 22:38‎ Epsilon0 discuter contributions‎ m 6 525 octets +35‎ →‎Références : ajout Catégorie:Assistant de preuve annuler

actudiff 10:2318 mars 2007 à 10:23‎ Bapti discuter contributions‎ m 6 490 octets +20‎ Correction des liens vers les pages d'homonymie - Type annuler

actudiff 15:0931 octobre 2006 à 15:09‎ Piquart discuter contributions‎ m 6 470 octets +20‎ lien interne annuler

actudiff 17:4330 octobre 2006 à 17:43‎ Piquart discuter contributions‎ 6 450 octets +6 450‎ Création à partir de la version anglaise

Ce document provient de « https://fr.wikipedia.org/wiki/Calcul_des_constructions ».