Returned 88 matches
(100 formulae, 85 docs)
Lookup 167.628 ms, Re-ranking 0.171 ms
Found 570478 tuple postings, 155656 formulae, 21500 documents
0.5833
|
|
|
0.4731
|
|
|
0.4524
|
|
|
0.4471
|
|
|
0.4368
|
|
|
0.4322
|
|
|
0.4321
|
|
|
0.4202
|
|
|
0.4194
|
|
|
0.4151
|
|
|
0.4127
|
|
|
0.4091
|
|
|
0.3977
|
|
|
0.3956
|
|
|
0.3765
|
|
|
0.3758
|
|
|
0.3611
|
|
|
0.3540
|
|
|
0.3525
|
|
|
0.3519
|
|
|
0.3423
|
|
|
0.3380
|
|
|
0.3354
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.3280
|
|
|
0.3279
|
|
|
0.3243
|
|
|
0.3243
|
|
|
0.3188
|
|
|
0.3167
|
|
|
0.3125
|
|
|
0.3056
|
|
|
0.3034
|
|
|
0.3011
|
|
|
0.3000
|
|
|
0.2989
|
|
|
0.2989
|
|
|
0.2979
|
|
|
0.2936
|
|
|
0.2917
|
|
|
0.2892
|
|
|
0.2889
|
|
|
0.2881
|
|
|
0.2879
|
|
|
0.2857
|
|
|
0.2840
|
|
|
0.2826
|
|
|
0.2824
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2821
|
|
|
0.2817
|
|
|
0.2817
|
|
|
0.2796
|
|
|
0.2791
|
|
|
0.2778
|
|
|
0.2766
|
|
|
0.2727
|
|
|
0.2708
|
|
|
0.2708
|
|
|
0.2697
|
|
|
0.2667
|
|
|
0.2667
|
|
|
0.2653
|
|
|
0.2647
|
|
|
0.2637
|
|
|
0.2619
|
|
|
0.2609
|
|
|
0.2609
|
|
|
0.2609
|
|
|
0.2597
|
|
|
0.2593
|
|
|
0.2564
|
|
|
0.2549
|
|
|
0.2549
|
|
|
0.2535
|
|
|
0.2533
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2485
|
|
|
0.2484
|
|
|
0.2478
|
|
|
0.2469
|
|
|
0.2466
|
|
|
0.2456
|
|
|
0.2449
|
|
|