Returned 98 matches
(100 formulae, 115 docs)
Lookup 140.501 ms, Re-ranking 4237.138 ms
Found 2283694 tuple postings, 1975222 formulae, 1172776 documents
0.3148 -25.0000 3.0000
|
|
|
0.2827 -28.0000 9.0000
|
|
|
0.2827 -35.0000 9.0000
|
|
|
0.2827 -35.0000 2.0000
|
|
|
0.2827 -35.0000 0.0000
|
|
|
0.2692 0.0000 2.0000
|
|
|
0.2692 -3.0000 2.0000
|
|
|
0.2692 -9.0000 6.0000
|
|
|
0.2622 -13.0000 1.0000
|
|
|
0.2622 -20.0000 2.0000
|
|
|
0.2505 -13.0000 5.0000
|
|
|
0.2505 -14.0000 0.0000
|
|
|
0.2505 -22.0000 1.0000
|
|
|
0.2505 -25.0000 0.0000
|
|
|
0.2373 -1.0000 5.0000
|
|
|
0.2373 -5.0000 5.0000
|
|
|
0.2373 -5.0000 5.0000
|
|
|
0.2373 -5.0000 4.0000
|
|
|
0.2373 -5.0000 2.0000
|
|
|
0.2373 -8.0000 6.0000
|
|
|
0.2373 -10.0000 5.0000
|
|
|
0.2373 -11.0000 4.0000
|
|
|
0.2373 -15.0000 4.0000
|
|
|
0.2293 -11.0000 0.0000
|
|
|
0.2293 -12.0000 1.0000
|
|
|
0.2293 -13.0000 0.0000
|
|
|
0.2293 -13.0000 0.0000
|
|
|
0.2182 -3.0000 5.0000
|
|
|
0.2182 -4.0000 1.0000
|
|
|
0.2182 -5.0000 1.0000
|
|
|
0.2182 -12.0000 1.0000
|
|
|
0.2182 -13.0000 1.0000
|
|
|
0.2182 -15.0000 1.0000
|
|
|
0.2182 -24.0000 4.0000
|
|
|
0.2182 -24.0000 1.0000
|
|
|
0.2182 -26.0000 1.0000
|
|
|
0.2182 -26.0000 1.0000
|
|
|
0.2054 -4.0000 4.0000
|
|
|
0.2054 -4.0000 4.0000
|
|
|
0.2054 -5.0000 4.0000
|
|
|
0.2054 -6.0000 5.0000
|
|
|
0.2054 -6.0000 4.0000
|
|
|
0.2054 -10.0000 4.0000
|
|
|
0.2054 -10.0000 4.0000
|
|
|
0.2054 -12.0000 5.0000
|
|
|
0.2054 -13.0000 5.0000
|
|
|
0.2054 -13.0000 4.0000
|
|
|
0.2054 -13.0000 4.0000
|
|
|
0.2054 -13.0000 1.0000
|
|
|
0.2054 -15.0000 4.0000
|
|
|
0.2054 -16.0000 6.0000
|
|
|
0.2054 -21.0000 7.0000
|
|
|
0.1961 -5.0000 2.0000
|
|
|
0.1961 -5.0000 1.0000
|
|
|
0.1961 -11.0000 2.0000
|
|
|
0.1961 -17.0000 5.0000
|
|
|
0.1857 -4.0000 4.0000
|
|
|
0.1857 -4.0000 2.0000
|
|
|
0.1857 -4.0000 2.0000
|
|
|
0.1857 -4.0000 0.0000
|
|
|
0.1857 -5.0000 0.0000
|
|
|
0.1857 -12.0000 5.0000
|
|
|
0.1857 -13.0000 5.0000
|
|
|
0.1857 -21.0000 4.0000
|
|
|
0.1857 -24.0000 5.0000
|
|
|
0.1734 -1.0000 5.0000
|
|
|
0.1734 -3.0000 2.0000
|
|
|
0.1734 -5.0000 5.0000
|
|
|
0.1734 -5.0000 3.0000
|
|
|
0.1734 -5.0000 2.0000
|
|
|
0.1734 -5.0000 2.0000
|
|
|
0.1734 -6.0000 5.0000
|
|
|
0.1734 -6.0000 5.0000
|
|
|
0.1734 -9.0000 4.0000
|
|
|
0.1734 -11.0000 5.0000
|
|
|
0.1734 -14.0000 5.0000
|
|
|
0.1734 -20.0000 4.0000
|
|
|
0.1734 -25.0000 3.0000
|
|
|
0.1529 -5.0000 0.0000
|
|
|
0.1529 -12.0000 5.0000
|
|
|
0.1529 -16.0000 6.0000
|
|
|
0.1529 -16.0000 6.0000
|
|
|
0.1529 -16.0000 5.0000
|
|
|
0.1529 -28.0000 3.0000
|
|
|
0.1413 -4.0000 4.0000
|
|
|
0.1413 -7.0000 3.0000
|
|
|
0.1413 -14.0000 3.0000
|
|
|
0.1413 -16.0000 4.0000
|
|
|
0.1413 -16.0000 3.0000
|
|
|
0.1195 -8.0000 5.0000
|
|
|
0.1091 -6.0000 4.0000
|
|
|
0.1091 -6.0000 3.0000
|
|
|
0.1091 -6.0000 2.0000
|
|
|
0.1091 -9.0000 4.0000
|
|
|
0.1091 -28.0000 4.0000
|
|
|
0.0913 -19.0000 4.0000
|
|
|
0.0764 -10.0000 3.0000
|
|
|
0.0764 -10.0000 3.0000
|
|
|