Informatie over "Beweren en bewijzen/de opzet/gereedschap/Coq"
Basisgegevens
| Weergegeven paginanaam | Beweren en bewijzen/de opzet/gereedschap/Coq |
| Standaard sorteerwijze | Beweren en bewijzen/de opzet/gereedschap/Coq |
| Paginalengte (in bytes) | 29.684 |
| Paginanummer | 1192 |
| Taal voor de pagina | nl - Nederlands |
| Paginainhoudmodel | wikitekst |
| Indexering door robots | Toegestaan |
| Aantal doorverwijzingen naar deze pagina | 1 |
| Geteld als pagina met inhoud | Ja |
| Subpagina's van deze pagina | 1 (0 doorverwijzingen; 1 niet-doorverwijzing) |
Paginabeveiliging
| Bewerken | Toestaan voor alle gebruikers (onbeperkt) |
| Hernoemen | Toestaan voor alle gebruikers (onbeperkt) |
Bewerkingsgeschiedenis
| Gebruiker die de pagina heeft aangemaakt | Jasper Berendsen (overleg | bijdragen) |
| Datum waarop de pagina is aangemaakt | 26 feb 2008 23:37 |
| Laatste bewerker | David Jansen (overleg | bijdragen) |
| Laatste bewerking | 27 feb 2015 14:55 |
| Aantal bewerkingen | 101 |
| Auteurs totaal | 13 |
| Recente bewerkingen (binnen de afgelopen 90 dagen) | 0 |
| Recente auteurs | 0 |
