Returned 41 matches
(100 formulae, 913 docs)
Lookup 73.170 ms, Re-ranking 49.325 ms
Found 941003 tuple postings, 718670 formulae, 752442 documents
0.6486 -4.0000 5.0000
|
|
|
0.4615 0.0000 3.0000
|
|
|
0.4615 0.0000 2.0000
|
|
|
0.4615 0.0000 2.0000
|
|
|
0.4615 0.0000 1.0000
|
|
|
0.4615 -1.0000 2.0000
|
|
|
0.3636 -2.0000 0.0000
|
|
|
0.3636 -3.0000 3.0000
|
|
|
0.3243 0.0000 3.0000
|
|
|
0.3243 0.0000 2.0000
|
|
|
0.3243 0.0000 1.0000
|
|
|
0.3243 -1.0000 2.0000
|
|
|
0.3243 -1.0000 2.0000
|
|
|
0.3243 -2.0000 3.0000
|
|
|
0.3243 -2.0000 2.0000
|
|
|
0.3243 -3.0000 3.0000
|
|
|
0.3243 -3.0000 2.0000
|
|
|
0.3243 -3.0000 2.0000
|
|
|
0.3243 -3.0000 2.0000
|
|
|
0.3243 -3.0000 1.0000
|
|
|
0.3243 -4.0000 3.0000
|
|
|
0.3243 -4.0000 2.0000
|
|
|
0.3243 -4.0000 2.0000
|
|
|
0.2069 -1.0000 2.0000
|
|
|
0.1818 0.0000 2.0000
|
|
|
0.1818 0.0000 2.0000
|
|
|
0.1818 0.0000 1.0000
|
|
|
0.1818 -1.0000 2.0000
|
|
|
0.1818 -1.0000 2.0000
|
|
|
0.1818 -1.0000 2.0000
|
|
|
0.1818 -1.0000 2.0000
|
|
|
0.1818 -1.0000 2.0000
|
|
|
0.1818 -1.0000 2.0000
|
|
|
0.1818 -1.0000 2.0000
|
|
|
0.1818 -1.0000 1.0000
|
|
|
0.1818 -2.0000 2.0000
|
|
|
0.1818 -2.0000 2.0000
|
|
|
0.0909 -1.0000 1.0000
|
|
|
0.0909 -2.0000 1.0000
|
|
|
0.0909 -2.0000 1.0000
|
|
|
0.0909 -2.0000 1.0000
|
|
|