|
AxiomVo
AxiomVo
|
13.0
13
|
1.0769231
1.08
|
0.7948718
79.5%
|
0.7948718
|
|
PropositionVo
PropositionVo
|
16.0
16
|
1.125
1.12
|
0.8490566
84.9%
|
0.8490566
|
|
FunctionDefinitionVo
FunctionDefinitionVo
|
21.0
21
|
1.0476191
1.05
|
0.8769231
87.7%
|
0.8769231
|
|
PredicateDefinitionVo
PredicateDefinitionVo
|
21.0
21
|
1.0476191
1.05
|
0.8769231
87.7%
|
0.8769231
|
|
RuleVo
RuleVo
|
19.0
19
|
1.1578947
1.16
|
0.8769231
87.7%
|
0.8769231
|
|
AuthorListVo
AuthorListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
AuthorVo
AuthorVo
|
9.0
9
|
1.1111112
1.11
|
1.0
100%
|
1.0
|
|
ChapterListVo
ChapterListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
ChapterVo
ChapterVo
|
13.0
13
|
1.1538461
1.15
|
1.0
100%
|
1.0
|
|
FormulaVo
FormulaVo
|
7.0
7
|
1.2857143
1.29
|
1.0
100%
|
1.0
|
|
HeaderVo
HeaderVo
|
18.0
18
|
1.1111112
1.11
|
1.0
100%
|
1.0
|
|
ImportListVo
ImportListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
ImportVo
ImportVo
|
9.0
9
|
1.1111112
1.11
|
1.0
100%
|
1.0
|
|
LatexListVo
LatexListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
LatexVo
LatexVo
|
9.0
9
|
1.1111112
1.11
|
1.0
100%
|
1.0
|
|
LinkListVo
LinkListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
LiteratureItemListVo
LiteratureItemListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
LiteratureItemVo
LiteratureItemVo
|
8.0
8
|
1.125
1.12
|
1.0
100%
|
1.0
|
|
LocationListVo
LocationListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
LocationVo
LocationVo
|
7.0
7
|
1.2857143
1.29
|
1.0
100%
|
1.0
|
|
NodeVo
NodeVo
|
18.0
18
|
1.0555556
1.06
|
1.0
100%
|
1.0
|
|
ProofListVo
ProofListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
ProofVo
ProofVo
|
10.0
10
|
1.1
1.1
|
1.0
100%
|
1.0
|
|
QedeqVo
QedeqVo
|
11.0
11
|
1.1818181
1.18
|
1.0
100%
|
1.0
|
|
SectionListVo
SectionListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
SectionVo
SectionVo
|
12.0
12
|
1.0833334
1.08
|
1.0
100%
|
1.0
|
|
SpecificationVo
SpecificationVo
|
11.0
11
|
1.0909091
1.09
|
1.0
100%
|
1.0
|
|
SubsectionListVo
SubsectionListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
SubsectionVo
SubsectionVo
|
12.0
12
|
1.0833334
1.08
|
1.0
100%
|
1.0
|
|
TermVo
TermVo
|
7.0
7
|
1.2857143
1.29
|
1.0
100%
|
1.0
|
|
UsedByListVo
UsedByListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|
|
VariableListVo
VariableListVo
|
7.0
7
|
2.142857
2.14
|
1.0
100%
|
1.0
|