Returned 95 matches
(100 formulae, 81 docs)
Lookup 434.350 ms, Re-ranking 0.192 ms
Found 1285716 tuple postings, 226251 formulae, 23811 documents
0.9549
|
|
|
0.5000
|
|
|
0.4887
|
|
|
0.3564
|
|
|
0.3564
|
|
|
0.3478
|
|
|
0.3402
|
|
|
0.3333
|
|
|
0.3269
|
|
|
0.3267
|
|
|
0.3263
|
|
|
0.3179
|
|
|
0.3117
|
|
|
0.3057
|
|
|
0.3036
|
|
|
0.2993
|
|
|
0.2990
|
|
|
0.2990
|
|
|
0.2990
|
|
|
0.2946
|
|
|
0.2915
|
|
|
0.2882
|
|
|
0.2870
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2822
|
|
|
0.2802
|
|
|
0.2763
|
|
|
0.2759
|
|
|
0.2750
|
|
|
0.2742
|
|
|
0.2710
|
|
|
0.2685
|
|
|
0.2647
|
|
|
0.2612
|
|
|
0.2602
|
|
|
0.2576
|
|
|
0.2567
|
|
|
0.2561
|
|
|
0.2537
|
|
|
0.2525
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2489
|
|
|
0.2489
|
|
|
0.2488
|
|
|
0.2488
|
|
|
0.2488
|
|
|
0.2451
|
|
|
0.2424
|
|
|
0.2418
|
|
|
0.2417
|
|
|
0.2414
|
|
|
0.2400
|
|
|
0.2394
|
|
|
0.2348
|
|
|
0.2342
|
|
|
0.2340
|
|
|
0.2327
|
|
|
0.2323
|
|
|
0.2319
|
|
|
0.2319
|
|
|
0.2310
|
|
|
0.2308
|
|
|
0.2304
|
|
|
0.2289
|
|
|
0.2286
|
|
|
0.2268
|
|
|
0.2264
|
|
|
0.2215
|
|
|
0.2213
|
|
|
0.2199
|
|
|
0.2195
|
|
|
0.2192
|
|
|
0.2189
|
|
|
0.2183
|
|
|
0.2182
|
|
|
0.2175
|
|
|
0.2171
|
|
|
0.2167
|
|
|
0.2165
|
|
|
0.2165
|
|
|
0.2164
|
|
|
0.2156
|
|
|
0.2155
|
|
|
0.2146
|
|
|
0.2128
|
|
|
0.2121
|
|
|
0.2119
|
|
|
0.2119
|
|
|
0.2114
|
|
|
0.2111
|
|
|
0.2111
|
|
|
0.2098
|
|
|