| Titre affiché | 916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications. |
| Clé de tri par défaut | 916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications. |
| Taille de la page (en octets) | 831 |
| Numéro de la page | 1010 |
| Langue du contenu de la page | français (fr) |
| Modèle de contenu de la page | wikitexte |
| Indexation par robots | Autorisée |
| Nombre de vues | 12 306 |
| Nombre de redirections vers cette page | 0 |
| Compté comme page de contenu | Oui |
| Modifier | Autoriser tous les utilisateurs |
| Renommer | Autoriser tous les utilisateurs |
| Créateur de la page | Mathias Millet (discuter | contributions) |
| Date de création de la page | 25 janvier 2015 à 10:42 |
| Dernier contributeur | Antoine De (discuter | contributions) |
| Date de la dernière modification | 22 avril 2022 à 10:34 |
| Nombre total de modifications | 8 |
| Nombre total d'auteurs distincts | 4 |
| Nombre de modifications récentes (dans les derniers 91 jours) | 0 |
| Nombre d'auteurs distincts récents | 0 |
