Returned 44 matches
(100 formulae, 81 docs)
Lookup 31.836 ms, Re-ranking 213.823 ms
Found 214650 tuple postings, 60465 formulae, 13785 documents
0.6627
|
|
|
0.6522
|
|
|
0.6522
|
|
|
0.6491
|
|
|
0.6383
|
|
|
0.6227
|
|
|
0.6162
|
|
|
0.6136
|
|
|
0.5951
|
|
|
0.5852
|
|
|
0.5784
|
|
|
0.5766
|
|
|
0.5667
|
|
|
0.5520
|
|
|
0.5434
|
|
|
0.5349
|
|
|
0.5273
|
|
|
0.5273
|
|
|
0.5251
|
|
|
0.5227
|
|
|
0.5035
|
|
|
0.4710
|
|
|
0.4700
|
|
|
0.4242
|
|
|
0.4242
|
|
|
0.4193
|
|
|
0.4183
|
|
|
0.4162
|
|
|
0.4098
|
|
|
0.4080
|
|
|
0.4070
|
|
|
0.4029
|
|
|
0.3930
|
|
|
0.3911
|
|
|
0.3763
|
|
|
0.3636
|
|
|
0.3618
|
|
|
0.3529
|
|
|
0.3462
|
|
|
0.3226
|
|
|
0.3226
|
|
|
0.3175
|
|
|
0.3043
|
|
|
0.3000
|
|
|