Returned 99 matches
(100 formulae, 64 docs)
Lookup 696.779 ms, Re-ranking 9809.170 ms
Found 813116 tuple postings, 162979 formulae, 20880 documents
0.9046
|
|
|
0.5449
|
|
|
0.4989
|
|
|
0.4390
|
|
|
0.4198
|
|
|
0.4017
|
|
|
0.3671
|
|
|
0.3546
|
|
|
0.3257
|
|
|
0.3239
|
|
|
0.3205
|
|
|
0.3155
|
|
|
0.3135
|
|
|
0.3125
|
|
|
0.3122
|
|
|
0.3077
|
|
|
0.3067
|
|
|
0.3063
|
|
|
0.3046
|
|
|
0.2950
|
|
|
0.2884
|
|
|
0.2850
|
|
|
0.2833
|
|
|
0.2827
|
|
|
0.2825
|
|
|
0.2793
|
|
|
0.2765
|
|
|
0.2751
|
|
|
0.2718
|
|
|
0.2689
|
|
|
0.2662
|
|
|
0.2646
|
|
|
0.2622
|
|
|
0.2619
|
|
|
0.2605
|
|
|
0.2543
|
|
|
0.2523
|
|
|
0.2495
|
|
|
0.2448
|
|
|
0.2393
|
|
|
0.2364
|
|
|
0.2352
|
|
|
0.2299
|
|
|
0.2265
|
|
|
0.2154
|
|
|
0.2139
|
|
|
0.2117
|
|
|
0.2110
|
|
|
0.2097
|
|
|
0.2081
|
|
|
0.2058
|
|
|
0.2008
|
|
|
0.1992
|
|
|
0.1983
|
|
|
0.1940
|
|
|
0.1935
|
|
|
0.1911
|
|
|
0.1859
|
|
|
0.1819
|
|
|
0.1786
|
|
|
0.1785
|
|
|
0.1741
|
|
|
0.1678
|
|
|
0.1662
|
|
|
0.1628
|
|
|
0.1623
|
|
|
0.1609
|
|
|
0.1577
|
|
|
0.1537
|
|
|
0.1529
|
|
|
0.1440
|
|
|
0.1437
|
|
|
0.1408
|
|
|
0.1401
|
|
|
0.1394
|
|
|
0.1386
|
|
|
0.1382
|
|
|
0.1375
|
|
|
0.1346
|
|
|
0.1316
|
|
|
0.1310
|
|
|
0.1267
|
|
|
0.1244
|
|
|
0.1236
|
|
|
0.1231
|
|
|
0.1221
|
|
|
0.1218
|
|
|
0.1204
|
|
|
0.1197
|
|
|
0.1186
|
|
|
0.1143
|
|
|
0.1122
|
|
|
0.1113
|
|
|
0.1063
|
|
|
0.1053
|
|
|
0.1030
|
|
|
0.0991
|
|
|
0.0956
|
|
|
0.0821
|
|
|