Returned 87 matches
(100 formulae, 77 docs)
Lookup 14.361 ms, Re-ranking 470.767 ms
Found 269562 tuple postings, 145567 formulae, 19534 documents
1.0000 0.0000 22.0000
|
|
|
0.5553 -2.0000 12.0000
|
|
|
0.4878 -1.0000 10.0000
|
|
|
0.4412 -3.0000 9.0000
|
|
|
0.3945 -4.0000 9.0000
|
|
|
0.3945 -5.0000 8.0000
|
|
|
0.3673 -8.0000 7.0000
|
|
|
0.3509 -10.0000 9.0000
|
|
|
0.3200 -7.0000 7.0000
|
|
|
0.3200 -14.0000 7.0000
|
|
|
0.3200 -15.0000 7.0000
|
|
|
0.3011 -2.0000 6.0000
|
|
|
0.3011 -3.0000 6.0000
|
|
|
0.3011 -5.0000 6.0000
|
|
|
0.3011 -7.0000 6.0000
|
|
|
0.3011 -21.0000 7.0000
|
|
|
0.2724 -3.0000 7.0000
|
|
|
0.2724 -17.0000 4.0000
|
|
|
0.2724 -22.0000 4.0000
|
|
|
0.2542 -2.0000 6.0000
|
|
|
0.2542 -3.0000 6.0000
|
|
|
0.2542 -5.0000 6.0000
|
|
|
0.2542 -6.0000 6.0000
|
|
|
0.2542 -6.0000 4.0000
|
|
|
0.2542 -7.0000 6.0000
|
|
|
0.2542 -10.0000 6.0000
|
|
|
0.2542 -11.0000 4.0000
|
|
|
0.2542 -12.0000 6.0000
|
|
|
0.2542 -14.0000 6.0000
|
|
|
0.2542 -16.0000 5.0000
|
|
|
0.2383 -18.0000 4.0000
|
|
|
0.2243 -2.0000 6.0000
|
|
|
0.2243 -4.0000 3.0000
|
|
|
0.2243 -7.0000 6.0000
|
|
|
0.2243 -7.0000 5.0000
|
|
|
0.2243 -9.0000 4.0000
|
|
|
0.2073 -2.0000 5.0000
|
|
|
0.2073 -2.0000 3.0000
|
|
|
0.2073 -4.0000 5.0000
|
|
|
0.2073 -4.0000 5.0000
|
|
|
0.2073 -4.0000 3.0000
|
|
|
0.2073 -5.0000 5.0000
|
|
|
0.2073 -5.0000 5.0000
|
|
|
0.2073 -5.0000 3.0000
|
|
|
0.2073 -6.0000 5.0000
|
|
|
0.2073 -6.0000 5.0000
|
|
|
0.2073 -6.0000 2.0000
|
|
|
0.2073 -7.0000 5.0000
|
|
|
0.2073 -7.0000 3.0000
|
|
|
0.2073 -8.0000 4.0000
|
|
|
0.2073 -8.0000 4.0000
|
|
|
0.2073 -9.0000 4.0000
|
|
|
0.2073 -9.0000 3.0000
|
|
|
0.2073 -12.0000 3.0000
|
|
|
0.2073 -14.0000 3.0000
|
|
|
0.2073 -20.0000 3.0000
|
|
|
0.1875 -8.0000 5.0000
|
|
|
0.1875 -36.0000 4.0000
|
|
|
0.1754 -6.0000 4.0000
|
|
|
0.1754 -7.0000 5.0000
|
|
|
0.1754 -9.0000 4.0000
|
|
|
0.1600 -1.0000 4.0000
|
|
|
0.1600 -2.0000 4.0000
|
|
|
0.1600 -5.0000 4.0000
|
|
|
0.1600 -6.0000 4.0000
|
|
|
0.1600 -6.0000 4.0000
|
|
|
0.1600 -7.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -9.0000 4.0000
|
|
|
0.1600 -9.0000 4.0000
|
|
|
0.1600 -9.0000 4.0000
|
|
|
0.1600 -9.0000 3.0000
|
|
|
0.1600 -10.0000 4.0000
|
|
|
0.1600 -10.0000 4.0000
|
|
|
0.1600 -10.0000 3.0000
|
|
|
0.1600 -12.0000 4.0000
|
|
|
0.1600 -12.0000 3.0000
|
|
|
0.1600 -16.0000 4.0000
|
|
|
0.1600 -19.0000 4.0000
|
|
|
0.1600 -20.0000 4.0000
|
|
|
0.1600 -26.0000 4.0000
|
|
|
0.1121 -3.0000 3.0000
|
|
|
0.1121 -5.0000 3.0000
|
|
|
0.1121 -6.0000 3.0000
|
|
|
0.0625 -6.0000 2.0000
|
|
|