Returned 44 matches
(100 formulae, 81 docs)
Lookup 31.836 ms, Re-ranking 203.029 ms
Found 214650 tuple postings, 60465 formulae, 13785 documents
0.6383
|
|
|
0.5502
|
|
|
0.5035
|
|
|
0.4726
|
|
|
0.4710
|
|
|
0.4367
|
|
|
0.4348
|
|
|
0.4242
|
|
|
0.4242
|
|
|
0.4193
|
|
|
0.4183
|
|
|
0.4162
|
|
|
0.4158
|
|
|
0.4098
|
|
|
0.4091
|
|
|
0.4091
|
|
|
0.4080
|
|
|
0.4070
|
|
|
0.4036
|
|
|
0.4029
|
|
|
0.3930
|
|
|
0.3911
|
|
|
0.3879
|
|
|
0.3832
|
|
|
0.3793
|
|
|
0.3770
|
|
|
0.3770
|
|
|
0.3763
|
|
|
0.3655
|
|
|
0.3636
|
|
|
0.3618
|
|
|
0.3600
|
|
|
0.3587
|
|
|
0.3529
|
|
|
0.3462
|
|
|
0.3396
|
|
|
0.3349
|
|
|
0.3349
|
|
|
0.3349
|
|
|
0.3226
|
|
|
0.3226
|
|
|
0.3175
|
|
|
0.3043
|
|
|
0.3000
|
|
|