| Titre affiché | Calcul des prédicats |
| Clé de tri par défaut | Calcul des prédicats |
| Taille de la page (en octets) | 31 628 |
| Identifiant dʼespace de noms | 0 |
| Identifiant de la page | 108828 |
| 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 | 77 |
| Nombre de suiveurs de la page ayant consulté celle-ci depuis 30 jours | 9 |
| Nombre de redirections vers cette page | 7 |
| Comptée comme page de contenu | Oui |
| Identifiant d’élément de Wikidata | Q4055684 |
| Description centrale | méthode formelle, utilise des variables sur des objets non logiques et permet l'usage de phrases qui contiennent des variables; seules les variables sont quantifiées |
| Visualisations de la page dans les 30 derniers jours | 1 909 |
| Modifier | Autoriser tous les utilisateurs (infini) |
| Renommer | Autoriser tous les utilisateurs (infini) |
| Créateur de la page | Aldoo (discuter | contributions) |
| Date de création de la page | 19 août 2004 à 15:47 |
| Dernier rédacteur | Stéphane Ponthus (discuter | contributions) |
| Date de la dernière modification | 23 avril 2024 à 11:03 |
| Nombre total de modifications | 360 |
| Nombre de modifications récentes (dans les derniers 30 jours) | 0 |
| Nombre d’auteurs distincts récents | 0 |
| Catégories cachées (8) | Catégories cachées dont cette page fait partie :
|
| Modèles inclus (64) | Modèles utilisés par cette page :
|
| Entités de Wikidata utilisées sur cette page | |
