Returned 90 matches
(100 formulae, 80 docs)
Lookup 4.578 ms, Re-ranking 659.901 ms
Found 68715 tuple postings, 42887 formulae, 10694 documents
1.0000
|
|
|
0.3545
|
|
|
0.3493
|
|
|
0.3208
|
|
|
0.3011
|
|
|
0.2758
|
|
|
0.2527
|
|
|
0.2362
|
|
|
0.2255
|
|
|
0.2199
|
|
|
0.2160
|
|
|
0.2160
|
|
|
0.2158
|
|
|
0.2109
|
|
|
0.2009
|
|
|
0.1900
|
|
|
0.1896
|
|
|
0.1882
|
|
|
0.1875
|
|
|
0.1852
|
|
|
0.1839
|
|
|
0.1781
|
|
|
0.1773
|
|
|
0.1771
|
|
|
0.1745
|
|
|
0.1722
|
|
|
0.1676
|
|
|
0.1619
|
|
|
0.1616
|
|
|
0.1611
|
|
|
0.1604
|
|
|
0.1570
|
|
|
0.1567
|
|
|
0.1500
|
|
|
0.1484
|
|
|
0.1478
|
|
|
0.1476
|
|
|
0.1423
|
|
|
0.1405
|
|
|
0.1394
|
|
|
0.1389
|
|
|
0.1385
|
|
|
0.1368
|
|
|
0.1350
|
|
|
0.1339
|
|
|
0.1338
|
|
|
0.1338
|
|
|
0.1320
|
|
|
0.1319
|
|
|
0.1319
|
|
|
0.1313
|
|
|
0.1310
|
|
|
0.1292
|
|
|
0.1285
|
|
|
0.1284
|
|
|
0.1278
|
|
|
0.1266
|
|
|
0.1265
|
|
|
0.1263
|
|
|
0.1262
|
|
|
0.1262
|
|
|
0.1250
|
|
|
0.1231
|
|
|
0.1228
|
|
|
0.1223
|
|
|
0.1208
|
|
|
0.1205
|
|
|
0.1205
|
|
|
0.1174
|
|
|
0.1173
|
|
|
0.1155
|
|
|
0.1140
|
|
|
0.1123
|
|
|
0.1111
|
|
|
0.1095
|
|
|
0.1080
|
|
|
0.1078
|
|
|
0.1073
|
|
|
0.1046
|
|
|
0.1028
|
|
|
0.1016
|
|
|
0.0993
|
|
|
0.0954
|
|
|
0.0948
|
|
|
0.0882
|
|
|
0.0777
|
|
|
0.0699
|
|
|
0.0623
|
|
|
0.0387
|
|
|
0.0353
|
|
|