Returned 88 matches
(100 formulae, 59 docs)
Lookup 1.774 ms, Re-ranking 853.490 ms
Found 6405 tuple postings, 3764 formulae, 1739 documents
1.0000
|
|
|
0.6933
|
|
|
0.6933
|
|
|
0.6667
|
|
|
0.6600
|
|
|
0.6333
|
|
|
0.5672
|
|
|
0.5448
|
|
|
0.5400
|
|
|
0.5299
|
|
|
0.5200
|
|
|
0.5000
|
|
|
0.4933
|
|
|
0.4867
|
|
|
0.4250
|
|
|
0.4176
|
|
|
0.4167
|
|
|
0.4135
|
|
|
0.3677
|
|
|
0.3607
|
|
|
0.3415
|
|
|
0.3360
|
|
|
0.3277
|
|
|
0.3216
|
|
|
0.3116
|
|
|
0.3000
|
|
|
0.2969
|
|
|
0.2965
|
|
|
0.2943
|
|
|
0.2810
|
|
|
0.2799
|
|
|
0.2743
|
|
|
0.2716
|
|
|
0.2520
|
|
|
0.2519
|
|
|
0.2426
|
|
|
0.2398
|
|
|
0.2371
|
|
|
0.2321
|
|
|
0.2241
|
|
|
0.2239
|
|
|
0.2222
|
|
|
0.2222
|
|
|
0.2186
|
|
|
0.2178
|
|
|
0.2157
|
|
|
0.2149
|
|
|
0.2137
|
|
|
0.2105
|
|
|
0.2097
|
|
|
0.2082
|
|
|
0.2069
|
|
|
0.2055
|
|
|
0.2051
|
|
|
0.1852
|
|
|
0.1849
|
|
|
0.1825
|
|
|
0.1806
|
|
|
0.1801
|
|
|
0.1765
|
|
|
0.1748
|
|
|
0.1735
|
|
|
0.1695
|
|
|
0.1681
|
|
|
0.1678
|
|
|
0.1677
|
|
|
0.1503
|
|
|
0.1503
|
|
|
0.1495
|
|
|
0.1456
|
|
|
0.1455
|
|
|
0.1444
|
|
|
0.1419
|
|
|
0.1406
|
|
|
0.1385
|
|
|
0.1356
|
|
|
0.1282
|
|
|
0.1210
|
|
|
0.1209
|
|
|
0.1087
|
|
|
0.1077
|
|
|
0.1056
|
|
|
0.0851
|
|
|
0.0809
|
|
|
0.0798
|
|
|
0.0678
|
|
|
0.0331
|
|
|
0.0331
|
|
|