| Titre affiché | Déduction naturelle |
| Clé de tri par défaut | Deduction naturelle |
| Taille de la page (en octets) | 24 429 |
| Identifiant dʼespace de noms | 0 |
| Identifiant de la page | 197866 |
| Langue du contenu de la page | fr - français |
| Modèle de contenu de la page | wikicode |
| Indexation par robots | Autorisée |
| Nombre de contributeurs ayant la page dans leur liste de suivi | 46 |
| Nombre de suiveurs de la page ayant consulté celle-ci depuis 30 jours | 4 |
| Nombre de redirections vers cette page | 1 |
| Comptée comme page de contenu | Oui |
| Identifiant d’élément de Wikidata | Q1572108 |
| Description centrale | système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner |
| Visualisations de la page dans les 30 derniers jours | 517 |
| Modifier | Autoriser tous les utilisateurs (infini) |
| Renommer | Autoriser tous les utilisateurs (infini) |
| Créateur de la page | Thierry Dugnolle (discuter | contributions) |
| Date de création de la page | 14 février 2005 à 21:28 |
| Dernier rédacteur | PIerre.Lescanne (discuter | contributions) |
| Date de la dernière modification | 22 avril 2024 à 11:29 |
| Nombre total de modifications | 342 |
| Nombre de modifications récentes (dans les derniers 30 jours) | 0 |
| Nombre d’auteurs distincts récents | 0 |
| Mot magique (1) | |
| Catégories cachées (8) | Catégories cachées dont cette page fait partie :
|
| Modèles inclus (53) | Modèles utilisés par cette page :
|
| Entités de Wikidata utilisées sur cette page | |
