Returned 97 matches
(100 formulae, 55 docs)
Lookup 10.853 ms, Re-ranking 8206.518 ms
Found 58577 tuple postings, 33632 formulae, 8479 documents
0.9733 -19.0000 31.0000
|
|
|
0.6392 -78.0000 20.0000
|
|
|
0.6125 -103.0000 19.0000
|
|
|
0.4638 -20.0000 16.0000
|
|
|
0.4207 -34.0000 12.0000
|
|
|
0.4207 -38.0000 14.0000
|
|
|
0.4100 -19.0000 10.0000
|
|
|
0.3485 -18.0000 10.0000
|
|
|
0.3063 -14.0000 9.0000
|
|
|
0.3063 -14.0000 7.0000
|
|
|
0.2843 -17.0000 9.0000
|
|
|
0.2748 -70.0000 9.0000
|
|
|
0.2567 -45.0000 9.0000
|
|
|
0.2475 -12.0000 4.0000
|
|
|
0.2374 -16.0000 8.0000
|
|
|
0.2261 -6.0000 4.0000
|
|
|
0.2261 -29.0000 5.0000
|
|
|
0.2201 -5.0000 5.0000
|
|
|
0.2201 -8.0000 6.0000
|
|
|
0.2201 -9.0000 5.0000
|
|
|
0.2143 -29.0000 7.0000
|
|
|
0.2143 -30.0000 7.0000
|
|
|
0.2104 -5.0000 4.0000
|
|
|
0.2104 -22.0000 2.0000
|
|
|
0.2079 -42.0000 7.0000
|
|
|
0.2007 -14.0000 5.0000
|
|
|
0.2007 -18.0000 6.0000
|
|
|
0.1993 -17.0000 4.0000
|
|
|
0.1925 -9.0000 6.0000
|
|
|
0.1925 -9.0000 5.0000
|
|
|
0.1925 -12.0000 6.0000
|
|
|
0.1832 -4.0000 4.0000
|
|
|
0.1832 -7.0000 5.0000
|
|
|
0.1832 -7.0000 4.0000
|
|
|
0.1832 -10.0000 6.0000
|
|
|
0.1832 -18.0000 5.0000
|
|
|
0.1832 -26.0000 1.0000
|
|
|
0.1786 -12.0000 5.0000
|
|
|
0.1725 -6.0000 4.0000
|
|
|
0.1725 -9.0000 0.0000
|
|
|
0.1725 -25.0000 4.0000
|
|
|
0.1721 -8.0000 5.0000
|
|
|
0.1721 -16.0000 4.0000
|
|
|
0.1646 -4.0000 5.0000
|
|
|
0.1646 -4.0000 4.0000
|
|
|
0.1646 -5.0000 5.0000
|
|
|
0.1646 -5.0000 4.0000
|
|
|
0.1646 -6.0000 5.0000
|
|
|
0.1646 -6.0000 5.0000
|
|
|
0.1559 -2.0000 4.0000
|
|
|
0.1559 -4.0000 4.0000
|
|
|
0.1559 -5.0000 4.0000
|
|
|
0.1559 -13.0000 5.0000
|
|
|
0.1485 -10.0000 5.0000
|
|
|
0.1456 -1.0000 4.0000
|
|
|
0.1456 -5.0000 4.0000
|
|
|
0.1456 -8.0000 4.0000
|
|
|
0.1456 -9.0000 1.0000
|
|
|
0.1456 -34.0000 5.0000
|
|
|
0.1429 -6.0000 4.0000
|
|
|
0.1429 -7.0000 4.0000
|
|
|
0.1429 -14.0000 3.0000
|
|
|
0.1363 -4.0000 4.0000
|
|
|
0.1363 -6.0000 5.0000
|
|
|
0.1363 -7.0000 2.0000
|
|
|
0.1363 -29.0000 2.0000
|
|
|
0.1283 -4.0000 1.0000
|
|
|
0.1283 -8.0000 1.0000
|
|
|
0.1283 -9.0000 3.0000
|
|
|
0.1283 -9.0000 3.0000
|
|
|
0.1283 -10.0000 3.0000
|
|
|
0.1283 -12.0000 4.0000
|
|
|
0.1187 -1.0000 4.0000
|
|
|
0.1187 -6.0000 2.0000
|
|
|
0.1187 -16.0000 0.0000
|
|
|
0.1187 -26.0000 1.0000
|
|
|
0.1187 -26.0000 1.0000
|
|
|
0.1171 -16.0000 2.0000
|
|
|
0.1126 -7.0000 5.0000
|
|
|
0.1126 -7.0000 2.0000
|
|
|
0.1126 -8.0000 1.0000
|
|
|
0.1071 -3.0000 4.0000
|
|
|
0.1071 -5.0000 4.0000
|
|
|
0.1071 -9.0000 4.0000
|
|
|
0.1071 -9.0000 2.0000
|
|
|
0.1071 -9.0000 2.0000
|
|
|
0.1003 -6.0000 4.0000
|
|
|
0.1003 -6.0000 4.0000
|
|
|
0.1003 -8.0000 4.0000
|
|
|
0.1003 -10.0000 4.0000
|
|
|
0.1003 -10.0000 3.0000
|
|
|
0.0916 -5.0000 4.0000
|
|
|
0.0916 -5.0000 4.0000
|
|
|
0.0916 -9.0000 4.0000
|
|
|
0.0916 -10.0000 1.0000
|
|
|
0.0805 -7.0000 3.0000
|
|
|
0.0766 -13.0000 2.0000
|
|
|