Returned 75 matches
(100 formulae, 107 docs)
Lookup 114.141 ms, Re-ranking 220.363 ms
Found 2921478 tuple postings, 2552622 formulae, 1714880 documents
0.9069 -2.0000 15.0000
|
|
|
0.8108 -7.0000 13.0000
|
|
|
0.7494 -3.0000 13.0000
|
|
|
0.7494 -3.0000 13.0000
|
|
|
0.7494 -4.0000 11.0000
|
|
|
0.7494 -7.0000 13.0000
|
|
|
0.7494 -10.0000 13.0000
|
|
|
0.7241 -11.0000 10.0000
|
|
|
0.7107 -4.0000 13.0000
|
|
|
0.6878 -3.0000 10.0000
|
|
|
0.6878 -5.0000 12.0000
|
|
|
0.6878 -5.0000 10.0000
|
|
|
0.6878 -5.0000 10.0000
|
|
|
0.6878 -5.0000 10.0000
|
|
|
0.6878 -5.0000 9.0000
|
|
|
0.6878 -6.0000 12.0000
|
|
|
0.6878 -8.0000 12.0000
|
|
|
0.6878 -9.0000 9.0000
|
|
|
0.6878 -9.0000 9.0000
|
|
|
0.6630 -3.0000 8.0000
|
|
|
0.6630 -4.0000 8.0000
|
|
|
0.6630 -6.0000 9.0000
|
|
|
0.6630 -7.0000 9.0000
|
|
|
0.6630 -8.0000 10.0000
|
|
|
0.6630 -8.0000 9.0000
|
|
|
0.6630 -9.0000 9.0000
|
|
|
0.6630 -9.0000 9.0000
|
|
|
0.6630 -10.0000 9.0000
|
|
|
0.6482 -8.0000 12.0000
|
|
|
0.6358 -11.0000 9.0000
|
|
|
0.6261 -5.0000 12.0000
|
|
|
0.6261 -5.0000 10.0000
|
|
|
0.6261 -5.0000 8.0000
|
|
|
0.6261 -6.0000 9.0000
|
|
|
0.6261 -6.0000 9.0000
|
|
|
0.6261 -6.0000 8.0000
|
|
|
0.6018 -5.0000 10.0000
|
|
|
0.6018 -6.0000 9.0000
|
|
|
0.6018 -6.0000 9.0000
|
|
|
0.6018 -11.0000 10.0000
|
|
|
0.5751 -2.0000 7.0000
|
|
|
0.5751 -3.0000 7.0000
|
|
|
0.5751 -4.0000 9.0000
|
|
|
0.5751 -4.0000 8.0000
|
|
|
0.5751 -6.0000 8.0000
|
|
|
0.5751 -7.0000 8.0000
|
|
|
0.5751 -7.0000 8.0000
|
|
|
0.5751 -7.0000 8.0000
|
|
|
0.5751 -8.0000 8.0000
|
|
|
0.5751 -8.0000 8.0000
|
|
|
0.5751 -8.0000 8.0000
|
|
|
0.5751 -8.0000 8.0000
|
|
|
0.5751 -8.0000 8.0000
|
|
|
0.5751 -8.0000 8.0000
|
|
|
0.5751 -8.0000 8.0000
|
|
|
0.5751 -8.0000 8.0000
|
|
|
0.5751 -8.0000 8.0000
|
|
|
0.5751 -11.0000 9.0000
|
|
|
0.5641 -9.0000 10.0000
|
|
|
0.5405 -5.0000 9.0000
|
|
|
0.5405 -7.0000 8.0000
|
|
|
0.5405 -7.0000 8.0000
|
|
|
0.5405 -8.0000 9.0000
|
|
|
0.5405 -8.0000 8.0000
|
|
|
0.5405 -8.0000 7.0000
|
|
|
0.5220 -6.0000 9.0000
|
|
|
0.5143 -5.0000 8.0000
|
|
|
0.5018 -2.0000 10.0000
|
|
|
0.5018 -8.0000 9.0000
|
|
|
0.4791 -4.0000 8.0000
|
|
|
0.4791 -8.0000 9.0000
|
|
|
0.4174 -8.0000 7.0000
|
|
|
0.4174 -11.0000 7.0000
|
|
|
0.3925 -6.0000 7.0000
|
|
|
0.3925 -6.0000 7.0000
|
|
|