Returned 92 matches
(100 formulae, 95 docs)
Lookup 1006.440 ms, Re-ranking 4936.525 ms
Found 5254587 tuple postings, 3069801 formulae, 1645617 documents
0.6125 -57.0000 19.0000
|
|
|
0.5858 -46.0000 18.0000
|
|
|
0.5732 -51.0000 18.0000
|
|
|
0.5732 -59.0000 18.0000
|
|
|
0.4492 -35.0000 13.0000
|
|
|
0.3760 -30.0000 10.0000
|
|
|
0.3664 -31.0000 9.0000
|
|
|
0.3063 -10.0000 9.0000
|
|
|
0.2528 -38.0000 4.0000
|
|
|
0.2475 -8.0000 6.0000
|
|
|
0.2475 -12.0000 6.0000
|
|
|
0.2475 -13.0000 5.0000
|
|
|
0.2475 -25.0000 8.0000
|
|
|
0.2374 -7.0000 4.0000
|
|
|
0.2374 -14.0000 6.0000
|
|
|
0.2374 -24.0000 3.0000
|
|
|
0.2366 -25.0000 8.0000
|
|
|
0.2288 -23.0000 8.0000
|
|
|
0.2201 -6.0000 6.0000
|
|
|
0.2201 -6.0000 5.0000
|
|
|
0.2201 -12.0000 6.0000
|
|
|
0.2201 -30.0000 5.0000
|
|
|
0.2143 -16.0000 5.0000
|
|
|
0.2104 -8.0000 7.0000
|
|
|
0.2104 -8.0000 6.0000
|
|
|
0.2104 -9.0000 6.0000
|
|
|
0.2104 -10.0000 5.0000
|
|
|
0.2104 -11.0000 7.0000
|
|
|
0.2104 -11.0000 6.0000
|
|
|
0.2104 -12.0000 6.0000
|
|
|
0.2104 -14.0000 6.0000
|
|
|
0.2104 -14.0000 6.0000
|
|
|
0.2104 -21.0000 6.0000
|
|
|
0.2104 -25.0000 4.0000
|
|
|
0.2007 -7.0000 6.0000
|
|
|
0.2007 -8.0000 5.0000
|
|
|
0.2007 -10.0000 5.0000
|
|
|
0.2007 -33.0000 5.0000
|
|
|
0.1925 -8.0000 6.0000
|
|
|
0.1925 -11.0000 6.0000
|
|
|
0.1925 -12.0000 6.0000
|
|
|
0.1925 -12.0000 6.0000
|
|
|
0.1925 -13.0000 6.0000
|
|
|
0.1925 -14.0000 6.0000
|
|
|
0.1925 -17.0000 5.0000
|
|
|
0.1925 -24.0000 5.0000
|
|
|
0.1893 -30.0000 7.0000
|
|
|
0.1843 -20.0000 4.0000
|
|
|
0.1832 -3.0000 5.0000
|
|
|
0.1832 -3.0000 5.0000
|
|
|
0.1832 -6.0000 5.0000
|
|
|
0.1832 -10.0000 3.0000
|
|
|
0.1832 -13.0000 4.0000
|
|
|
0.1832 -28.0000 5.0000
|
|
|
0.1832 -29.0000 4.0000
|
|
|
0.1786 -7.0000 5.0000
|
|
|
0.1786 -19.0000 5.0000
|
|
|
0.1725 -4.0000 5.0000
|
|
|
0.1725 -4.0000 4.0000
|
|
|
0.1725 -7.0000 4.0000
|
|
|
0.1725 -7.0000 4.0000
|
|
|
0.1725 -9.0000 4.0000
|
|
|
0.1725 -11.0000 4.0000
|
|
|
0.1721 -6.0000 5.0000
|
|
|
0.1721 -8.0000 7.0000
|
|
|
0.1721 -8.0000 6.0000
|
|
|
0.1721 -8.0000 5.0000
|
|
|
0.1721 -19.0000 5.0000
|
|
|
0.1646 -4.0000 5.0000
|
|
|
0.1646 -6.0000 4.0000
|
|
|
0.1646 -8.0000 5.0000
|
|
|
0.1646 -9.0000 4.0000
|
|
|
0.1646 -11.0000 4.0000
|
|
|
0.1559 -4.0000 4.0000
|
|
|
0.1559 -6.0000 4.0000
|
|
|
0.1559 -7.0000 4.0000
|
|
|
0.1559 -10.0000 4.0000
|
|
|
0.1456 -2.0000 4.0000
|
|
|
0.1429 -12.0000 6.0000
|
|
|
0.1363 -4.0000 5.0000
|
|
|
0.1363 -4.0000 4.0000
|
|
|
0.1363 -10.0000 1.0000
|
|
|
0.1363 -12.0000 4.0000
|
|
|
0.1363 -18.0000 4.0000
|
|
|
0.1363 -27.0000 4.0000
|
|
|
0.1283 -4.0000 4.0000
|
|
|
0.1283 -12.0000 3.0000
|
|
|
0.1283 -13.0000 5.0000
|
|
|
0.1187 -5.0000 4.0000
|
|
|
0.1071 -18.0000 3.0000
|
|
|
0.0916 -6.0000 3.0000
|
|
|
0.0916 -7.0000 3.0000
|
|
|