| Weergegeven paginanaam | Beweren en bewijzen/de opzet/gereedschap/Coq/technische problemen |
| Standaard sorteerwijze | Beweren en bewijzen/de opzet/gereedschap/Coq/technische problemen |
| Paginalengte (in bytes) | 4.028 |
| Paginanummer | 1718 |
| Taal voor de pagina | nl - Nederlands |
| Paginainhoudmodel | wikitekst |
| Indexering door robots | Toegestaan |
| Aantal doorverwijzingen naar deze pagina | 0 |
| Geteld als pagina met inhoud | Ja |
| Subpagina's van deze pagina | 0 (0 doorverwijzingen; 0 niet-doorverwijzingen) |
| Bewerken | Toestaan voor alle gebruikers (onbeperkt) |
| Hernoemen | Toestaan voor alle gebruikers (onbeperkt) |
| Gebruiker die de pagina heeft aangemaakt | Jasper Berendsen (overleg | bijdragen) |
| Datum waarop de pagina is aangemaakt | 12 mrt 2008 19:53 |
| Laatste bewerker | Jasper Berendsen (overleg | bijdragen) |
| Laatste bewerking | 2 jul 2009 21:58 |
| Aantal bewerkingen | 26 |
| Auteurs totaal | 6 |
| Recente bewerkingen (binnen de afgelopen 90 dagen) | 0 |
| Recente auteurs | 0 |
