Returned 97 matches
(100 formulae, 48 docs)
Lookup 1356.520 ms, Re-ranking 40255.016 ms
Found 1729858 tuple postings, 206841 formulae, 22235 documents
0.8590 -13.0000 58.0000
|
|
|
0.4965 -13.0000 32.0000
|
|
|
0.4965 -14.0000 32.0000
|
|
|
0.4825 -40.0000 31.0000
|
|
|
0.4545 -57.0000 26.0000
|
|
|
0.4405 -26.0000 26.0000
|
|
|
0.4405 -29.0000 26.0000
|
|
|
0.4405 -81.0000 25.0000
|
|
|
0.2306 -91.0000 13.0000
|
|
|
0.2026 -4.0000 13.0000
|
|
|
0.1746 -16.0000 9.0000
|
|
|
0.1746 -30.0000 12.0000
|
|
|
0.1746 -54.0000 9.0000
|
|
|
0.1668 -20.0000 4.0000
|
|
|
0.1668 -43.0000 11.0000
|
|
|
0.1582 -12.0000 9.0000
|
|
|
0.1582 -20.0000 7.0000
|
|
|
0.1527 -18.0000 5.0000
|
|
|
0.1527 -22.0000 4.0000
|
|
|
0.1466 -51.0000 8.0000
|
|
|
0.1466 -57.0000 7.0000
|
|
|
0.1440 -37.0000 7.0000
|
|
|
0.1325 -14.0000 8.0000
|
|
|
0.1325 -15.0000 8.0000
|
|
|
0.1325 -21.0000 8.0000
|
|
|
0.1325 -24.0000 7.0000
|
|
|
0.1325 -28.0000 8.0000
|
|
|
0.1325 -28.0000 7.0000
|
|
|
0.1325 -28.0000 6.0000
|
|
|
0.1325 -29.0000 8.0000
|
|
|
0.1325 -34.0000 8.0000
|
|
|
0.1325 -36.0000 5.0000
|
|
|
0.1325 -38.0000 7.0000
|
|
|
0.1325 -52.0000 6.0000
|
|
|
0.1325 -54.0000 8.0000
|
|
|
0.1325 -69.0000 8.0000
|
|
|
0.1297 -27.0000 3.0000
|
|
|
0.1297 -34.0000 4.0000
|
|
|
0.1297 -38.0000 3.0000
|
|
|
0.1297 -42.0000 7.0000
|
|
|
0.1297 -46.0000 7.0000
|
|
|
0.1244 -24.0000 3.0000
|
|
|
0.1244 -26.0000 6.0000
|
|
|
0.1198 -35.0000 4.0000
|
|
|
0.1198 -42.0000 5.0000
|
|
|
0.1185 -28.0000 6.0000
|
|
|
0.1153 -25.0000 4.0000
|
|
|
0.1121 -41.0000 7.0000
|
|
|
0.1102 -20.0000 3.0000
|
|
|
0.1102 -31.0000 2.0000
|
|
|
0.1102 -32.0000 5.0000
|
|
|
0.1102 -36.0000 3.0000
|
|
|
0.1102 -38.0000 4.0000
|
|
|
0.1088 -35.0000 4.0000
|
|
|
0.1051 -35.0000 3.0000
|
|
|
0.1051 -44.0000 3.0000
|
|
|
0.1051 -59.0000 5.0000
|
|
|
0.1051 -60.0000 3.0000
|
|
|
0.1045 -23.0000 4.0000
|
|
|
0.1045 -23.0000 4.0000
|
|
|
0.1008 -42.0000 5.0000
|
|
|
0.1008 -62.0000 4.0000
|
|
|
0.0960 -35.0000 3.0000
|
|
|
0.0960 -54.0000 5.0000
|
|
|
0.0960 -55.0000 5.0000
|
|
|
0.0904 -21.0000 3.0000
|
|
|
0.0904 -25.0000 4.0000
|
|
|
0.0904 -30.0000 4.0000
|
|
|
0.0904 -30.0000 4.0000
|
|
|
0.0904 -31.0000 4.0000
|
|
|
0.0904 -34.0000 4.0000
|
|
|
0.0904 -46.0000 3.0000
|
|
|
0.0904 -51.0000 4.0000
|
|
|
0.0904 -61.0000 3.0000
|
|
|
0.0901 -51.0000 4.0000
|
|
|
0.0901 -64.0000 3.0000
|
|
|
0.0862 -27.0000 3.0000
|
|
|
0.0862 -35.0000 4.0000
|
|
|
0.0862 -42.0000 4.0000
|
|
|
0.0817 -38.0000 3.0000
|
|
|
0.0817 -44.0000 4.0000
|
|
|
0.0763 -30.0000 3.0000
|
|
|
0.0763 -34.0000 3.0000
|
|
|
0.0763 -35.0000 3.0000
|
|
|
0.0763 -43.0000 4.0000
|
|
|
0.0763 -57.0000 4.0000
|
|
|
0.0763 -75.0000 4.0000
|
|
|
0.0672 -39.0000 2.0000
|
|
|
0.0672 -61.0000 4.0000
|
|
|
0.0622 -18.0000 3.0000
|
|
|
0.0622 -20.0000 3.0000
|
|
|
0.0622 -31.0000 3.0000
|
|
|
0.0622 -41.0000 3.0000
|
|
|
0.0622 -41.0000 3.0000
|
|
|
0.0622 -51.0000 3.0000
|
|
|
0.0480 -23.0000 2.0000
|
|
|
0.0480 -45.0000 3.0000
|
|
|