Informations pour « Goedel-Prover »
Informations de base
| Titre affiché | Goedel-Prover |
| Clé de tri par défaut | Goedel-Prover |
| Taille de la page (en octets) | 567 |
| Identifiant de la page | 19310 |
| Langue du contenu de la page | fr - français |
| Modèle de contenu de la page | wikicode |
| Indexation par robots | Autorisée |
| Nombre de redirections vers cette page | 0 |
| Comptée comme page de contenu | Oui |
Protection de la page
| Modifier | Autoriser tous les utilisateurs (infini) |
| Renommer | Autoriser tous les utilisateurs (infini) |
Historique des modifications
| Créateur de la page | Pitpitt (discussion | contributions) |
| Date de création de la page | 4 août 2025 à 08:45 |
| Dernier rédacteur | Arianne (discussion | contributions) |
| Date de la dernière modification | 6 octobre 2025 à 10:21 |
| Nombre total de modifications | 2 |
| Nombre total d’auteurs distincts | 2 |
| Nombre de modifications récentes (dans les derniers 90 jours) | 1 |
| Nombre d’auteurs distincts récents | 1 |
