Returned 97 matches
(100 formulae, 55 docs)
Lookup 16.844 ms, Re-ranking 1051.077 ms
Found 222920 tuple postings, 88494 formulae, 15993 documents
1.0000 0.0000 27.0000
|
|
|
0.7157 -15.0000 18.0000
|
|
|
0.6946 -25.0000 17.0000
|
|
|
0.6723 -5.0000 14.0000
|
|
|
0.6723 -10.0000 17.0000
|
|
|
0.6723 -11.0000 10.0000
|
|
|
0.6723 -16.0000 18.0000
|
|
|
0.6723 -33.0000 13.0000
|
|
|
0.6566 -17.0000 14.0000
|
|
|
0.6566 -20.0000 17.0000
|
|
|
0.6566 -21.0000 16.0000
|
|
|
0.6566 -27.0000 14.0000
|
|
|
0.6566 -27.0000 14.0000
|
|
|
0.6340 -12.0000 8.0000
|
|
|
0.6340 -25.0000 14.0000
|
|
|
0.6340 -27.0000 15.0000
|
|
|
0.5957 -18.0000 13.0000
|
|
|
0.5957 -21.0000 15.0000
|
|
|
0.5805 -2.0000 10.0000
|
|
|
0.5805 -5.0000 13.0000
|
|
|
0.5805 -7.0000 15.0000
|
|
|
0.5805 -7.0000 13.0000
|
|
|
0.5805 -7.0000 12.0000
|
|
|
0.5805 -16.0000 13.0000
|
|
|
0.5805 -22.0000 13.0000
|
|
|
0.5805 -37.0000 13.0000
|
|
|
0.5574 -13.0000 12.0000
|
|
|
0.5574 -36.0000 13.0000
|
|
|
0.5455 -9.0000 14.0000
|
|
|
0.5455 -9.0000 12.0000
|
|
|
0.5424 -17.0000 13.0000
|
|
|
0.5424 -18.0000 12.0000
|
|
|
0.5424 -22.0000 11.0000
|
|
|
0.5424 -27.0000 12.0000
|
|
|
0.5424 -28.0000 12.0000
|
|
|
0.5326 -23.0000 12.0000
|
|
|
0.5189 -19.0000 15.0000
|
|
|
0.5189 -26.0000 12.0000
|
|
|
0.5189 -29.0000 12.0000
|
|
|
0.5189 -29.0000 12.0000
|
|
|
0.5091 -24.0000 14.0000
|
|
|
0.5061 -11.0000 12.0000
|
|
|
0.5061 -14.0000 12.0000
|
|
|
0.5061 -20.0000 12.0000
|
|
|
0.5042 -16.0000 11.0000
|
|
|
0.4884 -3.0000 10.0000
|
|
|
0.4884 -15.0000 10.0000
|
|
|
0.4803 -16.0000 11.0000
|
|
|
0.4803 -20.0000 12.0000
|
|
|
0.4775 -7.0000 13.0000
|
|
|
0.4775 -10.0000 17.0000
|
|
|
0.4775 -15.0000 13.0000
|
|
|
0.4665 -5.0000 12.0000
|
|
|
0.4665 -7.0000 11.0000
|
|
|
0.4665 -8.0000 13.0000
|
|
|
0.4665 -9.0000 11.0000
|
|
|
0.4665 -12.0000 12.0000
|
|
|
0.4665 -19.0000 12.0000
|
|
|
0.4665 -19.0000 12.0000
|
|
|
0.4660 -8.0000 10.0000
|
|
|
0.4660 -27.0000 11.0000
|
|
|
0.4660 -27.0000 10.0000
|
|
|
0.4545 -4.0000 11.0000
|
|
|
0.4545 -4.0000 10.0000
|
|
|
0.4545 -5.0000 11.0000
|
|
|
0.4545 -5.0000 11.0000
|
|
|
0.4545 -5.0000 10.0000
|
|
|
0.4545 -13.0000 12.0000
|
|
|
0.4545 -16.0000 10.0000
|
|
|
0.4504 -39.0000 10.0000
|
|
|
0.4416 -5.0000 10.0000
|
|
|
0.4416 -5.0000 9.0000
|
|
|
0.4416 -21.0000 11.0000
|
|
|
0.4265 -11.0000 10.0000
|
|
|
0.4152 -15.0000 10.0000
|
|
|
0.4152 -17.0000 9.0000
|
|
|
0.4152 -20.0000 10.0000
|
|
|
0.4124 -3.0000 10.0000
|
|
|
0.4124 -15.0000 10.0000
|
|
|
0.4028 -15.0000 8.0000
|
|
|
0.4028 -25.0000 10.0000
|
|
|
0.3862 -9.0000 12.0000
|
|
|
0.3755 -6.0000 11.0000
|
|
|
0.3755 -6.0000 10.0000
|
|
|
0.3755 -9.0000 9.0000
|
|
|
0.3755 -11.0000 10.0000
|
|
|
0.3755 -16.0000 10.0000
|
|
|
0.3506 -15.0000 9.0000
|
|
|
0.3506 -16.0000 8.0000
|
|
|
0.3506 -20.0000 8.0000
|
|
|
0.3361 -7.0000 10.0000
|
|
|
0.3353 -12.0000 9.0000
|
|
|
0.3118 -14.0000 9.0000
|
|
|
0.2844 -5.0000 7.0000
|
|
|
0.2727 -13.0000 8.0000
|
|
|
0.2595 -16.0000 8.0000
|
|
|
0.2332 -10.0000 8.0000
|
|
|