Returned 72 matches
(100 formulae, 91 docs)
Lookup 0.998 ms, Re-ranking 213.921 ms
Found 1653 tuple postings, 1347 formulae, 760 documents
1.0000
|
|
|
0.7396
|
|
|
0.5256
|
|
|
0.5000
|
|
|
0.4896
|
|
|
0.4615
|
|
|
0.3952
|
|
|
0.3836
|
|
|
0.3429
|
|
|
0.3333
|
|
|
0.3333
|
|
|
0.2785
|
|
|
0.2385
|
|
|
0.2361
|
|
|
0.2348
|
|
|
0.2344
|
|
|
0.2254
|
|
|
0.2203
|
|
|
0.2174
|
|
|
0.2055
|
|
|
0.2000
|
|
|
0.1875
|
|
|
0.1835
|
|
|
0.1765
|
|
|
0.1698
|
|
|
0.1687
|
|
|
0.1649
|
|
|
0.1636
|
|
|
0.1636
|
|
|
0.1607
|
|
|
0.1532
|
|
|
0.1525
|
|
|
0.1525
|
|
|
0.1525
|
|
|
0.1500
|
|
|
0.1443
|
|
|
0.1413
|
|
|
0.1386
|
|
|
0.1343
|
|
|
0.1319
|
|
|
0.1316
|
|
|
0.1238
|
|
|
0.1227
|
|
|
0.1169
|
|
|
0.1154
|
|
|
0.1091
|
|
|
0.1091
|
|
|
0.1071
|
|
|
0.1071
|
|
|
0.1053
|
|
|
0.1053
|
|
|
0.1034
|
|
|
0.1017
|
|
|
0.1017
|
|
|
0.1017
|
|
|
0.1017
|
|
|
0.1017
|
|
|
0.1017
|
|
|
0.1017
|
|
|
0.1012
|
|
|
0.0987
|
|
|
0.0975
|
|
|
0.0903
|
|
|
0.0882
|
|
|
0.0882
|
|
|
0.0874
|
|
|
0.0865
|
|
|
0.0818
|
|
|
0.0733
|
|
|
0.0678
|
|
|
0.0678
|
|
|
0.0385
|
|
|