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
|