AxiomHandler
AxiomHandler
|
5.0
5
|
2.2
2,2
|
0.6571429
65,7%
|
0.6571429
|
RuleHandler
RuleHandler
|
5.0
5
|
3.0
3
|
0.6862745
68,6%
|
0.6862745
|
FunctionDefinitionHandler
FunctionDefinitionHandler
|
6.0
6
|
2.8333333
2,83
|
0.76666665
76,7%
|
0.76666665
|
PredicateDefinitionHandler
PredicateDefinitionHandler
|
6.0
6
|
2.8333333
2,83
|
0.76666665
76,7%
|
0.76666665
|
LatexHandler
LatexHandler
|
6.0
6
|
2.0
2
|
0.7941176
79,4%
|
0.7941176
|
LatexListHandler
LatexListHandler
|
6.0
6
|
1.8333334
1,83
|
0.8064516
80,6%
|
0.8064516
|
LiteratureItemHandler
LiteratureItemHandler
|
5.0
5
|
1.4
1,4
|
0.8095238
81%
|
0.8095238
|
ProofHandler
ProofHandler
|
5.0
5
|
1.4
1,4
|
0.8181818
81,8%
|
0.8181818
|
AuthorListHandler
AuthorListHandler
|
5.0
5
|
1.8
1,8
|
0.84
84%
|
0.84
|
FormulaHandler
FormulaHandler
|
5.0
5
|
1.8
1,8
|
0.84
84%
|
0.84
|
LiteratureItemListHandler
LiteratureItemListHandler
|
5.0
5
|
1.8
1,8
|
0.84
84%
|
0.84
|
TermHandler
TermHandler
|
5.0
5
|
1.8
1,8
|
0.84
84%
|
0.84
|
UsedByListHandler
UsedByListHandler
|
5.0
5
|
1.8
1,8
|
0.84
84%
|
0.84
|
VariableListHandler
VariableListHandler
|
5.0
5
|
1.8
1,8
|
0.84615386
84,6%
|
0.84615386
|
AuthorHandler
AuthorHandler
|
5.0
5
|
1.8
1,8
|
0.8518519
85,2%
|
0.8518519
|
ImportListHandler
ImportListHandler
|
5.0
5
|
2.2
2,2
|
0.8787879
87,9%
|
0.8787879
|
SubsectionListHandler
SubsectionListHandler
|
5.0
5
|
2.2
2,2
|
0.88235295
88,2%
|
0.88235295
|
SpecificationHandler
SpecificationHandler
|
5.0
5
|
2.2
2,2
|
0.8888889
88,9%
|
0.8888889
|
SubsectionHandler
SubsectionHandler
|
5.0
5
|
2.2
2,2
|
0.8947368
89,5%
|
0.8947368
|
PropositionHandler
PropositionHandler
|
5.0
5
|
2.6
2,6
|
0.90909094
90,9%
|
0.90909094
|
QedeqHandler
QedeqHandler
|
5.0
5
|
2.6
2,6
|
0.90909094
90,9%
|
0.90909094
|
ChapterHandler
ChapterHandler
|
5.0
5
|
2.6
2,6
|
0.9111111
91,1%
|
0.9111111
|
SectionHandler
SectionHandler
|
5.0
5
|
2.6
2,6
|
0.9111111
91,1%
|
0.9111111
|
HeaderHandler
HeaderHandler
|
5.0
5
|
3.8
3,8
|
0.9444444
94,4%
|
0.9444444
|
NodeHandler
NodeHandler
|
5.0
5
|
5.0
5
|
0.96
96%
|
0.96
|