Returned 76 matches
(100 formulae, 67 docs)
Lookup 170.162 ms, Re-ranking 2065.019 ms
Found 258025 tuple postings, 77679 formulae, 14745 documents
1.0000 -8.0000 14.0000
|
|
|
1.0000 -10.0000 14.0000
|
|
|
0.9172 -17.0000 13.0000
|
|
|
0.8322 -2.0000 9.0000
|
|
|
0.8322 -7.0000 12.0000
|
|
|
0.8322 -8.0000 12.0000
|
|
|
0.8322 -13.0000 12.0000
|
|
|
0.8322 -17.0000 12.0000
|
|
|
0.8322 -19.0000 12.0000
|
|
|
0.8322 -19.0000 12.0000
|
|
|
0.8322 -19.0000 12.0000
|
|
|
0.8322 -22.0000 12.0000
|
|
|
0.8322 -23.0000 12.0000
|
|
|
0.8322 -24.0000 12.0000
|
|
|
0.8322 -29.0000 12.0000
|
|
|
0.7836 -12.0000 9.0000
|
|
|
0.7544 -9.0000 11.0000
|
|
|
0.7000 -1.0000 10.0000
|
|
|
0.7000 -2.0000 10.0000
|
|
|
0.7000 -4.0000 8.0000
|
|
|
0.7000 -6.0000 10.0000
|
|
|
0.7000 -31.0000 10.0000
|
|
|
0.6889 -6.0000 9.0000
|
|
|
0.6889 -15.0000 10.0000
|
|
|
0.6681 -8.0000 10.0000
|
|
|
0.6681 -8.0000 8.0000
|
|
|
0.6681 -10.0000 10.0000
|
|
|
0.6681 -19.0000 10.0000
|
|
|
0.6522 -4.0000 10.0000
|
|
|
0.6522 -4.0000 10.0000
|
|
|
0.6522 -4.0000 10.0000
|
|
|
0.6522 -4.0000 9.0000
|
|
|
0.6522 -4.0000 9.0000
|
|
|
0.6522 -4.0000 9.0000
|
|
|
0.6522 -5.0000 10.0000
|
|
|
0.6522 -5.0000 10.0000
|
|
|
0.6522 -5.0000 10.0000
|
|
|
0.6522 -5.0000 10.0000
|
|
|
0.6522 -5.0000 9.0000
|
|
|
0.6522 -5.0000 9.0000
|
|
|
0.6522 -6.0000 10.0000
|
|
|
0.6522 -7.0000 10.0000
|
|
|
0.6522 -10.0000 10.0000
|
|
|
0.6522 -13.0000 9.0000
|
|
|
0.6522 -14.0000 10.0000
|
|
|
0.6456 -11.0000 8.0000
|
|
|
0.6132 -6.0000 9.0000
|
|
|
0.5957 -8.0000 9.0000
|
|
|
0.5911 -8.0000 8.0000
|
|
|
0.5581 -9.0000 8.0000
|
|
|
0.5581 -13.0000 7.0000
|
|
|
0.5581 -16.0000 7.0000
|
|
|
0.5366 -4.0000 8.0000
|
|
|
0.5217 -3.0000 8.0000
|
|
|
0.5217 -3.0000 8.0000
|
|
|
0.5217 -3.0000 8.0000
|
|
|
0.5217 -3.0000 8.0000
|
|
|
0.5217 -3.0000 8.0000
|
|
|
0.5217 -4.0000 8.0000
|
|
|
0.5217 -4.0000 8.0000
|
|
|
0.5217 -5.0000 8.0000
|
|
|
0.5217 -5.0000 8.0000
|
|
|
0.5217 -5.0000 8.0000
|
|
|
0.5217 -5.0000 8.0000
|
|
|
0.5217 -5.0000 8.0000
|
|
|
0.5217 -6.0000 8.0000
|
|
|
0.5029 -18.0000 7.0000
|
|
|
0.4819 -1.0000 7.0000
|
|
|
0.4819 -1.0000 7.0000
|
|
|
0.4819 -1.0000 7.0000
|
|
|
0.4819 -2.0000 7.0000
|
|
|
0.4819 -2.0000 7.0000
|
|
|
0.4819 -6.0000 6.0000
|
|
|
0.4814 -13.0000 7.0000
|
|
|
0.4586 -8.0000 6.0000
|
|
|
0.4473 -8.0000 6.0000
|
|
|