Returned 88 matches
(100 formulae, 85 docs)
Lookup 167.628 ms, Re-ranking 1220.712 ms
Found 570478 tuple postings, 155656 formulae, 21500 documents
0.7136
|
|
|
0.5747
|
|
|
0.5682
|
|
|
0.5241
|
|
|
0.5000
|
|
|
0.4667
|
|
|
0.4630
|
|
|
0.4505
|
|
|
0.4496
|
|
|
0.4386
|
|
|
0.4375
|
|
|
0.4200
|
|
|
0.4176
|
|
|
0.4153
|
|
|
0.4089
|
|
|
0.4065
|
|
|
0.4043
|
|
|
0.3864
|
|
|
0.3858
|
|
|
0.3699
|
|
|
0.3578
|
|
|
0.3537
|
|
|
0.3534
|
|
|
0.3524
|
|
|
0.3467
|
|
|
0.3448
|
|
|
0.3333
|
|
|
0.3326
|
|
|
0.3268
|
|
|
0.3267
|
|
|
0.3239
|
|
|
0.3194
|
|
|
0.3158
|
|
|
0.3122
|
|
|
0.3117
|
|
|
0.3063
|
|
|
0.3049
|
|
|
0.2973
|
|
|
0.2973
|
|
|
0.2933
|
|
|
0.2933
|
|
|
0.2901
|
|
|
0.2879
|
|
|
0.2781
|
|
|
0.2763
|
|
|
0.2763
|
|
|
0.2754
|
|
|
0.2716
|
|
|
0.2708
|
|
|
0.2695
|
|
|
0.2680
|
|
|
0.2658
|
|
|
0.2651
|
|
|
0.2595
|
|
|
0.2590
|
|
|
0.2500
|
|
|
0.2488
|
|
|
0.2391
|
|
|
0.2390
|
|
|
0.2366
|
|
|
0.2366
|
|
|
0.2340
|
|
|
0.2316
|
|
|
0.2293
|
|
|
0.2268
|
|
|
0.2143
|
|
|
0.2045
|
|
|
0.1983
|
|
|
0.1982
|
|
|
0.1897
|
|
|
0.1892
|
|
|
0.1880
|
|
|
0.1867
|
|
|
0.1867
|
|
|
0.1787
|
|
|
0.1750
|
|
|
0.1667
|
|
|
0.1609
|
|
|
0.1556
|
|
|
0.1538
|
|
|
0.1474
|
|
|
0.1474
|
|
|
0.1458
|
|
|
0.1333
|
|
|
0.1279
|
|
|
0.1157
|
|
|
0.1138
|
|
|
0.1111
|
|
|