Returned 77 matches
(100 formulae, 90 docs)
Lookup 191.089 ms, Re-ranking 0.125 ms
Found 619909 tuple postings, 183019 formulae, 22250 documents
0.5532
|
|
|
0.4706
|
|
|
0.4300
|
|
|
0.3714
|
|
|
0.3562
|
|
|
0.3363
|
|
|
0.3238
|
|
|
0.3063
|
|
|
0.3063
|
|
|
0.2979
|
|
|
0.2958
|
|
|
0.2957
|
|
|
0.2938
|
|
|
0.2906
|
|
|
0.2897
|
|
|
0.2885
|
|
|
0.2880
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2830
|
|
|
0.2804
|
|
|
0.2787
|
|
|
0.2759
|
|
|
0.2752
|
|
|
0.2745
|
|
|
0.2720
|
|
|
0.2707
|
|
|
0.2703
|
|
|
0.2679
|
|
|
0.2679
|
|
|
0.2667
|
|
|
0.2647
|
|
|
0.2639
|
|
|
0.2632
|
|
|
0.2632
|
|
|
0.2623
|
|
|
0.2623
|
|
|
0.2609
|
|
|
0.2609
|
|
|
0.2609
|
|
|
0.2602
|
|
|
0.2599
|
|
|
0.2586
|
|
|
0.2586
|
|
|
0.2569
|
|
|
0.2564
|
|
|
0.2550
|
|
|
0.2545
|
|
|
0.2542
|
|
|
0.2542
|
|
|
0.2542
|
|
|
0.2540
|
|
|
0.2540
|
|
|
0.2540
|
|
|
0.2540
|
|
|
0.2521
|
|
|
0.2519
|
|
|
0.2517
|
|
|
0.2500
|
|
|
0.2481
|
|
|
0.2479
|
|
|
0.2476
|
|
|
0.2476
|
|
|
0.2472
|
|
|
0.2471
|
|
|
0.2459
|
|
|
0.2454
|
|
|
0.2443
|
|
|
0.2441
|
|
|
0.2439
|
|
|
0.2424
|
|
|
0.2416
|
|
|
0.2406
|
|
|
0.2400
|
|
|
0.2400
|
|
|