Returned 88 matches
(100 formulae, 59 docs)
Lookup 1.774 ms, Re-ranking 723.428 ms
Found 6405 tuple postings, 3764 formulae, 1739 documents
1.0000
|
|
|
0.5224
|
|
|
0.5067
|
|
|
0.5000
|
|
|
0.4800
|
|
|
0.3910
|
|
|
0.3867
|
|
|
0.3867
|
|
|
0.3582
|
|
|
0.3200
|
|
|
0.2836
|
|
|
0.2601
|
|
|
0.2412
|
|
|
0.2235
|
|
|
0.2222
|
|
|
0.1858
|
|
|
0.1778
|
|
|
0.1639
|
|
|
0.1638
|
|
|
0.1600
|
|
|
0.1515
|
|
|
0.1449
|
|
|
0.1416
|
|
|
0.1399
|
|
|
0.1333
|
|
|
0.1306
|
|
|
0.1301
|
|
|
0.1280
|
|
|
0.1258
|
|
|
0.1250
|
|
|
0.1220
|
|
|
0.1207
|
|
|
0.1197
|
|
|
0.1197
|
|
|
0.1197
|
|
|
0.1197
|
|
|
0.1176
|
|
|
0.1157
|
|
|
0.1129
|
|
|
0.1121
|
|
|
0.1118
|
|
|
0.1111
|
|
|
0.1077
|
|
|
0.1045
|
|
|
0.1032
|
|
|
0.1022
|
|
|
0.1017
|
|
|
0.1000
|
|
|
0.1000
|
|
|
0.0990
|
|
|
0.0980
|
|
|
0.0972
|
|
|
0.0966
|
|
|
0.0959
|
|
|
0.0957
|
|
|
0.0941
|
|
|
0.0938
|
|
|
0.0933
|
|
|
0.0930
|
|
|
0.0925
|
|
|
0.0915
|
|
|
0.0912
|
|
|
0.0906
|
|
|
0.0892
|
|
|
0.0879
|
|
|
0.0851
|
|
|
0.0848
|
|
|
0.0845
|
|
|
0.0840
|
|
|
0.0840
|
|
|
0.0828
|
|
|
0.0819
|
|
|
0.0800
|
|
|
0.0791
|
|
|
0.0778
|
|
|
0.0774
|
|
|
0.0746
|
|
|
0.0743
|
|
|
0.0684
|
|
|
0.0678
|
|
|
0.0652
|
|
|
0.0625
|
|
|
0.0559
|
|
|
0.0504
|
|
|
0.0485
|
|
|
0.0331
|
|
|
0.0331
|
|
|
0.0294
|
|
|