Returned 60 matches
(100 formulae, 90 docs)
Lookup 76.388 ms, Re-ranking 207.271 ms
Found 539810 tuple postings, 108618 formulae, 19020 documents
1.0000
|
|
|
0.7838
|
|
|
0.7831
|
|
|
0.7805
|
|
|
0.7430
|
|
|
0.6989
|
|
|
0.6875
|
|
|
0.6819
|
|
|
0.6452
|
|
|
0.6452
|
|
|
0.6243
|
|
|
0.5766
|
|
|
0.5683
|
|
|
0.5668
|
|
|
0.5643
|
|
|
0.5447
|
|
|
0.5436
|
|
|
0.5366
|
|
|
0.5054
|
|
|
0.5000
|
|
|
0.5000
|
|
|
0.5000
|
|
|
0.4783
|
|
|
0.4762
|
|
|
0.4444
|
|
|
0.4444
|
|
|
0.4400
|
|
|
0.4375
|
|
|
0.4375
|
|
|
0.4375
|
|
|
0.4314
|
|
|
0.4235
|
|
|
0.4211
|
|
|
0.4031
|
|
|
0.4000
|
|
|
0.4000
|
|
|
0.3956
|
|
|
0.3956
|
|
|
0.3889
|
|
|
0.3889
|
|
|
0.3784
|
|
|
0.3500
|
|
|
0.3364
|
|
|
0.3186
|
|
|
0.3130
|
|
|
0.3130
|
|
|
0.3056
|
|
|
0.2983
|
|
|
0.2979
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2835
|
|
|
0.2759
|
|
|
0.2667
|
|
|
0.2353
|
|
|
0.2222
|
|
|
0.1898
|
|
|
0.1481
|
|
|
0.1379
|
|
|