Returned 94 matches
(100 formulae, 76 docs)
Lookup 7.699 ms, Re-ranking 469.597 ms
Found 130692 tuple postings, 85656 formulae, 15492 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 -2.0000 6.0000
|
|
|
0.3673 -8.0000 7.0000
|
|
|
0.3673 -9.0000 7.0000
|
|
|
0.3509 -10.0000 9.0000
|
|
|
0.3478 -10.0000 6.0000
|
|
|
0.3478 -11.0000 7.0000
|
|
|
0.3478 -12.0000 7.0000
|
|
|
0.3200 -7.0000 7.0000
|
|
|
0.3200 -10.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.2878 -4.0000 6.0000
|
|
|
0.2724 -3.0000 7.0000
|
|
|
0.2542 -2.0000 6.0000
|
|
|
0.2542 -3.0000 6.0000
|
|
|
0.2542 -4.0000 3.0000
|
|
|
0.2542 -5.0000 6.0000
|
|
|
0.2542 -5.0000 6.0000
|
|
|
0.2542 -6.0000 6.0000
|
|
|
0.2542 -6.0000 4.0000
|
|
|
0.2542 -6.0000 4.0000
|
|
|
0.2542 -7.0000 6.0000
|
|
|
0.2542 -7.0000 6.0000
|
|
|
0.2542 -8.0000 4.0000
|
|
|
0.2542 -10.0000 6.0000
|
|
|
0.2542 -10.0000 5.0000
|
|
|
0.2542 -13.0000 6.0000
|
|
|
0.2542 -13.0000 5.0000
|
|
|
0.2542 -14.0000 6.0000
|
|
|
0.2542 -16.0000 5.0000
|
|
|
0.2383 -10.0000 5.0000
|
|
|
0.2243 -4.0000 5.0000
|
|
|
0.2243 -9.0000 4.0000
|
|
|
0.2073 -2.0000 3.0000
|
|
|
0.2073 -4.0000 3.0000
|
|
|
0.2073 -5.0000 5.0000
|
|
|
0.2073 -5.0000 4.0000
|
|
|
0.2073 -5.0000 3.0000
|
|
|
0.2073 -5.0000 3.0000
|
|
|
0.2073 -6.0000 5.0000
|
|
|
0.2073 -6.0000 5.0000
|
|
|
0.2073 -6.0000 3.0000
|
|
|
0.2073 -7.0000 5.0000
|
|
|
0.2073 -7.0000 3.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 -14.0000 2.0000
|
|
|
0.2073 -15.0000 5.0000
|
|
|
0.2073 -20.0000 3.0000
|
|
|
0.1875 -8.0000 5.0000
|
|
|
0.1754 -8.0000 2.0000
|
|
|
0.1754 -9.0000 4.0000
|
|
|
0.1754 -12.0000 3.0000
|
|
|
0.1600 -2.0000 4.0000
|
|
|
0.1600 -2.0000 4.0000
|
|
|
0.1600 -2.0000 3.0000
|
|
|
0.1600 -6.0000 4.0000
|
|
|
0.1600 -6.0000 4.0000
|
|
|
0.1600 -6.0000 3.0000
|
|
|
0.1600 -7.0000 4.0000
|
|
|
0.1600 -7.0000 4.0000
|
|
|
0.1600 -7.0000 4.0000
|
|
|
0.1600 -7.0000 3.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -8.0000 4.0000
|
|
|
0.1600 -8.0000 3.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 -9.0000 3.0000
|
|
|
0.1600 -10.0000 4.0000
|
|
|
0.1600 -10.0000 3.0000
|
|
|
0.1600 -12.0000 3.0000
|
|
|
0.1600 -15.0000 4.0000
|
|
|
0.1600 -16.0000 4.0000
|
|
|
0.1600 -20.0000 4.0000
|
|
|