WebStatistics < Mizar

Mizar

Mizar.WebStatisticsr1.1678 - 21 Jul 2008 - 11:41 - TWikiGuesttopic end

Statistics for Mizar TWiki.Mizar Web

Month:	Topic views:	Topic saves:	File uploads:	Most popular topic views:	Top contributors for topic save and uploads:

Jul 2008	7064	0	0	432 WebHome 312 MoMM 312 MizarMode 277 MpTP 108 WebStatistics 99 WebForm 97 MizarProofAdvisor 81 MizarSyntax 80 MpTPChallengeFAQ 72 SimpleVocabularyTools 66 AutomatedTranslation
Jun 2008	13046	2	0	992 WebHome 640 MoMM 488 WebStatistics 477 MizarMode 409 MpTP 197 MizarSyntax 184 WebForm 165 MizarProofAdvisor 147 MpTPChallengeFAQ 117 SimpleVocabularyTools 110 AutomatedTranslation	2 JesseAlama
May 2008	19008	1	0	4305 WebStatistics 996 WebHome 699 MizarMode 561 MoMM 537 MpTP 295 MizarSyntax 254 WebForm 188 AutomatedTranslation 162 MizarJedit 160 MpTPChallengeFAQ 160 MizarProofAdvisor	1 JosefUrban
Apr 2008	16517	0	0	974 WebHome 586 MizarMode 572 MpTP 529 WebStatistics 417 MoMM 198 AutomatedTranslation 189 MizarSyntax 182 WebNotify 179 MizarProofAdvisor 170 MpTPChallengeFAQ 168 WhatWeAreDoing
Mar 2008	11479	2	0	631 WebHome 472 WebStatistics 305 MizarMode 267 MpTP 216 MoMM 147 MizarSyntax 134 ReviewerCriteria 123 WhatWeAreDoing 107 WebForm 93 MizarProofAdvisor 90 MizarParser	2 MarcoRiccardi
Feb 2008	7654	2	0	961 WebHome 367 WebStatistics 326 MizarMode 266 MpTP 197 MoMM 110 MizarSyntax 106 MizarProofAdvisor 95 WebForm 84 ReviewerCriteria 83 MpTPChallengeFAQ 71 AutomatedTranslation	1 MarcoRiccardi 1 GrzegorzBancerek
Jan 2008	5372	0	0	374 WebHome 295 WebStatistics 234 MizarMode 165 MpTP 124 MoMM 75 WebForm 75 MizarSyntax 74 AutomatedTranslation 61 WhatWeAreDoing 61 MizarProofAdvisor 57 MpTPChallengeFAQ
Dec 2007	6440	30	1	532 WebHome 330 WebStatistics 329 MizarMode 260 MpTP 200 MoMM 100 MizarProofAdvisor 97 WebForm 97 WebChanges 96 MpTPChallengeFAQ 66 ReviewerCriteria 65 DeductionAndInduction	29 GrzegorzBancerek 1 AdamGrabowski 1 MarcoRiccardi
Nov 2007	5269	2	0	458 WebHome 327 MizarMode 183 MpTP 156 MoMM 117 WebStatistics 85 MizarProofAdvisor 76 MpTPChallengeFAQ 61 WebForm 58 SimpleVocabularyTools 52 WebChanges 46 MizarFAQ	1 JosefUrban 1 MarcoRiccardi
Oct 2007	5783	5	0	532 WebHome 302 MizarMode 242 MpTP 194 MoMM 191 MizarSyntax 160 WebStatistics 97 MizarProofAdvisor 91 MpTPChallengeFAQ 67 MizarJedit 66 WebForm 61 AutomatedTranslation	4 GrzegorzBancerek 1 MarcoRiccardi
Sep 2007	3804	0	0	398 WebHome 246 MizarMode 225 MpTP 123 MoMM 96 NiceConstructorNames 63 MizarSyntax 62 WebForm 59 WebStatistics 56 MizarParser 54 MmlQuerySyntax 52 BugReport
Aug 2007	7208	0	0	642 WebStatistics 566 WebHome 251 MizarMode 178 MpTP 148 MoMM 124 NiceConstructorNames 122 WebForm 77 MizarProofAdvisor 66 SimpleVocabularyTools 56 MizarJedit 54 WebNotify
Jul 2007	14770	1	0	3920 WebStatistics 671 WebHome 546 MizarMode 410 MpTP 228 MoMM 169 NiceConstructorNames 135 MpTPChallengeFAQ 134 WebForm 132 MizarSyntax 129 AutomatedTranslation 94 BugReport	1 MarcoRiccardi
Jun 2007	13711	0	0	3087 WebStatistics 1368 WebHome 680 MizarMode 329 MpTP 255 MizarSyntax 216 WebForm 215 MoMM 175 NiceConstructorNames 140 MizarJedit 128 SimpleVocabularyTools 123 AutomatedTranslation
May 2007	7924	2	0	1559 WebStatistics 783 WebHome 300 MizarMode 221 MpTP 148 MoMM 105 MizarSyntax 104 NiceConstructorNames 95 MpTPChallengeFAQ 94 AutomatedTranslation 90 WebForm 68 SimpleVocabularyTools	2 MichaelNedzelsky
Apr 2007	11305	20	1	4229 WebStatistics 810 WebHome 319 MizarMode 224 MpTP 178 AutomatedTranslation 178 NiceConstructorNames 161 MizarSyntax 145 MoMM 133 WebForm 107 MmlQuerySyntax 89 WhatWeAreDoing	10 JesseAlama 10 MichaelNedzelsky 1 MarcoRiccardi
Mar 2007	9823	47	2	2744 WebStatistics 816 WebHome 475 MizarMode 231 MpTP 213 MizarSyntax 180 WebForm 176 MoMM 138 NiceConstructorNames 99 MmlQuerySyntax 83 MpTPChallengeFAQ 83 WebChanges	41 JosefUrban 8 MarcoRiccardi
Feb 2007	6637	7	0	1047 WebStatistics 627 WebHome 398 MizarMode 183 MpTP 153 MizarSyntax 138 MoMM 105 WebForm 75 MmlQuerySyntax 73 BugReport 69 MizarProofAdvisor 64 WebNotify	6 MarcoRiccardi 1 JesseAlama
Jan 2007	14203	35	0	2872 WebStatistics 1166 WebHome 473 MizarMode 440 MpTP 279 MoMM 269 WebForm 258 MizarSyntax 184 MizarParser 146 SimpleVocabularyTools 125 MizarJedit 125 MathematicsSubjectClassification	27 MarcoRiccardi 6 JesseAlama 1 KrzysztofRetel 1 AdamNaumowicz
Dec 2006	7640	12	0	2234 WebStatistics 714 WebHome 247 MizarMode 155 MpTP 134 MoMM 111 WebForm 97 MizarSyntax 88 MizarParser 79 MizarJedit 65 MpTPChallengeFAQ 65 WebChanges	11 MarcoRiccardi 1 JesseAlama
Nov 2006	9076	61	0	2953 WebStatistics 753 WebHome 268 MizarSyntax 253 MizarMode 136 WebForm 134 MoMM 118 MpTP 106 MizarParser 103 SimpleVocabularyTools 74 MmlQuerySyntax 66 MizarJedit	32 MarcoRiccardi 28 JosefUrban 1 GeoffSutcliffe
Oct 2006	10712	119	12	3530 WebStatistics 902 WebHome 276 MizarMode 194 MpTP 151 MoMM 127 MathematicsSubjectClassification 117 WebForm 97 MizarJedit 93 03E 92 MizarSyntax 81 03	50 MarcoRiccardi 37 JosefUrban 24 MichaelNedzelsky 19 GrzegorzBancerek 1 WikiRoot
Sep 2006	5361	23	0	2233 WebStatistics 448 WebHome 179 MizarMode 134 WebForm 81 MpTP 64 MoMM 56 MmlQuerySyntax 53 ManualPl 46 CollaborativeManual 42 ManualPlProofTactics 38 WebSearch	20 GrzegorzBancerek 3 KrzysztofRetel
Aug 2006	5463	0	0	2597 WebStatistics 484 WebHome 168 MizarMode 132 MoMM 129 MpTP 96 WebForm 63 MizarProofAdvisor 58 BugReport 41 MmlQuerySyntax 33 WebSearch 28 NiceConstructorNames
Jul 2006	6363	3	0	1050 WebStatistics 502 WebHome 321 MizarMode 116 WebForm 100 MoMM 87 MmlQuerySyntax 83 MpTP 67 SimpleVocabularyTools 50 MizarJedit 46 BugReport 40 ReviewerCriteria	3 JosefUrban
Jun 2006	11385	2	0	1422 WebStatistics 670 MizarMode 635 WebHome 179 MpTP 158 WebForm 142 MoMM 124 MizarJedit 122 SimpleVocabularyTools 115 MmlQuerySyntax 79 PartialUnions 72 MizarProofAdvisor	2 JosefUrban
May 2006	12307	19	0	1659 WebStatistics 879 MizarMode 848 WebHome 164 MoMM 163 MpTP 146 WebForm 142 SimpleVocabularyTools 139 MizarJedit 115 MmlQuerySyntax 111 BugReport 95 MizarProofAdvisor	18 JosefUrban 1 ArturKornilowicz
Apr 2006	8740	0	0	1540 WebStatistics 629 WebHome 293 MizarMode 152 WebForm 127 MoMM 96 MpTP 87 MmlQuerySyntax 54 ReviewerCriteria 51 BugReport 50 WebNotify 46 MizarProofAdvisor
Mar 2006	12850	0	0	1137 MizarMode 877 WebStatistics 863 WebHome 360 MoMM 243 WebForm 243 MmlQuerySyntax 211 MpTP 160 BugReport 152 SimpleVocabularyTools 123 MizarJedit 103 ReviewerCriteria
Feb 2006	13085	21	1	1330 WebStatistics 911 MizarMode 673 WebHome 266 WebForm 191 MmlQuerySyntax 174 MoMM 160 MpTP 152 BugReport 132 SimpleVocabularyTools 131 WebNotify 114 XmlForMizar	12 JosefUrban 8 GrzegorzBancerek 2 AdamGrabowski
Jan 2006	10722	17	1	1281 WebStatistics 651 WebHome 546 MizarMode 146 MmlQuerySyntax 137 WebForm 123 MpTP 123 MoMM 105 SimpleVocabularyTools 102 XmlForMizar 96 ReviewerCriteria 92 MizarJedit	8 AdamGrabowski 8 GrzegorzBancerek 2 MizarReviewer
Dec 2005	16747	37	4	1348 WebStatistics 940 MizarMode 830 WebHome 289 WebForm 195 MpTP 181 BugReport 172 SimpleVocabularyTools 162 XmlForMizar 150 MizarJedit 143 WebNotify 130 MoMM	37 GrzegorzBancerek 2 JosefUrban 1 MarcoRiccardi 1 MizarReviewer
Nov 2005	11634	0	0	927 WebStatistics 699 MizarMode 488 WebHome 252 MpTP 130 WebForm 122 XmlForMizar 113 BugReport 95 MoMM 94 WebNotify 88 MizarTwiki 69 MizarJedit
Oct 2005	12853	0	0	360 WebHome 319 MizarMode 315 WebStatistics 200 MpTP 169 WebForm 113 BugReport 92 MoMM 89 MizarJedit 79 MizarTwiki 74 MizarProofAdvisor 68 TopicClassification
Sep 2005	7166	0	0	434 WebHome 305 MizarMode 207 WebStatistics 201 MpTP 154 WebForm 113 MoMM 86 BugReport 84 MizarProofAdvisor 81 MizarJedit 73 SimpleVocabularyTools 69 MizarFAQ
Aug 2005	3937	0	0	379 WebStatistics 241 WebHome 158 MizarMode 144 WebForm 77 MpTP 63 SimpleVocabularyTools 58 MizarJedit 48 BugReport 41 XmlForMizar 37 MizarFAQ 36 WebNotify
Jul 2005	3664	14	1	286 WebHome 127 MizarMode 91 MpTP 73 WebStatistics 61 MoMM 59 MizarProofAdvisor 41 MizarFAQ 41 WebForm 36 MizarTwiki 36 TopicClassification 32 WebNotify	15 MichaelNedzelsky
Jun 2005	2232	0	0	61 WebHome 52 WebStatistics 48 MizarMode 25 MpTP 17 TopicClassification 15 MizarQuestion 14 MoMM 14 WebNotify 12 MizarProofAdvisor 11 MizarFAQ 11 WebForm
May 2005	3252	0	0	219 WebHome 201 WebStatistics 64 WebNotify 54 MizarMode 51 AnsweredQuestions 50 MoMM 45 MizarProofAdvisor 44 MpTP 39 MizarFAQ 34 BugReport 33 MizarQuestion
Apr 2005	2610	0	0	223 WebHome 62 MoMM 58 MizarMode 49 MizarFAQ 47 WebSearch 42 MizarProofAdvisor 39 MizarQuestion 35 MpTP 30 ErrorMessage 27 BugReport 26 WebNotify
Mar 2005	3218	0	0	157 WebHome 61 MizarMode 36 MoMM 36 MizarFAQ 32 TopicClassification 31 MizarQuestion 31 AnsweredQuestions 30 MizarProofAdvisor 30 BugReport 29 WebStatistics 28 ErrorMessage
Feb 2005	3440	0	0	200 WebHome 50 MizarMode 40 MoMM 39 WebStatistics 39 MizarFAQ 36 WebSearch 36 MizarProofAdvisor 34 MizarQuestion 32 MpTP 31 AnsweredQuestions 30 MmlQuery
Jan 2005	1932	14	0	220 WebHome 59 MizarMode 48 MizarProofAdvisor 44 MoMM 30 MpTP 28 MizarQuestion 26 MizarFAQ 25 WebSearch 25 WebChanges 24 MizarTools 22 TopicClassification	13 JosefUrban 1 WikiRoot
Dec 2004	6086	4	0	398 WebStatistics 268 WebHome 80 MizarMode 53 WebNotify 53 MizarTwiki 53 BugReport 51 MizarFAQ 46 WebPreferences 46 ErrorMessage 45 WebForm 42 WebChanges	2 JesseAlama 1 JosefUrban 1 GrzegorzBancerek
Nov 2004	10973	0	0	671 WebStatistics 464 WebHome 143 MizarFAQ 117 MizarQuestion 108 WebSearch 108 TopicClassification 98 MizarMode 98 BugReport 96 MizarTwiki 90 AnsweredQuestions 83 WebPreferences
Oct 2004	9014	0	0	436 WebStatistics 357 WebHome 136 MizarFAQ 105 TopicClassification 103 MizarQuestion 100 BugReport 99 MizarMode 93 MizarWishlist 92 MizarTwiki 87 AnsweredQuestions 83 WebNotify
Sep 2004	6194	4	0	255 WebHome 98 MizarMode 97 MizarFAQ 84 MizarQuestion 78 MizarTwiki 70 BugReport 68 WebStatistics 61 WebNotify 61 MizarWishlist 60 MoMM 58 WebPreferences	4 JosefUrban
Aug 2004	5082	3	0	330 WebStatistics 159 WebHome 77 MizarFAQ 74 MizarMode 68 MizarTwiki 50 AnsweredQuestions 41 BugReport 39 MizarQuestion 36 WebPreferences 36 WebChanges 36 ErrorMessage	3 JosefUrban
Jul 2004	8909	6	0	604 WebStatistics 191 WebHome 111 WebPreferences 82 MizarMode 76 MizarFAQ 70 StructureImplementation 70 MizarTwiki 56 BugReport 53 ErrorNo165 50 ClusterImplementation 48 ErrorMessage	6 JosefUrban
Jun 2004	6500	10	0	189 WebHome 187 WebStatistics 65 MizarMode 53 StructureImplementation 46 WebPreferences 46 MizarQuestion 44 MizarFAQ 44 ErrorMessage 39 MizarTwiki 39 ErrorNo108 37 WebForm	10 JosefUrban
May 2004	6026	0	0	245 WebHome 238 WebStatistics 73 MizarMode 63 WebPreferences 58 MizarTwiki 49 MizarQuestion 38 WebForm 38 MizarFAQ 37 MmlDevelopement 37 ErrorNo801 36 ErrorNo144
Apr 2004	8303	31	0	255 WebStatistics 218 WebHome 88 MizarMode 76 MizarTwiki 73 WebPreferences 48 WebNotify 48 MizarFAQ 46 StructureImplementation 45 ErrorNo144 40 ErrorNo42 40 ErrorNo176	24 JosefUrban 3 GrzegorzBancerek 2 AdamGrabowski 1 WikiRoot 1 AdamNaumowicz
Mar 2004	7635	0	0	234 WebHome 212 WebStatistics 92 MizarMode 71 MizarTwiki 55 MizarQuestion 55 MizarFAQ 54 TopicClassification 54 ErrorNo42 54 ErrorNo144 53 WebPreferences 48 StructuredPitfalls
Feb 2004	11391	0	0	1241 WebIndex 785 WebStatistics 312 WebHome 136 MizarMode 104 WebPreferences 86 MizarTwiki 84 MizarFAQ 81 TopicClassification 81 BugReport 71 ErrorNo144 68 ErrorMessage
Jan 2004	7372	0	0	335 WebStatistics 239 WebHome 97 MizarMode 83 MizarTwiki 69 WebPreferences 55 MizarFAQ 54 BugReport 53 TopicClassification 53 ErrorNo801 51 ErrorNo42 50 ErrorNo144
Dec 2003	16957	0	0	2520 ErrorNo825 1354 WebStatistics 224 WebHome 174 WebPreferences 130 BugReport 128 TopicClassification 119 MizarTwiki 118 ErrorMessage 102 MizarMode 97 TestQA 90 AnsweredQuestions
Nov 2003	10071	1	0	564 WebStatistics 413 WebHome 136 MizarMode 103 MizarTwiki 86 WebPreferences 83 ErrorNo144 79 ErrorMessage 71 BugReport 68 TopicClassification 66 ErrorNo801 62 StructureImplementation	1 JosefUrban
Oct 2003	4482	4	0	218 WebStatistics 181 WebHome 70 MizarMode 45 MizarTwiki 42 MmlQuery 42 ErrorNo144 40 WebPreferences 37 ErrorNo302 35 ErrorMessage 34 ErrorNo42 33 StructureImplementation	4 GrzegorzBancerek
Sep 2003	7787	0	0	509 WebStatistics 241 WebHome 87 MizarMode 81 MizarTwiki 70 WebPreferences 69 MizarFAQ 60 WebForm 59 BugReport 49 WebNotify 48 StructureImplementation 48 ErrorNo302
Aug 2003	2243	0	0	93 WebHome 74 WebStatistics 30 MizarMode 30 MizarFAQ 27 WebPreferences 21 WebChanges 21 MizarTwiki 17 TopicClassification 17 ErrorNo302 16 MizarQuestion 16 BugReport
Jul 2003	4611	0	0	230 WebStatistics 159 WebHome 73 MizarFAQ 50 MizarMode 49 MizarTwiki 43 ErrorNo734 37 WebPreferences 36 WebChanges 34 ErrorNo302 33 StructuredPitfalls 29 ErrorNo144
Jun 2003	2673	0	0	155 WebHome 100 WebStatistics 56 MizarFAQ 48 MizarMode 41 MizarTwiki 34 WebChanges 31 ErrorNo302 26 ErrorNo42 26 ErrorNo144 22 WebPreferences 20 ErrorMessage
May 2003	4380	0	0	169 WebHome 148 WebStatistics 84 MizarFAQ 73 MizarMode 51 MizarTwiki 45 ErrorNo302 39 ErrorNo42 38 WebChanges 32 WebPreferences 31 ErrorNo144 29 XmlForMizar
Apr 2003	4383	0	0	159 WebHome 147 WebStatistics 37 MizarFAQ 34 WebPreferences 33 MizarMode 29 WebNotify 28 MizarTwiki 25 BugReport 24 WebForm 23 TopicClassification 22 MizarQuestion
Mar 2003	2078	2	1	143 WebHome 50 WebStatistics 31 MizarMode 25 WebNotify 22 WebPreferences 22 MizarQuestion 19 ErrorMessage 18 StructuredPitfalls 18 MizarFAQ 15 MmlDevelopement 14 WebForm	3 WikiRoot
Feb 2003	2247	1	0	125 WebHome 108 WebStatistics 32 MizarMode 30 WebNotify 30 MizarFAQ 26 WebPreferences 24 BugReport 23 TopicClassification 22 MizarTwiki 20 AnsweredQuestions 19 WebForm	1 WikiRoot
Jan 2003	3587	2	0	160 WebHome 76 WebStatistics 39 MizarMode 37 WebPreferences 33 MizarFAQ 27 WebNotify 26 MizarTwiki 25 AnsweredQuestions 24 WebForm 22 TopicClassification 22 MizarQuestion	2 WikiRoot
Dec 2002	1065	0	0	143 WebHome 28 MizarMode 16 WebPreferences 15 WebNotify 11 MoMM 9 TestQA 9 MmlQuery 9 MmlQueryExamples 9 FeatureBrainstorming 8 XmlForMizar 8 MizarFAQ
Nov 2002	950	0	0	141 WebHome 16 MizarMode 14 MizarFAQ 13 WebNotify 11 MizarTwiki 10 MizarQuestion 9 JournalOfFormalizedMathematics 8 WebTopicList 8 WebPreferences 8 ErrorMessage 8 AllErrorMessages
Oct 2002	1234	0	0	71 WebHome 31 MizarMode 17 MizarFAQ 12 ErrorMessage 11 MizarQuestion 9 BugReport 8 WebIndex 7 WebTopicList 7 WebSearch 7 MizarTechniques 7 MizarLanguage
Sep 2002	481	0	0	58 WebHome 14 MizarMode 11 MizarFAQ 7 WebIndex 7 AnsweredQuestions 6 MizarQuestion 6 FeatureBrainstorming 6 BugReport 5 XmlForMizar 5 StructureImplementation 5 MizarTechniques
Aug 2002	1155	28	1	131 WebHome 26 WebChanges 25 WebStatistics 21 MizarMode 19 XmlForMizar 17 MmlQuery 13 MmlQueryExamples 12 MizarFAQ 12 FeatureBrainstorming 12 ErrorNo143 11 BadErrorMessages	15 GrzegorzBancerek 12 JosefUrban 2 WikiRoot
Jul 2002	1407	289	3	344 WebHome 73 BugReport 69 FeatureBrainstorming 68 WebChanges 66 WebPreferences 59 WebStatistics 56 ErrorMessage 49 MizarMode 43 MizarFAQ 39 MizarTwiki 36 MizarQuestion	210 WikiRoot 70 JosefUrban 6 TWikiGuest 5 GrzegorzBancerek 1 AdamGrabowski

Notes:

Do not edit this topic, it is updated automatically. (You can also force an update)
TWikiDocumentation tells you how to enable the automatic updates of the statistics.
Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

to top

End of topic
Skip to action links | Back to top

Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.1678 | > | r1.1677 | > | r1.1676 | Total page history | Backlinks

You are here: Mizar > WebStatistics

to top