Returned 73 matches
(100 formulae, 119 docs)
Lookup 2.024 ms, Re-ranking 65.507 ms
Found 8008 tuple postings, 4509 formulae, 2263 documents
1.0000
|
|
|
0.6087
|
|
|
0.5185
|
|
|
0.4375
|
|
|
0.4375
|
|
|
0.4000
|
|
|
0.3889
|
|
|
0.3810
|
|
|
0.3729
|
|
|
0.3590
|
|
|
0.3500
|
|
|
0.3478
|
|
|
0.3478
|
|
|
0.3478
|
|
|
0.3478
|
|
|
0.3415
|
|
|
0.3200
|
|
|
0.3111
|
|
|
0.3077
|
|
|
0.3077
|
|
|
0.3077
|
|
|
0.2963
|
|
|
0.2963
|
|
|
0.2963
|
|
|
0.2963
|
|
|
0.2963
|
|
|
0.2963
|
|
|
0.2963
|
|
|
0.2963
|
|
|
0.2963
|
|
|
0.2759
|
|
|
0.2745
|
|
|
0.2667
|
|
|
0.2667
|
|
|
0.2642
|
|
|
0.2642
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2456
|
|
|
0.2295
|
|
|
0.2286
|
|
|
0.2286
|
|
|
0.2286
|
|
|
0.2286
|
|
|
0.2286
|
|
|
0.2222
|
|
|
0.2222
|
|
|
0.2222
|
|
|
0.2162
|
|
|
0.2162
|
|
|
0.2121
|
|
|
0.2105
|
|
|
0.2105
|
|
|
0.2105
|
|
|
0.2105
|
|
|
0.2105
|
|
|
0.2105
|
|
|
0.2105
|
|
|
0.1951
|
|
|
0.1778
|
|
|
0.1538
|
|
|
0.1290
|
|
|
0.1067
|
|
|
0.1053
|
|
|