Element2Latex.Classlist
Element2Latex.Classlist
|
1.0
1
|
3.0
3
|
0.0
0%
|
0.0
|
Element2Latex.QuantorIntersection
Element2Latex.QuantorIntersection
|
1.0
1
|
4.0
4
|
0.0
0%
|
0.0
|
Element2Latex.QuantorUnion
Element2Latex.QuantorUnion
|
1.0
1
|
4.0
4
|
0.0
0%
|
0.0
|
Element2Latex.Unknown
Element2Latex.Unknown
|
1.0
1
|
3.0
3
|
0.0
0%
|
0.0
|
LatexTextParser
LatexTextParser
|
21.0
21
|
3.047619
3,05
|
0.0
0%
|
0.0
|
Qedeq2Wiki
Qedeq2Wiki
|
16.0
16
|
3.75
3,75
|
0.0
0%
|
0.0
|
Element2Latex.Var
Element2Latex.Var
|
1.0
1
|
10.0
10
|
0.2
20%
|
0.2
|
Element2Latex.Funcon
Element2Latex.Funcon
|
1.0
1
|
12.0
12
|
0.36956522
37%
|
0.36956522
|
LatexListDataException
LatexListDataException
|
2.0
2
|
1.0
1
|
0.5
50%
|
0.5
|
Element2Latex.Predcon
Element2Latex.Predcon
|
1.0
1
|
12.0
12
|
0.67391306
67,4%
|
0.67391306
|
Element2Latex.Funvar
Element2Latex.Funvar
|
1.0
1
|
4.0
4
|
0.8333333
83,3%
|
0.8333333
|
Qedeq2Latex
Qedeq2Latex
|
38.0
38
|
3.7631578
3,76
|
0.8435754
84,4%
|
0.8435754
|
QedeqBoDuplicateLanguageChecker
QedeqBoDuplicateLanguageChecker
|
5.0
5
|
1.8
1,8
|
0.875
87,5%
|
0.875
|
Element2Latex
Element2Latex
|
8.0
8
|
1.5
1,5
|
0.9076923
90,8%
|
0.9076923
|
Element2Latex.BinaryLogical
Element2Latex.BinaryLogical
|
2.0
2
|
3.0
3
|
1.0
100%
|
1.0
|
Element2Latex.Class
Element2Latex.Class
|
1.0
1
|
3.0
3
|
1.0
100%
|
1.0
|
Element2Latex.Not
Element2Latex.Not
|
1.0
1
|
2.0
2
|
1.0
100%
|
1.0
|
Element2Latex.Predvar
Element2Latex.Predvar
|
1.0
1
|
4.0
4
|
1.0
100%
|
1.0
|
Element2Latex.Quantifier
Element2Latex.Quantifier
|
2.0
2
|
4.5
4,5
|
1.0
100%
|
1.0
|