Returned 73 matches
(100 formulae, 119 docs)
Lookup 2.024 ms, Re-ranking 84.567 ms
Found 8008 tuple postings, 4509 formulae, 2263 documents
1.0000
|
|
|
0.6667
|
|
|
0.6250
|
|
|
0.6087
|
|
|
0.5556
|
|
|
0.5556
|
|
|
0.4815
|
|
|
0.4783
|
|
|
0.4783
|
|
|
0.4783
|
|
|
0.4688
|
|
|
0.4688
|
|
|
0.4688
|
|
|
0.4500
|
|
|
0.4400
|
|
|
0.4375
|
|
|
0.4375
|
|
|
0.4286
|
|
|
0.4231
|
|
|
0.4231
|
|
|
0.4167
|
|
|
0.4074
|
|
|
0.4074
|
|
|
0.4074
|
|
|
0.4074
|
|
|
0.4000
|
|
|
0.4000
|
|
|
0.3947
|
|
|
0.3947
|
|
|
0.3889
|
|
|
0.3810
|
|
|
0.3793
|
|
|
0.3729
|
|
|
0.3667
|
|
|
0.3659
|
|
|
0.3590
|
|
|
0.3478
|
|
|
0.3438
|
|
|
0.3438
|
|
|
0.3438
|
|
|
0.3438
|
|
|
0.3421
|
|
|
0.3415
|
|
|
0.3333
|
|
|
0.3158
|
|
|
0.3143
|
|
|
0.3143
|
|
|
0.3143
|
|
|
0.3077
|
|
|
0.2973
|
|
|
0.2963
|
|
|
0.2963
|
|
|
0.2951
|
|
|
0.2895
|
|
|
0.2895
|
|
|
0.2895
|
|
|
0.2895
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2745
|
|
|
0.2727
|
|
|
0.2667
|
|
|
0.2642
|
|
|
0.2642
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2500
|
|
|
0.2308
|
|
|
0.2286
|
|
|
0.2162
|
|
|
0.2105
|
|
|
0.2000
|
|
|
0.1774
|
|
|