Returned 97 matches
(100 formulae, 80 docs)
Lookup 402.595 ms, Re-ranking 1.775 ms
Found 1101455 tuple postings, 181570 formulae, 22149 documents
0.6372
|
|
|
0.4427
|
|
|
0.4275
|
|
|
0.4229
|
|
|
0.4107
|
|
|
0.3969
|
|
|
0.3944
|
|
|
0.3871
|
|
|
0.3817
|
|
|
0.3762
|
|
|
0.3750
|
|
|
0.3740
|
|
|
0.3636
|
|
|
0.3600
|
|
|
0.3529
|
|
|
0.3418
|
|
|
0.3417
|
|
|
0.3415
|
|
|
0.3401
|
|
|
0.3393
|
|
|
0.3380
|
|
|
0.3377
|
|
|
0.3375
|
|
|
0.3333
|
|
|
0.3286
|
|
|
0.3250
|
|
|
0.3243
|
|
|
0.3239
|
|
|
0.3178
|
|
|
0.3134
|
|
|
0.3099
|
|
|
0.3093
|
|
|
0.3077
|
|
|
0.3077
|
|
|
0.3065
|
|
|
0.3038
|
|
|
0.3036
|
|
|
0.3033
|
|
|
0.3019
|
|
|
0.3012
|
|
|
0.3009
|
|
|
0.3007
|
|
|
0.2958
|
|
|
0.2955
|
|
|
0.2945
|
|
|
0.2941
|
|
|
0.2937
|
|
|
0.2937
|
|
|
0.2929
|
|
|
0.2920
|
|
|
0.2914
|
|
|
0.2909
|
|
|
0.2901
|
|
|
0.2899
|
|
|
0.2887
|
|
|
0.2885
|
|
|
0.2873
|
|
|
0.2869
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2830
|
|
|
0.2830
|
|
|
0.2822
|
|
|
0.2822
|
|
|
0.2817
|
|
|
0.2814
|
|
|
0.2810
|
|
|
0.2807
|
|
|
0.2797
|
|
|
0.2795
|
|
|
0.2783
|
|
|
0.2781
|
|
|
0.2781
|
|
|
0.2769
|
|
|
0.2767
|
|
|
0.2754
|
|
|
0.2752
|
|
|
0.2748
|
|
|
0.2740
|
|
|
0.2721
|
|
|
0.2720
|
|
|
0.2712
|
|
|
0.2695
|
|
|
0.2695
|
|
|
0.2687
|
|
|
0.2685
|
|
|
0.2680
|
|
|
0.2679
|
|
|
0.2677
|
|
|
0.2676
|
|
|
0.2673
|
|
|
0.2667
|
|
|
0.2657
|
|
|
0.2652
|
|
|
0.2651
|
|
|
0.2649
|
|
|