Returned 91 matches
(100 formulae, 72 docs)
Lookup 11.156 ms, Re-ranking 1673.453 ms
Found 161230 tuple postings, 88417 formulae, 15266 documents
1.0000 0.0000 26.0000
|
|
|
0.7438 -6.0000 15.0000
|
|
|
0.7384 -13.0000 14.0000
|
|
|
0.7384 -15.0000 18.0000
|
|
|
0.6861 -1.0000 12.0000
|
|
|
0.6861 -16.0000 16.0000
|
|
|
0.6651 -14.0000 12.0000
|
|
|
0.6429 -9.0000 18.0000
|
|
|
0.6258 -1.0000 11.0000
|
|
|
0.6258 -2.0000 11.0000
|
|
|
0.6258 -8.0000 8.0000
|
|
|
0.6258 -10.0000 11.0000
|
|
|
0.6258 -17.0000 13.0000
|
|
|
0.6258 -18.0000 16.0000
|
|
|
0.5864 -6.0000 11.0000
|
|
|
0.5864 -9.0000 14.0000
|
|
|
0.5683 -23.0000 9.0000
|
|
|
0.5683 -26.0000 13.0000
|
|
|
0.5683 -46.0000 15.0000
|
|
|
0.5240 -12.0000 11.0000
|
|
|
0.5076 -13.0000 12.0000
|
|
|
0.5076 -14.0000 12.0000
|
|
|
0.4681 -15.0000 12.0000
|
|
|
0.4444 -19.0000 12.0000
|
|
|
0.4186 -25.0000 13.0000
|
|
|
0.4112 -14.0000 9.0000
|
|
|
0.3890 -7.0000 11.0000
|
|
|
0.3890 -12.0000 10.0000
|
|
|
0.3493 -15.0000 8.0000
|
|
|
0.3241 -26.0000 8.0000
|
|
|
0.3096 -6.0000 6.0000
|
|
|
0.3096 -7.0000 6.0000
|
|
|
0.3096 -7.0000 4.0000
|
|
|
0.3096 -14.0000 6.0000
|
|
|
0.3096 -14.0000 6.0000
|
|
|
0.3096 -15.0000 7.0000
|
|
|
0.3096 -17.0000 6.0000
|
|
|
0.2932 -10.0000 7.0000
|
|
|
0.2932 -11.0000 5.0000
|
|
|
0.2932 -14.0000 5.0000
|
|
|
0.2835 -28.0000 6.0000
|
|
|
0.2697 -12.0000 5.0000
|
|
|
0.2632 -23.0000 8.0000
|
|
|
0.2538 -1.0000 7.0000
|
|
|
0.2538 -4.0000 7.0000
|
|
|
0.2538 -11.0000 7.0000
|
|
|
0.2538 -22.0000 5.0000
|
|
|
0.2538 -25.0000 7.0000
|
|
|
0.2535 -25.0000 7.0000
|
|
|
0.2424 -2.0000 8.0000
|
|
|
0.2424 -2.0000 6.0000
|
|
|
0.2424 -3.0000 6.0000
|
|
|
0.2424 -14.0000 7.0000
|
|
|
0.2424 -15.0000 7.0000
|
|
|
0.2424 -20.0000 7.0000
|
|
|
0.2295 -6.0000 5.0000
|
|
|
0.2295 -7.0000 5.0000
|
|
|
0.2143 -1.0000 5.0000
|
|
|
0.2143 -5.0000 4.0000
|
|
|
0.2143 -7.0000 5.0000
|
|
|
0.2143 -7.0000 5.0000
|
|
|
0.2143 -8.0000 5.0000
|
|
|
0.2143 -9.0000 5.0000
|
|
|
0.2143 -9.0000 5.0000
|
|
|
0.2143 -11.0000 6.0000
|
|
|
0.2143 -11.0000 4.0000
|
|
|
0.2143 -12.0000 5.0000
|
|
|
0.2143 -12.0000 4.0000
|
|
|
0.2143 -13.0000 6.0000
|
|
|
0.2143 -13.0000 5.0000
|
|
|
0.2143 -15.0000 6.0000
|
|
|
0.2143 -15.0000 5.0000
|
|
|
0.2143 -16.0000 6.0000
|
|
|
0.2143 -18.0000 5.0000
|
|
|
0.2143 -19.0000 5.0000
|
|
|
0.2143 -21.0000 6.0000
|
|
|
0.2143 -33.0000 6.0000
|
|
|
0.2007 -11.0000 7.0000
|
|
|
0.1890 -28.0000 4.0000
|
|
|
0.1747 -9.0000 5.0000
|
|
|
0.1747 -9.0000 5.0000
|
|
|
0.1747 -10.0000 5.0000
|
|
|
0.1747 -10.0000 5.0000
|
|
|
0.1747 -12.0000 5.0000
|
|
|
0.1747 -13.0000 5.0000
|
|
|
0.1747 -13.0000 5.0000
|
|
|
0.1747 -13.0000 5.0000
|
|
|
0.1747 -14.0000 5.0000
|
|
|
0.1747 -16.0000 5.0000
|
|
|
0.1747 -17.0000 5.0000
|
|
|
0.1747 -30.0000 5.0000
|
|
|