Returned 96 matches
(100 formulae, 81 docs)
Lookup 13.759 ms, Re-ranking 594.127 ms
Found 173014 tuple postings, 81772 formulae, 15774 documents
1.0000 0.0000 27.0000
|
|
|
0.6400 -4.0000 16.0000
|
|
|
0.6021 -4.0000 12.0000
|
|
|
0.6021 -8.0000 12.0000
|
|
|
0.5469 -4.0000 10.0000
|
|
|
0.5424 -2.0000 12.0000
|
|
|
0.5424 -2.0000 10.0000
|
|
|
0.5424 -5.0000 11.0000
|
|
|
0.5263 -11.0000 9.0000
|
|
|
0.4884 -3.0000 10.0000
|
|
|
0.4803 -4.0000 12.0000
|
|
|
0.4713 -4.0000 9.0000
|
|
|
0.4713 -5.0000 9.0000
|
|
|
0.4713 -12.0000 9.0000
|
|
|
0.4713 -14.0000 9.0000
|
|
|
0.4660 -5.0000 8.0000
|
|
|
0.4504 -8.0000 8.0000
|
|
|
0.4416 -3.0000 10.0000
|
|
|
0.4335 -6.0000 8.0000
|
|
|
0.4335 -7.0000 8.0000
|
|
|
0.4335 -7.0000 7.0000
|
|
|
0.4335 -9.0000 9.0000
|
|
|
0.4276 -4.0000 10.0000
|
|
|
0.4276 -4.0000 7.0000
|
|
|
0.4152 -4.0000 11.0000
|
|
|
0.4124 -3.0000 8.0000
|
|
|
0.4124 -3.0000 8.0000
|
|
|
0.4124 -4.0000 8.0000
|
|
|
0.4124 -5.0000 9.0000
|
|
|
0.4124 -6.0000 9.0000
|
|
|
0.4124 -6.0000 8.0000
|
|
|
0.4028 -3.0000 9.0000
|
|
|
0.3957 -4.0000 8.0000
|
|
|
0.3957 -5.0000 8.0000
|
|
|
0.3957 -6.0000 9.0000
|
|
|
0.3957 -6.0000 8.0000
|
|
|
0.3957 -8.0000 7.0000
|
|
|
0.3957 -9.0000 8.0000
|
|
|
0.3957 -10.0000 9.0000
|
|
|
0.3892 -6.0000 8.0000
|
|
|
0.3892 -7.0000 8.0000
|
|
|
0.3892 -12.0000 9.0000
|
|
|
0.3755 -4.0000 10.0000
|
|
|
0.3755 -19.0000 10.0000
|
|
|
0.3743 -3.0000 8.0000
|
|
|
0.3743 -5.0000 8.0000
|
|
|
0.3743 -6.0000 9.0000
|
|
|
0.3743 -6.0000 8.0000
|
|
|
0.3743 -7.0000 8.0000
|
|
|
0.3743 -10.0000 9.0000
|
|
|
0.3743 -12.0000 9.0000
|
|
|
0.3743 -13.0000 9.0000
|
|
|
0.3743 -17.0000 10.0000
|
|
|
0.3743 -17.0000 8.0000
|
|
|
0.3743 -20.0000 10.0000
|
|
|
0.3579 -1.0000 9.0000
|
|
|
0.3579 -5.0000 7.0000
|
|
|
0.3579 -17.0000 9.0000
|
|
|
0.3506 -6.0000 7.0000
|
|
|
0.3361 -6.0000 8.0000
|
|
|
0.3361 -7.0000 8.0000
|
|
|
0.3361 -8.0000 8.0000
|
|
|
0.3361 -10.0000 8.0000
|
|
|
0.3361 -10.0000 8.0000
|
|
|
0.3361 -11.0000 8.0000
|
|
|
0.3361 -11.0000 8.0000
|
|
|
0.3361 -12.0000 8.0000
|
|
|
0.3361 -12.0000 8.0000
|
|
|
0.3361 -12.0000 8.0000
|
|
|
0.3361 -16.0000 9.0000
|
|
|
0.3361 -24.0000 10.0000
|
|
|
0.3200 -4.0000 8.0000
|
|
|
0.3200 -5.0000 8.0000
|
|
|
0.3200 -5.0000 7.0000
|
|
|
0.3200 -8.0000 8.0000
|
|
|
0.3200 -9.0000 9.0000
|
|
|
0.3200 -10.0000 5.0000
|
|
|
0.3200 -11.0000 8.0000
|
|
|
0.3200 -12.0000 8.0000
|
|
|
0.3200 -15.0000 9.0000
|
|
|
0.2821 -5.0000 7.0000
|
|
|
0.2821 -14.0000 8.0000
|
|
|
0.2821 -21.0000 8.0000
|
|
|
0.2595 -6.0000 6.0000
|
|
|
0.2595 -7.0000 7.0000
|
|
|
0.2595 -13.0000 7.0000
|
|
|
0.2595 -13.0000 4.0000
|
|
|
0.2595 -17.0000 8.0000
|
|
|
0.2442 0.0000 7.0000
|
|
|
0.2442 -4.0000 7.0000
|
|
|
0.2442 -5.0000 7.0000
|
|
|
0.2442 -6.0000 7.0000
|
|
|
0.2208 -7.0000 7.0000
|
|
|
0.2208 -8.0000 7.0000
|
|
|
0.2208 -11.0000 7.0000
|
|
|
0.2062 -16.0000 6.0000
|
|
|