Returned 77 matches
(100 formulae, 70 docs)
Lookup 1.235 ms, Re-ranking 0.223 ms
Found 6944 tuple postings, 3850 formulae, 2057 documents
1.0000
|
|
|
0.4874
|
|
|
0.4538
|
|
|
0.3971
|
|
|
0.3866
|
|
|
0.3623
|
|
|
0.3387
|
|
|
0.3360
|
|
|
0.3303
|
|
|
0.2800
|
|
|
0.2752
|
|
|
0.2689
|
|
|
0.2679
|
|
|
0.2655
|
|
|
0.2632
|
|
|
0.2586
|
|
|
0.2564
|
|
|
0.2521
|
|
|
0.2521
|
|
|
0.2521
|
|
|
0.2500
|
|
|
0.2439
|
|
|
0.2424
|
|
|
0.2419
|
|
|
0.2419
|
|
|
0.2400
|
|
|
0.2385
|
|
|
0.2353
|
|
|
0.2344
|
|
|
0.2338
|
|
|
0.2326
|
|
|
0.2326
|
|
|
0.2273
|
|
|
0.2250
|
|
|
0.2239
|
|
|
0.2239
|
|
|
0.2203
|
|
|
0.2174
|
|
|
0.2151
|
|
|
0.2128
|
|
|
0.2090
|
|
|
0.2083
|
|
|
0.2081
|
|
|
0.2069
|
|
|
0.2041
|
|
|
0.2041
|
|
|
0.2029
|
|
|
0.2018
|
|
|
0.2000
|
|
|
0.1989
|
|
|
0.1972
|
|
|
0.1931
|
|
|
0.1860
|
|
|
0.1835
|
|
|
0.1818
|
|
|
0.1745
|
|
|
0.1719
|
|
|
0.1705
|
|
|
0.1667
|
|
|
0.1651
|
|
|
0.1644
|
|
|
0.1639
|
|
|
0.1635
|
|
|
0.1587
|
|
|
0.1583
|
|
|
0.1552
|
|
|
0.1538
|
|
|
0.1468
|
|
|
0.1467
|
|
|
0.1449
|
|
|
0.1436
|
|
|
0.1429
|
|
|
0.1406
|
|
|
0.1399
|
|
|
0.1386
|
|
|
0.1373
|
|
|
0.1343
|
|
|