Returned 71 matches
(100 formulae, 90 docs)
Lookup 68.424 ms, Re-ranking 252.903 ms
Found 378329 tuple postings, 78943 formulae, 16863 documents
1.0000
|
|
|
1.0000
|
|
|
0.8458
|
|
|
0.7763
|
|
|
0.7756
|
|
|
0.7711
|
|
|
0.7431
|
|
|
0.6809
|
|
|
0.6479
|
|
|
0.6103
|
|
|
0.5534
|
|
|
0.5517
|
|
|
0.5482
|
|
|
0.5246
|
|
|
0.4950
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4878
|
|
|
0.4830
|
|
|
0.4794
|
|
|
0.4709
|
|
|
0.4696
|
|
|
0.4681
|
|
|
0.4677
|
|
|
0.4674
|
|
|
0.4636
|
|
|
0.4613
|
|
|
0.4598
|
|
|
0.4585
|
|
|
0.4580
|
|
|
0.4564
|
|
|
0.4553
|
|
|
0.4545
|
|
|
0.4408
|
|
|
0.4348
|
|
|
0.4272
|
|
|
0.4270
|
|
|
0.4270
|
|
|
0.4255
|
|
|
0.4255
|
|
|
0.4207
|
|
|
0.4167
|
|
|
0.3922
|
|
|
0.3922
|
|
|
0.3874
|
|
|
0.3774
|
|
|
0.3738
|
|
|
0.3728
|
|
|
0.3667
|
|
|
0.3625
|
|
|
0.3529
|
|
|
0.3492
|
|
|
0.3441
|
|
|
0.3333
|
|
|
0.3251
|
|
|
0.2985
|
|
|
0.2941
|
|
|
0.2667
|
|
|
0.1905
|
|
|
0.1765
|
|
|