Returned 72 matches
(100 formulae, 60 docs)
Lookup 2.050 ms, Re-ranking 221.987 ms
Found 20787 tuple postings, 16604 formulae, 6491 documents
1.0000
|
|
|
0.6458
|
|
|
0.5000
|
|
|
0.4632
|
|
|
0.4271
|
|
|
0.3636
|
|
|
0.3368
|
|
|
0.3256
|
|
|
0.2857
|
|
|
0.2812
|
|
|
0.2689
|
|
|
0.2673
|
|
|
0.2667
|
|
|
0.2316
|
|
|
0.2188
|
|
|
0.2188
|
|
|
0.2110
|
|
|
0.2095
|
|
|
0.2056
|
|
|
0.2000
|
|
|
0.1964
|
|
|
0.1935
|
|
|
0.1818
|
|
|
0.1786
|
|
|
0.1774
|
|
|
0.1707
|
|
|
0.1707
|
|
|
0.1707
|
|
|
0.1695
|
|
|
0.1679
|
|
|
0.1667
|
|
|
0.1651
|
|
|
0.1647
|
|
|
0.1647
|
|
|
0.1647
|
|
|
0.1609
|
|
|
0.1591
|
|
|
0.1538
|
|
|
0.1522
|
|
|
0.1493
|
|
|
0.1489
|
|
|
0.1474
|
|
|
0.1455
|
|
|
0.1455
|
|
|
0.1455
|
|
|
0.1443
|
|
|
0.1429
|
|
|
0.1429
|
|
|
0.1429
|
|
|
0.1414
|
|
|
0.1400
|
|
|
0.1400
|
|
|
0.1379
|
|
|
0.1351
|
|
|
0.1324
|
|
|
0.1296
|
|
|
0.1266
|
|
|
0.1250
|
|
|
0.1236
|
|
|
0.1228
|
|
|
0.1220
|
|
|
0.1216
|
|
|
0.1143
|
|
|
0.1127
|
|
|
0.1081
|
|
|
0.1053
|
|
|
0.1037
|
|
|
0.0941
|
|
|
0.0851
|
|
|
0.0800
|
|
|
0.0800
|
|
|
0.0792
|
|
|