Returned 93 matches
(100 formulae, 80 docs)
Lookup 11.889 ms, Re-ranking 0.154 ms
Found 149682 tuple postings, 83810 formulae, 16394 documents
1.0000
|
|
|
0.3154
|
|
|
0.2932
|
|
|
0.2867
|
|
|
0.2734
|
|
|
0.2469
|
|
|
0.2353
|
|
|
0.2330
|
|
|
0.2295
|
|
|
0.2066
|
|
|
0.2061
|
|
|
0.2021
|
|
|
0.2000
|
|
|
0.1921
|
|
|
0.1889
|
|
|
0.1809
|
|
|
0.1803
|
|
|
0.1780
|
|
|
0.1775
|
|
|
0.1746
|
|
|
0.1744
|
|
|
0.1734
|
|
|
0.1726
|
|
|
0.1724
|
|
|
0.1722
|
|
|
0.1720
|
|
|
0.1683
|
|
|
0.1674
|
|
|
0.1667
|
|
|
0.1658
|
|
|
0.1603
|
|
|
0.1600
|
|
|
0.1596
|
|
|
0.1589
|
|
|
0.1586
|
|
|
0.1538
|
|
|
0.1529
|
|
|
0.1509
|
|
|
0.1495
|
|
|
0.1494
|
|
|
0.1478
|
|
|
0.1469
|
|
|
0.1463
|
|
|
0.1455
|
|
|
0.1449
|
|
|
0.1447
|
|
|
0.1441
|
|
|
0.1429
|
|
|
0.1418
|
|
|
0.1413
|
|
|
0.1412
|
|
|
0.1412
|
|
|
0.1411
|
|
|
0.1404
|
|
|
0.1402
|
|
|
0.1395
|
|
|
0.1387
|
|
|
0.1379
|
|
|
0.1379
|
|
|
0.1372
|
|
|
0.1366
|
|
|
0.1348
|
|
|
0.1344
|
|
|
0.1342
|
|
|
0.1342
|
|
|
0.1341
|
|
|
0.1340
|
|
|
0.1333
|
|
|
0.1326
|
|
|
0.1325
|
|
|
0.1325
|
|
|
0.1316
|
|
|
0.1316
|
|
|
0.1310
|
|
|
0.1306
|
|
|
0.1299
|
|
|
0.1294
|
|
|
0.1281
|
|
|
0.1277
|
|
|
0.1266
|
|
|
0.1266
|
|
|
0.1257
|
|
|
0.1250
|
|
|
0.1250
|
|
|
0.1246
|
|
|
0.1243
|
|
|
0.1241
|
|
|
0.1241
|
|
|
0.1240
|
|
|
0.1229
|
|
|
0.1229
|
|
|
0.1224
|
|
|
0.1220
|
|
|