Returned 97 matches
(100 formulae, 52 docs)
Lookup 193.083 ms, Re-ranking 36111.555 ms
Found 552996 tuple postings, 174581 formulae, 20949 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.1582 -32.0000 8.0000
|
|
|
0.1527 -13.0000 6.0000
|
|
|
0.1527 -18.0000 5.0000
|
|
|
0.1527 -22.0000 4.0000
|
|
|
0.1466 -7.0000 8.0000
|
|
|
0.1466 -24.0000 5.0000
|
|
|
0.1466 -51.0000 8.0000
|
|
|
0.1466 -57.0000 7.0000
|
|
|
0.1386 -54.0000 6.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 -38.0000 7.0000
|
|
|
0.1325 -52.0000 6.0000
|
|
|
0.1325 -54.0000 8.0000
|
|
|
0.1297 -27.0000 3.0000
|
|
|
0.1297 -34.0000 4.0000
|
|
|
0.1297 -38.0000 3.0000
|
|
|
0.1244 -24.0000 3.0000
|
|
|
0.1244 -26.0000 6.0000
|
|
|
0.1185 -7.0000 6.0000
|
|
|
0.1185 -15.0000 6.0000
|
|
|
0.1185 -28.0000 6.0000
|
|
|
0.1153 -21.0000 5.0000
|
|
|
0.1153 -25.0000 4.0000
|
|
|
0.1102 -20.0000 3.0000
|
|
|
0.1102 -44.0000 6.0000
|
|
|
0.1102 -44.0000 6.0000
|
|
|
0.1051 -24.0000 4.0000
|
|
|
0.1045 -23.0000 4.0000
|
|
|
0.1008 -23.0000 4.0000
|
|
|
0.1008 -32.0000 6.0000
|
|
|
0.1008 -36.0000 4.0000
|
|
|
0.0960 -11.0000 5.0000
|
|
|
0.0960 -12.0000 6.0000
|
|
|
0.0960 -54.0000 5.0000
|
|
|
0.0960 -55.0000 5.0000
|
|
|
0.0904 -20.0000 3.0000
|
|
|
0.0904 -21.0000 5.0000
|
|
|
0.0904 -21.0000 3.0000
|
|
|
0.0904 -34.0000 4.0000
|
|
|
0.0901 -51.0000 4.0000
|
|
|
0.0862 -12.0000 4.0000
|
|
|
0.0862 -18.0000 2.0000
|
|
|
0.0862 -19.0000 5.0000
|
|
|
0.0862 -26.0000 6.0000
|
|
|
0.0862 -27.0000 3.0000
|
|
|
0.0862 -34.0000 3.0000
|
|
|
0.0862 -35.0000 4.0000
|
|
|
0.0817 -18.0000 3.0000
|
|
|
0.0817 -22.0000 3.0000
|
|
|
0.0817 -38.0000 3.0000
|
|
|
0.0817 -44.0000 4.0000
|
|
|
0.0763 -20.0000 3.0000
|
|
|
0.0763 -22.0000 4.0000
|
|
|
0.0763 -22.0000 3.0000
|
|
|
0.0763 -24.0000 3.0000
|
|
|
0.0763 -27.0000 3.0000
|
|
|
0.0763 -30.0000 3.0000
|
|
|
0.0763 -34.0000 3.0000
|
|
|
0.0763 -38.0000 3.0000
|
|
|
0.0748 -27.0000 4.0000
|
|
|
0.0713 -24.0000 4.0000
|
|
|
0.0672 -20.0000 3.0000
|
|
|
0.0672 -22.0000 4.0000
|
|
|
0.0672 -30.0000 4.0000
|
|
|
0.0672 -61.0000 4.0000
|
|
|
0.0622 -19.0000 3.0000
|
|
|
0.0622 -19.0000 3.0000
|
|
|
0.0622 -20.0000 3.0000
|
|
|
0.0622 -23.0000 3.0000
|
|
|
0.0622 -24.0000 4.0000
|
|
|
0.0622 -29.0000 3.0000
|
|
|
0.0622 -31.0000 3.0000
|
|
|