Returned 88 matches
(100 formulae, 59 docs)
Lookup 1.774 ms, Re-ranking 446.037 ms
Found 6405 tuple postings, 3764 formulae, 1739 documents
1.0000 0.0000 20.0000
|
|
|
1.0000 0.0000 12.0000
|
|
|
1.0000 0.0000 10.0000
|
|
|
1.0000 0.0000 7.0000
|
|
|
0.8411 -2.0000 14.0000
|
|
|
0.8411 -2.0000 12.0000
|
|
|
0.8411 -2.0000 11.0000
|
|
|
0.8411 -2.0000 9.0000
|
|
|
0.8411 -16.0000 11.0000
|
|
|
0.8103 -23.0000 6.0000
|
|
|
0.7774 -2.0000 14.0000
|
|
|
0.7774 -2.0000 11.0000
|
|
|
0.7059 -16.0000 11.0000
|
|
|
0.6920 -2.0000 10.0000
|
|
|
0.6920 -2.0000 8.0000
|
|
|
0.6920 -10.0000 8.0000
|
|
|
0.6920 -17.0000 8.0000
|
|
|
0.6349 -45.0000 11.0000
|
|
|
0.6337 -18.0000 8.0000
|
|
|
0.6124 -4.0000 12.0000
|
|
|
0.5893 0.0000 4.0000
|
|
|
0.5893 -1.0000 6.0000
|
|
|
0.5817 -7.0000 8.0000
|
|
|
0.5817 -12.0000 6.0000
|
|
|
0.5817 -14.0000 9.0000
|
|
|
0.5817 -26.0000 6.0000
|
|
|
0.5607 -11.0000 5.0000
|
|
|
0.4865 -1.0000 5.0000
|
|
|
0.4865 -2.0000 6.0000
|
|
|
0.4865 -2.0000 5.0000
|
|
|
0.4865 -3.0000 4.0000
|
|
|
0.4865 -12.0000 4.0000
|
|
|
0.4865 -13.0000 6.0000
|
|
|
0.4865 -13.0000 4.0000
|
|
|
0.4865 -14.0000 6.0000
|
|
|
0.4865 -15.0000 6.0000
|
|
|
0.4865 -39.0000 9.0000
|
|
|
0.4413 -6.0000 10.0000
|
|
|
0.4413 -10.0000 8.0000
|
|
|
0.4350 0.0000 9.0000
|
|
|
0.4350 0.0000 5.0000
|
|
|
0.4350 -24.0000 5.0000
|
|
|
0.4242 -7.0000 7.0000
|
|
|
0.4242 -12.0000 5.0000
|
|
|
0.4242 -14.0000 8.0000
|
|
|
0.4051 -5.0000 4.0000
|
|
|
0.4051 -9.0000 4.0000
|
|
|
0.4051 -12.0000 5.0000
|
|
|
0.4051 -13.0000 5.0000
|
|
|
0.3836 -7.0000 3.0000
|
|
|
0.3529 -2.0000 5.0000
|
|
|
0.3529 -5.0000 4.0000
|
|
|
0.3529 -9.0000 4.0000
|
|
|
0.3529 -11.0000 4.0000
|
|
|
0.3529 -11.0000 4.0000
|
|
|
0.3529 -14.0000 4.0000
|
|
|
0.3529 -16.0000 4.0000
|
|
|
0.3529 -28.0000 4.0000
|
|
|
0.3448 -5.0000 5.0000
|
|
|
0.3321 -14.0000 6.0000
|
|
|
0.3175 -3.0000 5.0000
|
|
|
0.3175 -17.0000 4.0000
|
|
|
0.3004 -5.0000 4.0000
|
|
|
0.3004 -6.0000 4.0000
|
|
|
0.3004 -7.0000 4.0000
|
|
|
0.3004 -7.0000 4.0000
|
|
|
0.3004 -7.0000 4.0000
|
|
|
0.3004 -8.0000 4.0000
|
|
|
0.3004 -8.0000 4.0000
|
|
|
0.3004 -13.0000 4.0000
|
|
|
0.3004 -15.0000 4.0000
|
|
|
0.2804 -7.0000 3.0000
|
|
|
0.2804 -16.0000 4.0000
|
|
|
0.2629 -8.0000 0.0000
|
|
|
0.2629 -11.0000 4.0000
|
|
|
0.2474 -3.0000 4.0000
|
|
|
0.2474 -8.0000 2.0000
|
|
|
0.2474 -11.0000 4.0000
|
|
|
0.2286 -2.0000 0.0000
|
|
|
0.2286 -4.0000 0.0000
|
|
|
0.2286 -6.0000 0.0000
|
|
|
0.2286 -12.0000 2.0000
|
|
|
0.2069 -9.0000 5.0000
|
|
|
0.1379 -2.0000 3.0000
|
|
|
0.1237 -10.0000 3.0000
|
|
|
0.0779 -5.0000 3.0000
|
|
|
0.0690 -12.0000 2.0000
|
|
|
0.0690 -12.0000 2.0000
|
|
|