Returned 90 matches
(100 formulae, 80 docs)
Lookup 11.889 ms, Re-ranking 1336.288 ms
Found 149682 tuple postings, 83810 formulae, 16394 documents
1.0000
|
|
|
0.3210
|
|
|
0.3005
|
|
|
0.2918
|
|
|
0.2558
|
|
|
0.2515
|
|
|
0.2427
|
|
|
0.2404
|
|
|
0.2358
|
|
|
0.2079
|
|
|
0.1916
|
|
|
0.1905
|
|
|
0.1885
|
|
|
0.1871
|
|
|
0.1870
|
|
|
0.1829
|
|
|
0.1818
|
|
|
0.1809
|
|
|
0.1801
|
|
|
0.1789
|
|
|
0.1779
|
|
|
0.1762
|
|
|
0.1758
|
|
|
0.1758
|
|
|
0.1751
|
|
|
0.1684
|
|
|
0.1667
|
|
|
0.1624
|
|
|
0.1619
|
|
|
0.1608
|
|
|
0.1590
|
|
|
0.1574
|
|
|
0.1558
|
|
|
0.1557
|
|
|
0.1538
|
|
|
0.1532
|
|
|
0.1531
|
|
|
0.1529
|
|
|
0.1518
|
|
|
0.1503
|
|
|
0.1498
|
|
|
0.1481
|
|
|
0.1479
|
|
|
0.1477
|
|
|
0.1466
|
|
|
0.1457
|
|
|
0.1457
|
|
|
0.1445
|
|
|
0.1444
|
|
|
0.1438
|
|
|
0.1438
|
|
|
0.1429
|
|
|
0.1429
|
|
|
0.1410
|
|
|
0.1405
|
|
|
0.1402
|
|
|
0.1401
|
|
|
0.1399
|
|
|
0.1397
|
|
|
0.1385
|
|
|
0.1375
|
|
|
0.1371
|
|
|
0.1368
|
|
|
0.1362
|
|
|
0.1358
|
|
|
0.1350
|
|
|
0.1347
|
|
|
0.1325
|
|
|
0.1306
|
|
|
0.1304
|
|
|
0.1301
|
|
|
0.1283
|
|
|
0.1279
|
|
|
0.1268
|
|
|
0.1264
|
|
|
0.1250
|
|
|
0.1236
|
|
|
0.1229
|
|
|
0.1216
|
|
|
0.1215
|
|
|
0.1215
|
|
|
0.1202
|
|
|
0.1128
|
|
|
0.1122
|
|
|
0.1092
|
|
|
0.1084
|
|
|
0.1066
|
|
|
0.1028
|
|
|
0.0921
|
|
|
0.0815
|
|
|