Returned 91 matches
(100 formulae, 111 docs)
Lookup 405.035 ms, Re-ranking 469.943 ms
Found 7445454 tuple postings, 5202654 formulae, 2703066 documents
0.4878 -17.0000 11.0000
|
|
|
0.4412 -2.0000 8.0000
|
|
|
0.4412 -6.0000 8.0000
|
|
|
0.4412 -8.0000 8.0000
|
|
|
0.4412 -9.0000 9.0000
|
|
|
0.4412 -18.0000 8.0000
|
|
|
0.4145 -14.0000 9.0000
|
|
|
0.4145 -15.0000 9.0000
|
|
|
0.3945 -5.0000 7.0000
|
|
|
0.3945 -16.0000 9.0000
|
|
|
0.3673 -2.0000 6.0000
|
|
|
0.3673 -8.0000 7.0000
|
|
|
0.3673 -10.0000 7.0000
|
|
|
0.3478 -8.0000 5.0000
|
|
|
0.3364 -11.0000 6.0000
|
|
|
0.3200 -4.0000 8.0000
|
|
|
0.3200 -4.0000 7.0000
|
|
|
0.3200 -6.0000 6.0000
|
|
|
0.3200 -8.0000 8.0000
|
|
|
0.3200 -14.0000 6.0000
|
|
|
0.3011 0.0000 7.0000
|
|
|
0.3011 -1.0000 6.0000
|
|
|
0.3011 -3.0000 4.0000
|
|
|
0.3011 -10.0000 6.0000
|
|
|
0.2724 -2.0000 6.0000
|
|
|
0.2724 -5.0000 7.0000
|
|
|
0.2724 -5.0000 7.0000
|
|
|
0.2724 -7.0000 6.0000
|
|
|
0.2724 -10.0000 5.0000
|
|
|
0.2724 -12.0000 6.0000
|
|
|
0.2724 -18.0000 4.0000
|
|
|
0.2542 -2.0000 6.0000
|
|
|
0.2542 -2.0000 6.0000
|
|
|
0.2542 -2.0000 3.0000
|
|
|
0.2542 -4.0000 4.0000
|
|
|
0.2542 -6.0000 6.0000
|
|
|
0.2542 -6.0000 4.0000
|
|
|
0.2542 -6.0000 3.0000
|
|
|
0.2542 -7.0000 4.0000
|
|
|
0.2542 -8.0000 6.0000
|
|
|
0.2542 -8.0000 5.0000
|
|
|
0.2542 -8.0000 5.0000
|
|
|
0.2542 -8.0000 3.0000
|
|
|
0.2542 -10.0000 4.0000
|
|
|
0.2542 -12.0000 5.0000
|
|
|
0.2542 -13.0000 5.0000
|
|
|
0.2542 -14.0000 5.0000
|
|
|
0.2243 -8.0000 4.0000
|
|
|
0.2243 -8.0000 4.0000
|
|
|
0.2243 -12.0000 5.0000
|
|
|
0.2073 -1.0000 3.0000
|
|
|
0.2073 -3.0000 3.0000
|
|
|
0.2073 -3.0000 3.0000
|
|
|
0.2073 -3.0000 3.0000
|
|
|
0.2073 -6.0000 5.0000
|
|
|
0.2073 -6.0000 4.0000
|
|
|
0.2073 -7.0000 5.0000
|
|
|
0.2073 -7.0000 4.0000
|
|
|
0.2073 -7.0000 4.0000
|
|
|
0.2073 -7.0000 3.0000
|
|
|
0.2073 -8.0000 5.0000
|
|
|
0.2073 -8.0000 5.0000
|
|
|
0.2073 -8.0000 4.0000
|
|
|
0.2073 -8.0000 4.0000
|
|
|
0.2073 -9.0000 5.0000
|
|
|
0.2073 -9.0000 5.0000
|
|
|
0.2073 -9.0000 5.0000
|
|
|
0.2073 -9.0000 3.0000
|
|
|
0.2073 -9.0000 3.0000
|
|
|
0.2073 -12.0000 5.0000
|
|
|
0.2073 -14.0000 5.0000
|
|
|
0.2073 -14.0000 5.0000
|
|
|
0.2073 -14.0000 5.0000
|
|
|
0.2073 -14.0000 4.0000
|
|
|
0.1754 -6.0000 4.0000
|
|
|
0.1754 -8.0000 4.0000
|
|
|
0.1754 -11.0000 3.0000
|
|
|
0.1754 -15.0000 5.0000
|
|
|
0.1600 -4.0000 4.0000
|
|
|
0.1600 -6.0000 4.0000
|
|
|
0.1600 -7.0000 4.0000
|
|
|
0.1600 -7.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -9.0000 4.0000
|
|
|
0.1600 -10.0000 4.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 -14.0000 4.0000
|
|
|
0.1600 -14.0000 4.0000
|
|
|