Returned 94 matches
(100 formulae, 102 docs)
Lookup 1066.550 ms, Re-ranking 1726.727 ms
Found 7547624 tuple postings, 4615111 formulae, 2203758 documents
0.7219 -6.0000 20.0000
|
|
|
0.7045 -11.0000 16.0000
|
|
|
0.7045 -11.0000 16.0000
|
|
|
0.7045 -15.0000 16.0000
|
|
|
0.7045 -15.0000 15.0000
|
|
|
0.7045 -19.0000 15.0000
|
|
|
0.6861 0.0000 11.0000
|
|
|
0.6861 -1.0000 18.0000
|
|
|
0.6861 -1.0000 15.0000
|
|
|
0.6861 -5.0000 15.0000
|
|
|
0.6861 -5.0000 13.0000
|
|
|
0.6651 -9.0000 18.0000
|
|
|
0.6258 -17.0000 13.0000
|
|
|
0.6258 -30.0000 14.0000
|
|
|
0.6076 -1.0000 16.0000
|
|
|
0.6076 -15.0000 13.0000
|
|
|
0.6076 -16.0000 14.0000
|
|
|
0.6033 -17.0000 15.0000
|
|
|
0.5864 -6.0000 13.0000
|
|
|
0.5864 -8.0000 12.0000
|
|
|
0.5864 -26.0000 14.0000
|
|
|
0.5683 -8.0000 14.0000
|
|
|
0.5683 -10.0000 13.0000
|
|
|
0.5683 -12.0000 12.0000
|
|
|
0.5683 -32.0000 15.0000
|
|
|
0.5470 -5.0000 15.0000
|
|
|
0.5291 -15.0000 12.0000
|
|
|
0.5076 -16.0000 10.0000
|
|
|
0.4992 -3.0000 14.0000
|
|
|
0.4992 -8.0000 15.0000
|
|
|
0.4898 -6.0000 13.0000
|
|
|
0.4898 -7.0000 11.0000
|
|
|
0.4898 -11.0000 11.0000
|
|
|
0.4898 -18.0000 11.0000
|
|
|
0.4843 -4.0000 14.0000
|
|
|
0.4505 -7.0000 12.0000
|
|
|
0.4286 -5.0000 12.0000
|
|
|
0.4286 -7.0000 12.0000
|
|
|
0.4112 -14.0000 11.0000
|
|
|
0.4112 -23.0000 11.0000
|
|
|
0.3890 -6.0000 11.0000
|
|
|
0.3890 -9.0000 9.0000
|
|
|
0.3719 -2.0000 10.0000
|
|
|
0.3719 -3.0000 10.0000
|
|
|
0.3719 -4.0000 10.0000
|
|
|
0.3719 -4.0000 10.0000
|
|
|
0.3719 -24.0000 10.0000
|
|
|
0.3719 -27.0000 10.0000
|
|
|
0.3719 -33.0000 9.0000
|
|
|
0.3493 -3.0000 10.0000
|
|
|
0.3493 -5.0000 10.0000
|
|
|
0.3326 -4.0000 8.0000
|
|
|
0.3096 -4.0000 7.0000
|
|
|
0.3096 -12.0000 9.0000
|
|
|
0.2932 -6.0000 8.0000
|
|
|
0.2932 -8.0000 6.0000
|
|
|
0.2932 -13.0000 6.0000
|
|
|
0.2932 -15.0000 8.0000
|
|
|
0.2932 -15.0000 7.0000
|
|
|
0.2697 -8.0000 8.0000
|
|
|
0.2538 -1.0000 6.0000
|
|
|
0.2538 -5.0000 7.0000
|
|
|
0.2538 -7.0000 5.0000
|
|
|
0.2538 -10.0000 6.0000
|
|
|
0.2538 -10.0000 6.0000
|
|
|
0.2538 -24.0000 7.0000
|
|
|
0.2535 -15.0000 5.0000
|
|
|
0.2424 -2.0000 4.0000
|
|
|
0.2295 -6.0000 5.0000
|
|
|
0.2143 -5.0000 5.0000
|
|
|
0.2143 -6.0000 4.0000
|
|
|
0.2143 -7.0000 6.0000
|
|
|
0.2143 -7.0000 6.0000
|
|
|
0.2143 -7.0000 6.0000
|
|
|
0.2143 -8.0000 6.0000
|
|
|
0.2143 -8.0000 5.0000
|
|
|
0.2143 -10.0000 5.0000
|
|
|
0.2143 -11.0000 6.0000
|
|
|
0.2143 -11.0000 5.0000
|
|
|
0.2143 -12.0000 5.0000
|
|
|
0.2143 -13.0000 6.0000
|
|
|
0.2143 -14.0000 6.0000
|
|
|
0.2143 -16.0000 6.0000
|
|
|
0.2143 -16.0000 5.0000
|
|
|
0.2143 -18.0000 6.0000
|
|
|
0.1890 -9.0000 6.0000
|
|
|
0.1890 -10.0000 6.0000
|
|
|
0.1747 -6.0000 5.0000
|
|
|
0.1747 -8.0000 5.0000
|
|
|
0.1747 -9.0000 5.0000
|
|
|
0.1747 -11.0000 5.0000
|
|
|
0.1747 -12.0000 5.0000
|
|
|
0.1747 -12.0000 5.0000
|
|
|
0.1747 -19.0000 5.0000
|
|
|