| AuthorListVoTestAuthorListVoTest |
1
1
|
0
0
|
0
0
|
0.0620,062 |
1.0100% |
1.0
|
| AuthorVoTestAuthorVoTest |
1
1
|
0
0
|
0
0
|
0.0620,062 |
1.0100% |
1.0
|
| AxiomVoTestAxiomVoTest |
1
1
|
0
0
|
0
0
|
0.0930,093 |
1.0100% |
1.0
|
| ChapterListVoTestChapterListVoTest |
1
1
|
0
0
|
0
0
|
0.1710,171 |
1.0100% |
1.0
|
| ChapterVoTestChapterVoTest |
1
1
|
0
0
|
0
0
|
0.2350,235 |
1.0100% |
1.0
|
| FormulaVoTestFormulaVoTest |
1
1
|
0
0
|
0
0
|
0.0620,062 |
1.0100% |
1.0
|
| FunctionDefinitionVoTestFunctionDefinitionVoTest |
1
1
|
0
0
|
0
0
|
0.1090,109 |
1.0100% |
1.0
|
| HeaderVoTestHeaderVoTest |
1
1
|
0
0
|
0
0
|
0.0940,094 |
1.0100% |
1.0
|
| ImportListVoTestImportListVoTest |
1
1
|
0
0
|
0
0
|
0.0320,032 |
1.0100% |
1.0
|
| ImportVoTestImportVoTest |
1
1
|
0
0
|
0
0
|
0.0310,031 |
1.0100% |
1.0
|
| LatexListVoTestLatexListVoTest |
1
1
|
0
0
|
0
0
|
0.0310,031 |
1.0100% |
1.0
|
| LatexVoTestLatexVoTest |
1
1
|
0
0
|
0
0
|
0.0160,016 |
1.0100% |
1.0
|
| LinkListVoTestLinkListVoTest |
1
1
|
0
0
|
0
0
|
0.0310,031 |
1.0100% |
1.0
|
| LiteratureItemListVoTestLiteratureItemListVoTest |
1
1
|
0
0
|
0
0
|
0.0470,047 |
1.0100% |
1.0
|
| LiteratureItemVoTestLiteratureItemVoTest |
1
1
|
0
0
|
0
0
|
0.0310,031 |
1.0100% |
1.0
|
| LocationListVoTestLocationListVoTest |
1
1
|
0
0
|
0
0
|
0.0310,031 |
1.0100% |
1.0
|
| LocationVoTestLocationVoTest |
1
1
|
0
0
|
0
0
|
0.0160,016 |
1.0100% |
1.0
|
| NodeVoTestNodeVoTest |
9
9
|
0
0
|
0
0
|
0.1420,142 |
1.0100% |
1.0
|
| PredicateDefinitionVoTestPredicateDefinitionVoTest |
1
1
|
0
0
|
0
0
|
0.0630,063 |
1.0100% |
1.0
|
| ProofListVoTestProofListVoTest |
1
1
|
0
0
|
0
0
|
0.0310,031 |
1.0100% |
1.0
|
| ProofVoTestProofVoTest |
1
1
|
0
0
|
0
0
|
0.0320,032 |
1.0100% |
1.0
|
| PropositionVoTestPropositionVoTest |
1
1
|
0
0
|
0
0
|
0.0470,047 |
1.0100% |
1.0
|
| QedeqVoTestQedeqVoTest |
1
1
|
0
0
|
0
0
|
0.1720,172 |
1.0100% |
1.0
|
| RuleVoTestRuleVoTest |
1
1
|
0
0
|
0
0
|
0.0620,062 |
1.0100% |
1.0
|
| SectionListVoTestSectionListVoTest |
1
1
|
0
0
|
0
0
|
0.0780,078 |
1.0100% |
1.0
|
| SectionVoTestSectionVoTest |
1
1
|
0
0
|
0
0
|
0.0780,078 |
1.0100% |
1.0
|
| SpecificationVoTestSpecificationVoTest |
1
1
|
0
0
|
0
0
|
0.0310,031 |
1.0100% |
1.0
|
| SubsectionListVoTestSubsectionListVoTest |
1
1
|
0
0
|
0
0
|
0.0780,078 |
1.0100% |
1.0
|
| SubsectionVoTestSubsectionVoTest |
1
1
|
0
0
|
0
0
|
0.0320,032 |
1.0100% |
1.0
|
| TermVoTestTermVoTest |
1
1
|
0
0
|
0
0
|
0.0310,031 |
1.0100% |
1.0
|
| UsedByListVoTestUsedByListVoTest |
1
1
|
0
0
|
0
0
|
0.0310,031 |
1.0100% |
1.0
|
| VariableListVoTestVariableListVoTest |
1
1
|
0
0
|
0
0
|
0.0310,031 |
1.0100% |
1.0
|
