Returned 100 matches
(100 formulae, 53 docs)
Lookup 5.870 ms, Re-ranking 720.054 ms
Found 88932 tuple postings, 44940 formulae, 10804 documents
1.0000 0.0000 19.0000
|
|
|
1.0000 0.0000 16.0000
|
|
|
1.0000 0.0000 15.0000
|
|
|
1.0000 0.0000 15.0000
|
|
|
1.0000 -2.0000 15.0000
|
|
|
1.0000 -2.0000 14.0000
|
|
|
1.0000 -4.0000 17.0000
|
|
|
1.0000 -4.0000 16.0000
|
|
|
1.0000 -4.0000 16.0000
|
|
|
1.0000 -4.0000 15.0000
|
|
|
1.0000 -6.0000 17.0000
|
|
|
1.0000 -6.0000 11.0000
|
|
|
1.0000 -7.0000 14.0000
|
|
|
1.0000 -8.0000 15.0000
|
|
|
1.0000 -8.0000 13.0000
|
|
|
1.0000 -8.0000 13.0000
|
|
|
1.0000 -8.0000 12.0000
|
|
|
1.0000 -9.0000 13.0000
|
|
|
1.0000 -10.0000 15.0000
|
|
|
1.0000 -13.0000 11.0000
|
|
|
1.0000 -14.0000 15.0000
|
|
|
1.0000 -15.0000 14.0000
|
|
|
1.0000 -15.0000 11.0000
|
|
|
1.0000 -26.0000 13.0000
|
|
|
1.0000 -27.0000 10.0000
|
|
|
1.0000 -30.0000 16.0000
|
|
|
1.0000 -30.0000 15.0000
|
|
|
1.0000 -30.0000 13.0000
|
|
|
1.0000 -33.0000 11.0000
|
|
|
1.0000 -34.0000 11.0000
|
|
|
1.0000 -36.0000 12.0000
|
|
|
1.0000 -38.0000 10.0000
|
|
|
0.9459 -9.0000 14.0000
|
|
|
0.9459 -16.0000 15.0000
|
|
|
0.9459 -16.0000 14.0000
|
|
|
0.9459 -19.0000 12.0000
|
|
|
0.9459 -43.0000 15.0000
|
|
|
0.8918 -5.0000 11.0000
|
|
|
0.8918 -24.0000 11.0000
|
|
|
0.8918 -36.0000 11.0000
|
|
|
0.8918 -40.0000 10.0000
|
|
|
0.8918 -42.0000 10.0000
|
|
|
0.8377 -1.0000 13.0000
|
|
|
0.8377 -1.0000 13.0000
|
|
|
0.8377 -14.0000 12.0000
|
|
|
0.8377 -17.0000 12.0000
|
|
|
0.8377 -28.0000 12.0000
|
|
|
0.8322 -24.0000 12.0000
|
|
|
0.7836 -2.0000 11.0000
|
|
|
0.7836 -4.0000 12.0000
|
|
|
0.7836 -5.0000 9.0000
|
|
|
0.7836 -6.0000 11.0000
|
|
|
0.7836 -13.0000 11.0000
|
|
|
0.7836 -15.0000 11.0000
|
|
|
0.7836 -22.0000 12.0000
|
|
|
0.7295 -8.0000 10.0000
|
|
|
0.7295 -13.0000 10.0000
|
|
|
0.7295 -15.0000 10.0000
|
|
|
0.7295 -47.0000 10.0000
|
|
|
0.6753 -11.0000 9.0000
|
|
|
0.6753 -14.0000 11.0000
|
|
|
0.6753 -14.0000 10.0000
|
|
|
0.6212 -5.0000 8.0000
|
|
|
0.6212 -10.0000 9.0000
|
|
|
0.6212 -12.0000 8.0000
|
|
|
0.6212 -14.0000 7.0000
|
|
|
0.5957 -23.0000 14.0000
|
|
|
0.5957 -30.0000 14.0000
|
|
|
0.5957 -38.0000 14.0000
|
|
|
0.5670 0.0000 8.0000
|
|
|
0.5670 -17.0000 8.0000
|
|
|
0.5670 -17.0000 7.0000
|
|
|
0.5670 -18.0000 7.0000
|
|
|
0.5389 -30.0000 13.0000
|
|
|
0.5217 -10.0000 12.0000
|
|
|
0.5217 -11.0000 12.0000
|
|
|
0.5217 -27.0000 12.0000
|
|
|
0.5217 -29.0000 12.0000
|
|
|
0.5128 -11.0000 7.0000
|
|
|
0.5128 -17.0000 7.0000
|
|
|
0.4653 -11.0000 11.0000
|
|
|
0.4653 -11.0000 11.0000
|
|
|
0.4653 -11.0000 10.0000
|
|
|
0.4653 -14.0000 10.0000
|
|
|
0.4586 -1.0000 7.0000
|
|
|
0.4586 -21.0000 8.0000
|
|
|
0.4231 -18.0000 9.0000
|
|
|
0.4082 -12.0000 10.0000
|
|
|
0.3913 -4.0000 9.0000
|
|
|
0.3913 -4.0000 6.0000
|
|
|
0.3913 -7.0000 9.0000
|
|
|
0.3913 -8.0000 9.0000
|
|
|
0.3913 -10.0000 9.0000
|
|
|
0.3636 -20.0000 10.0000
|
|
|
0.3636 -21.0000 10.0000
|
|
|
0.3636 -35.0000 10.0000
|
|
|
0.3025 -16.0000 9.0000
|
|
|
0.2909 -14.0000 8.0000
|
|
|
0.2410 -14.0000 5.0000
|
|
|
0.2295 -12.0000 7.0000
|
|
|