Informations pour « Mechanical theorem prover »


Informations de base

Titre affichéMechanical theorem prover
Redirige versDémonstrateur de théorèmes (infos)
Clé de tri par défautMechanical theorem prover
Taille de la page (en octets)69
Identifiant de la page18139
Langue du contenu de la pagefr - français
Modèle de contenu de la pagewikicode
Indexation par robotsAutorisée
Nombre de redirections vers cette page0

Protection de la page

ModifierAutoriser tous les utilisateurs (infini)
RenommerAutoriser tous les utilisateurs (infini)
Voir le journal des protections pour cette page.

Historique des modifications

Créateur de la pagePitpitt (discussion | contributions)
Date de création de la page9 septembre 2024 à 08:19
Dernier rédacteurPitpitt (discussion | contributions)
Date de la dernière modification9 septembre 2024 à 08:19
Nombre total de modifications1
Nombre total d’auteurs distincts1
Nombre de modifications récentes (dans les derniers 90 jours)1
Nombre d’auteurs distincts récents1