Returned 94 matches
(100 formulae, 64 docs)
Lookup 8.724 ms, Re-ranking 96312.626 ms
Found 72637 tuple postings, 34069 formulae, 8849 documents
1.0000 0.0000 113.0000
|
|
|
0.5350 -100.0000 47.0000
|
|
|
0.5328 -13.0000 52.0000
|
|
|
0.4260 -27.0000 42.0000
|
|
|
0.3689 -93.0000 32.0000
|
|
|
0.3600 -80.0000 31.0000
|
|
|
0.3422 -16.0000 30.0000
|
|
|
0.3418 -97.0000 31.0000
|
|
|
0.3333 -53.0000 28.0000
|
|
|
0.3066 -59.0000 29.0000
|
|
|
0.2622 -43.0000 21.0000
|
|
|
0.2575 -6.0000 25.0000
|
|
|
0.2349 -67.0000 23.0000
|
|
|
0.2336 -71.0000 16.0000
|
|
|
0.2308 -41.0000 18.0000
|
|
|
0.2066 -85.0000 17.0000
|
|
|
0.1999 -127.0000 20.0000
|
|
|
0.1902 -95.0000 18.0000
|
|
|
0.1902 -132.0000 21.0000
|
|
|
0.1851 -14.0000 14.0000
|
|
|
0.1821 -156.0000 18.0000
|
|
|
0.1813 -72.0000 18.0000
|
|
|
0.1774 -53.0000 13.0000
|
|
|
0.1761 -24.0000 14.0000
|
|
|
0.1706 -23.0000 14.0000
|
|
|
0.1706 -35.0000 16.0000
|
|
|
0.1685 -9.0000 13.0000
|
|
|
0.1685 -22.0000 15.0000
|
|
|
0.1685 -54.0000 15.0000
|
|
|
0.1685 -54.0000 15.0000
|
|
|
0.1685 -55.0000 15.0000
|
|
|
0.1685 -58.0000 15.0000
|
|
|
0.1648 -24.0000 16.0000
|
|
|
0.1595 -19.0000 14.0000
|
|
|
0.1595 -34.0000 13.0000
|
|
|
0.1506 -10.0000 15.0000
|
|
|
0.1506 -10.0000 13.0000
|
|
|
0.1506 -22.0000 13.0000
|
|
|
0.1466 -12.0000 13.0000
|
|
|
0.1466 -19.0000 13.0000
|
|
|
0.1417 -5.0000 14.0000
|
|
|
0.1417 -14.0000 14.0000
|
|
|
0.1417 -21.0000 13.0000
|
|
|
0.1417 -35.0000 14.0000
|
|
|
0.1417 -49.0000 13.0000
|
|
|
0.1377 -30.0000 12.0000
|
|
|
0.1373 -13.0000 15.0000
|
|
|
0.1343 -60.0000 10.0000
|
|
|
0.1288 -6.0000 11.0000
|
|
|
0.1288 -27.0000 11.0000
|
|
|
0.1288 -63.0000 10.0000
|
|
|
0.1276 -21.0000 12.0000
|
|
|
0.1276 -69.0000 10.0000
|
|
|
0.1020 -6.0000 11.0000
|
|
|
0.1020 -20.0000 12.0000
|
|
|
0.1020 -29.0000 11.0000
|
|
|
0.1020 -63.0000 9.0000
|
|
|
0.1020 -65.0000 11.0000
|
|
|
0.0931 -50.0000 8.0000
|
|
|
0.0931 -51.0000 5.0000
|
|
|
0.0931 -130.0000 10.0000
|
|
|
0.0880 -16.0000 8.0000
|
|
|
0.0880 -16.0000 8.0000
|
|
|
0.0842 -12.0000 9.0000
|
|
|
0.0842 -13.0000 9.0000
|
|
|
0.0842 -16.0000 9.0000
|
|
|
0.0842 -17.0000 9.0000
|
|
|
0.0842 -28.0000 9.0000
|
|
|
0.0842 -30.0000 9.0000
|
|
|
0.0842 -31.0000 9.0000
|
|
|
0.0842 -32.0000 9.0000
|
|
|
0.0842 -32.0000 9.0000
|
|
|
0.0842 -36.0000 9.0000
|
|
|
0.0842 -38.0000 7.0000
|
|
|
0.0842 -39.0000 9.0000
|
|
|
0.0842 -45.0000 9.0000
|
|
|
0.0842 -47.0000 9.0000
|
|
|
0.0842 -49.0000 9.0000
|
|
|
0.0842 -53.0000 9.0000
|
|
|
0.0842 -61.0000 9.0000
|
|
|
0.0842 -63.0000 8.0000
|
|
|
0.0842 -77.0000 9.0000
|
|
|
0.0842 -95.0000 9.0000
|
|
|
0.0791 -64.0000 10.0000
|
|
|
0.0753 -13.0000 8.0000
|
|
|
0.0753 -28.0000 9.0000
|
|
|
0.0753 -30.0000 8.0000
|
|
|
0.0753 -46.0000 7.0000
|
|
| |
|
|
0.0700 -27.0000 7.0000
|
|
|
0.0700 -27.0000 7.0000
|
|
|
0.0664 -20.0000 7.0000
|
|
|
0.0664 -33.0000 7.0000
|
|
|
0.0664 -42.0000 7.0000
|
|
|
0.0664 -53.0000 8.0000
|
|
|