Returned 94 matches
(100 formulae, 81 docs)
Lookup 434.350 ms, Re-ranking 2885.004 ms
Found 1285716 tuple postings, 226251 formulae, 23811 documents
1.0000 -1.0000 17.0000
|
|
|
0.6651 -3.0000 11.0000
|
|
|
0.6651 -4.0000 11.0000
|
|
|
0.6468 -1.0000 9.0000
|
|
|
0.6468 -4.0000 8.0000
|
|
|
0.6429 -7.0000 10.0000
|
|
|
0.6258 -8.0000 9.0000
|
|
|
0.5864 -3.0000 8.0000
|
|
|
0.5793 -16.0000 9.0000
|
|
|
0.5470 -2.0000 8.0000
|
|
|
0.5470 -2.0000 8.0000
|
|
|
0.5470 -2.0000 7.0000
|
|
|
0.5470 -3.0000 8.0000
|
|
|
0.5470 -3.0000 8.0000
|
|
|
0.5470 -3.0000 8.0000
|
|
|
0.5470 -4.0000 9.0000
|
|
|
0.5470 -7.0000 8.0000
|
|
|
0.5470 -14.0000 8.0000
|
|
|
0.5470 -19.0000 9.0000
|
|
|
0.5291 -17.0000 8.0000
|
|
|
0.5240 -14.0000 7.0000
|
|
|
0.5076 -2.0000 7.0000
|
|
|
0.5076 -3.0000 7.0000
|
|
|
0.5076 -4.0000 8.0000
|
|
|
0.5076 -5.0000 8.0000
|
|
|
0.5076 -6.0000 8.0000
|
|
|
0.4992 -3.0000 7.0000
|
|
|
0.4898 -7.0000 7.0000
|
|
|
0.4898 -9.0000 7.0000
|
|
|
0.4898 -15.0000 7.0000
|
|
|
0.4681 -3.0000 7.0000
|
|
|
0.4681 -13.0000 7.0000
|
|
|
0.4505 -7.0000 6.0000
|
|
|
0.4505 -9.0000 8.0000
|
|
|
0.4505 -9.0000 6.0000
|
|
|
0.4505 -11.0000 6.0000
|
|
|
0.4444 -4.0000 6.0000
|
|
|
0.4444 -5.0000 7.0000
|
|
|
0.4444 -6.0000 7.0000
|
|
|
0.4444 -11.0000 7.0000
|
|
|
0.4444 -14.0000 7.0000
|
|
|
0.4444 -19.0000 7.0000
|
|
|
0.4315 -7.0000 6.0000
|
|
|
0.4286 -1.0000 6.0000
|
|
|
0.4286 -4.0000 6.0000
|
|
|
0.4286 -5.0000 7.0000
|
|
|
0.4286 -5.0000 6.0000
|
|
|
0.4186 -14.0000 8.0000
|
|
|
0.4045 -7.0000 8.0000
|
|
|
0.4045 -18.0000 8.0000
|
|
|
0.3890 -6.0000 7.0000
|
|
|
0.3890 -8.0000 7.0000
|
|
|
0.3719 -1.0000 7.0000
|
|
|
0.3719 -4.0000 4.0000
|
|
|
0.3719 -8.0000 7.0000
|
|
|
0.3719 -13.0000 5.0000
|
|
|
0.3719 -14.0000 7.0000
|
|
|
0.3644 -4.0000 6.0000
|
|
|
0.3493 -4.0000 6.0000
|
|
|
0.3493 -5.0000 7.0000
|
|
|
0.3493 -5.0000 5.0000
|
|
|
0.3493 -8.0000 8.0000
|
|
|
0.3493 -9.0000 7.0000
|
|
|
0.3493 -9.0000 7.0000
|
|
|
0.3493 -13.0000 7.0000
|
|
|
0.3493 -16.0000 8.0000
|
|
|
0.3493 -17.0000 7.0000
|
|
|
0.3493 -23.0000 8.0000
|
|
|
0.3326 -10.0000 4.0000
|
|
|
0.3326 -10.0000 3.0000
|
|
|
0.3326 -14.0000 5.0000
|
|
|
0.3241 -5.0000 7.0000
|
|
|
0.3241 -6.0000 6.0000
|
|
|
0.3096 -3.0000 6.0000
|
|
|
0.3096 -3.0000 6.0000
|
|
|
0.3096 -10.0000 7.0000
|
|
|
0.3096 -14.0000 7.0000
|
|
|
0.2932 -8.0000 4.0000
|
|
|
0.2932 -14.0000 5.0000
|
|
|
0.2932 -15.0000 6.0000
|
|
|
0.2932 -17.0000 4.0000
|
|
|
0.2835 -16.0000 8.0000
|
|
|
0.2697 -9.0000 7.0000
|
|
|
0.2697 -12.0000 6.0000
|
|
|
0.2697 -22.0000 7.0000
|
|
|
0.2538 -2.0000 5.0000
|
|
|
0.2538 -3.0000 5.0000
|
|
|
0.2538 -7.0000 5.0000
|
|
|
0.2538 -9.0000 5.0000
|
|
|
0.2538 -10.0000 5.0000
|
|
|
0.2143 -10.0000 4.0000
|
|
|
0.2143 -16.0000 5.0000
|
|
|
0.2143 -16.0000 5.0000
|
|
|
0.2143 -16.0000 3.0000
|
|
|