« Logique (mathématiques)/Autres formulations des principes de la logique du premier ordre » : historique des versions

Outils externes et statistiques

Légende : (actu) = différence avec la version actuelle, (diff) = différence avec la version précédente, m = modification mineure.
Coloration avec DeluxeHistory : rose = IP, bleu = utilisateur, jaune = administrateur, vert = bot.

actudiff 07:387 janvier 2024 à 07:38‎ 2a01:cb00:8795:8800:1d0d:f3bc:2e41:f954 discussion‎ 10 446 octets −1‎ calcul des séquents annuler Balise : Éditeur visuel

actudiff 15:031 août 2017 à 15:03‎ Crochet.david.bot discussion contributions‎ m 10 447 octets +11‎ Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) annuler

actudiff 14:5628 décembre 2016 à 14:56‎ Crochet.david.bot discussion contributions‎ m 10 436 octets −2‎ Robot : Remplacement de texte automatisé (-(\*)(.*)\n{2,}(\*) +\1\2\n\3) annuler
actudiff 14:5428 décembre 2016 à 14:54‎ Crochet.david.bot discussion contributions‎ m 10 438 octets −2‎ Robot : Remplacement de texte automatisé (-(\*)(.*)\n{2,}(\*) +\1\2\n\3) annuler

actudiff 21:0827 avril 2016 à 21:08‎ Crochet.david.bot discussion contributions‎ m 10 440 octets +2‎ Robot : Remplacement de texte automatisé (- d'un + d’un ) annuler

actudiff 08:2327 octobre 2014 à 08:23‎ Crochet.david.bot discussion contributions‎ m 10 438 octets −6‎ Robot : Remplacement de texte automatisé (-\,</math> +</math>) annuler

actudiff 22:4419 septembre 2014 à 22:44‎ JackBot discussion contributions‎ m 10 444 octets −106‎ Autoformatage, retrait de la clé de tri annuler

actudiff 09:0522 février 2013 à 09:05‎ Lydie Noria discussion contributions‎ 10 550 octets +25‎ maintenance annuler

actudiff 17:3723 décembre 2012 à 17:37‎ Crochet.david.bot discussion contributions‎ m 10 525 octets 0‎ Robot : Remplacement de texte automatisé (-\{\{[cC]hapitre(.*)\{\{[Cc]lé de tri\s*\|([^\}]*)\}\}(.*) +{{Chapitre\n | clé = \2\1\3) annuler

actudiff 17:517 août 2012 à 17:51‎ Crochet.david.bot discussion contributions‎ m 10 525 octets −74‎ Robot : Remplacement de texte automatisé (-(\{\{[cC]hapitre[^\}]*)\|\s*titre\s*=[^\n]*\s* +\1) annuler

actudiff 17:284 mars 2012 à 17:28‎ JackBot discussion contributions‎ m 10 599 octets +103‎ Autoformatage annuler

actudiff 13:0517 septembre 2011 à 13:05‎ JackBot discussion contributions‎ m 10 496 octets −41‎ Retrait des catégories en double annuler

actudiff 17:1512 août 2011 à 17:15‎ Crochet.david.bot discussion contributions‎ m 10 537 octets +1‎ Robot : Remplacement de texte automatisé (-\n\s*\|\s*numero +\n | numéro) annuler

actudiff 18:3926 avril 2011 à 18:39‎ Crochet.david.bot discussion contributions‎ m 10 536 octets −42‎ Utilisation du paramètre par défaut du modèle annuler

actudiff 21:134 février 2011 à 21:13‎ Cynddl discussion contributions‎ 10 578 octets +75‎ →‎L’usage des hypothèses annuler
actudiff 21:104 février 2011 à 21:10‎ Cynddl discussion contributions‎ m 10 503 octets +30‎ →‎Formules initiales annuler
actudiff 21:094 février 2011 à 21:09‎ Cynddl discussion contributions‎ m 10 473 octets +72‎ →‎Moyens d’expression annuler

actudiff 18:322 janvier 2011 à 18:32‎ Crochet.david.bot discussion contributions‎ m 10 401 octets +11‎ Robot : Changement de type cosmétique annuler

actudiff 15:279 juin 2010 à 15:27‎ Crochet.david.bot discussion contributions‎ m 10 390 octets 0‎ Robot : Remplacement de texte automatisé (-[“”] *([^“”]*) *[“”] +« \1 ») annuler

actudiff 15:0612 avril 2010 à 15:06‎ Crochet.david.bot discussion contributions‎ m 10 390 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *numero *= *(..?) + | numero = \1) annuler

actudiff 21:0623 mars 2010 à 21:06‎ Crochet.david.bot discussion contributions‎ m 10 382 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *niveau *= * + | niveau = ) annuler

actudiff 22:0010 mars 2010 à 22:00‎ Crochet.david.bot discussion contributions‎ m 10 374 octets +8‎ Robot : Remplacement de texte automatisé (- *\| *suivant *= *\[\[([^\/]*)\/([^\/]*)\/\]\]\}\} + | suivant = ../\2/\n}}) annuler

actudiff 11:266 mars 2010 à 11:26‎ Crochet.david.bot discussion contributions‎ m 10 366 octets −25‎ Robot : Remplacement de texte automatisé (- *\|\s?titre_leçon\s?=\s?(.*)\n +) annuler
actudiff 08:436 mars 2010 à 08:43‎ Crochet.david.bot discussion contributions‎ m 10 391 octets +10‎ Robot : Remplacement de texte automatisé (- *\|\s?idfaculté\s?=\s?(.*) + | idfaculté = \1) annuler

actudiff 18:1225 février 2010 à 18:12‎ Crochet.david.bot discussion contributions‎ m 10 381 octets −6‎ Robot : Remplacement de texte automatisé (-\|\s?leçon\s?=?\[\[([^\]])*\]\] + | leçon = ../) annuler

actudiff 17:504 août 2009 à 17:50‎ Xzapro4 discussion contributions‎ m 10 387 octets −340‎ Update annuler
actudiff 17:444 août 2009 à 17:44‎ Xzapro4 discussion contributions‎ m 10 727 octets 0‎ a renommé Fondements des mathématiques/La logique/Autres formulations des principes de la logique du premier ordre en Logique (mathématiques)/Autres formulations des principes de la logique du premier ordre : Cours à part entier annuler

actudiff 11:0327 décembre 2008 à 11:03‎ Crochet.david.bot discussion contributions‎ m 10 727 octets −4‎ Bot : Remplacement de texte automatisé (-, *(…|\.\.\.) +…) annuler

actudiff 08:2517 avril 2008 à 08:25‎ Crochet.david.bot discussion contributions‎ m 10 731 octets +1‎ Bot : Remplacement de texte automatisé (-... +…); changement de type cosmétique annuler