Returned 76 matches
(100 formulae, 70 docs)
Lookup 1.235 ms, Re-ranking 202.577 ms
Found 6944 tuple postings, 3850 formulae, 2057 documents
1.0000
|
|
|
0.5702
|
|
|
0.5207
|
|
|
0.5207
|
|
|
0.5000
|
|
|
0.5000
|
|
|
0.4793
|
|
|
0.4775
|
|
|
0.4775
|
|
|
0.4775
|
|
|
0.4649
|
|
|
0.4646
|
|
|
0.4609
|
|
|
0.4569
|
|
|
0.4380
|
|
|
0.4324
|
|
|
0.4324
|
|
|
0.4240
|
|
|
0.4206
|
|
|
0.4203
|
|
|
0.4046
|
|
|
0.4000
|
|
|
0.3964
|
|
|
0.3897
|
|
|
0.3879
|
|
|
0.3814
|
|
|
0.3782
|
|
|
0.3719
|
|
|
0.3557
|
|
|
0.3355
|
|
|
0.3228
|
|
|
0.3147
|
|
|
0.3140
|
|
|
0.3115
|
|
|
0.3051
|
|
|
0.3016
|
|
|
0.3016
|
|
|
0.2941
|
|
|
0.2923
|
|
|
0.2901
|
|
|
0.2857
|
|
|
0.2836
|
|
|
0.2812
|
|
|
0.2794
|
|
|
0.2789
|
|
|
0.2778
|
|
|
0.2778
|
|
|
0.2714
|
|
|
0.2695
|
|
|
0.2613
|
|
|
0.2578
|
|
|
0.2571
|
|
|
0.2500
|
|
|
0.2459
|
|
|
0.2357
|
|
|
0.2276
|
|
|
0.2273
|
|
|
0.2245
|
|
|
0.2186
|
|
|
0.2185
|
|
|
0.2177
|
|
|
0.2135
|
|
|
0.2074
|
|
|
0.1769
|
|
|
0.1769
|
|
|
0.1731
|
|
|
0.1716
|
|
|
0.1691
|
|
|
0.1684
|
|
|
0.1677
|
|
|
0.1631
|
|
|
0.1554
|
|
|
0.1513
|
|
|
0.1429
|
|
|
0.1359
|
|
|
0.1346
|
|
|