Returned 99 matches
(100 formulae, 63 docs)
Lookup 34.881 ms, Re-ranking 0.150 ms
Found 408439 tuple postings, 134996 formulae, 19866 documents
1.0000
|
|
|
0.5894
|
|
|
0.4394
|
|
|
0.3290
|
|
|
0.3194
|
|
|
0.2754
|
|
|
0.2507
|
|
|
0.2426
|
|
|
0.2353
|
|
|
0.2163
|
|
|
0.2161
|
|
|
0.2120
|
|
|
0.2118
|
|
|
0.2079
|
|
|
0.2060
|
|
|
0.2042
|
|
|
0.2033
|
|
|
0.2031
|
|
|
0.2012
|
|
|
0.2005
|
|
|
0.1995
|
|
|
0.1978
|
|
|
0.1971
|
|
|
0.1956
|
|
|
0.1935
|
|
|
0.1916
|
|
|
0.1897
|
|
|
0.1891
|
|
|
0.1818
|
|
|
0.1816
|
|
|
0.1806
|
|
|
0.1802
|
|
|
0.1782
|
|
|
0.1757
|
|
|
0.1753
|
|
|
0.1709
|
|
|
0.1701
|
|
|
0.1681
|
|
|
0.1653
|
|
|
0.1634
|
|
|
0.1632
|
|
|
0.1624
|
|
|
0.1620
|
|
|
0.1609
|
|
|
0.1600
|
|
|
0.1597
|
|
|
0.1588
|
|
|
0.1580
|
|
|
0.1570
|
|
|
0.1566
|
|
|
0.1563
|
|
|
0.1558
|
|
|
0.1541
|
|
|
0.1529
|
|
|
0.1523
|
|
|
0.1519
|
|
|
0.1515
|
|
|
0.1504
|
|
|
0.1477
|
|
|
0.1476
|
|
|
0.1471
|
|
|
0.1460
|
|
|
0.1455
|
|
|
0.1454
|
|
|
0.1444
|
|
|
0.1440
|
|
|
0.1439
|
|
|
0.1437
|
|
|
0.1429
|
|
|
0.1427
|
|
|
0.1416
|
|
|
0.1404
|
|
|
0.1395
|
|
|
0.1389
|
|
|
0.1388
|
|
|
0.1370
|
|
|
0.1363
|
|
|
0.1362
|
|
|
0.1361
|
|
|
0.1346
|
|
|
0.1345
|
|
|
0.1331
|
|
|
0.1327
|
|
|
0.1323
|
|
|
0.1313
|
|
|
0.1309
|
|
|
0.1301
|
|
|
0.1300
|
|
|
0.1299
|
|
|
0.1278
|
|
|
0.1278
|
|
|
0.1272
|
|
|
0.1268
|
|
|
0.1268
|
|
|
0.1262
|
|
|
0.1253
|
|
|
0.1246
|
|
|
0.1241
|
|
|
0.1236
|
|
|