Informatie over "Overleg:Beweren en bewijzen/de zuilen/Formalisering/5. Systematisch vertalen"

Ga naar: navigatie, zoeken

Basisgegevens

Weergegeven paginanaamOverleg:Beweren en bewijzen/de zuilen/Formalisering/5. Systematisch vertalen
Standaard sorteerwijzeBeweren en bewijzen/de zuilen/Formalisering/5. Systematisch vertalen
Paginalengte (in bytes)975
Paginanummer2776
Taal voor de paginanl - Nederlands
Paginainhoudmodelwikitekst
Indexering door robotsToegestaan
Aantal doorverwijzingen naar deze pagina1
Subpagina's van deze pagina0 (0 doorverwijzingen; 0 niet-doorverwijzingen)

Paginabeveiliging

BewerkenToestaan voor alle gebruikers (onbeperkt)
HernoemenToestaan voor alle gebruikers (onbeperkt)

Bewerkingsgeschiedenis

Gebruiker die de pagina heeft aangemaaktRoy de Vries (overleg | bijdragen)
Datum waarop de pagina is aangemaakt15 mei 2008 08:36
Laatste bewerkerHanno Wupper (overleg | bijdragen)
Laatste bewerking31 dec 2008 16:07
Aantal bewerkingen3
Auteurs totaal2
Recente bewerkingen (binnen de afgelopen 90 dagen)0
Recente auteurs0
Overgenomen van "https://lab.cs.ru.nl/algemeen/Overleg:Beweren_en_bewijzen/de_zuilen/Formalisering/5._Systematisch_vertalen"