Returned 99 matches
(100 formulae, 64 docs)
Lookup 696.779 ms, Re-ranking 9956.327 ms
Found 813116 tuple postings, 162979 formulae, 20880 documents
0.8093
|
|
|
0.5449
|
|
|
0.4882
|
|
|
0.4390
|
|
|
0.4198
|
|
|
0.4017
|
|
|
0.3671
|
|
|
0.3546
|
|
|
0.3257
|
|
|
0.3239
|
|
|
0.3205
|
|
|
0.3155
|
|
|
0.3135
|
|
|
0.3122
|
|
|
0.3077
|
|
|
0.3067
|
|
|
0.3015
|
|
|
0.2950
|
|
|
0.2895
|
|
|
0.2884
|
|
|
0.2850
|
|
|
0.2833
|
|
|
0.2827
|
|
|
0.2825
|
|
|
0.2817
|
|
|
0.2793
|
|
|
0.2765
|
|
|
0.2751
|
|
|
0.2718
|
|
|
0.2689
|
|
|
0.2662
|
|
|
0.2646
|
|
|
0.2622
|
|
|
0.2605
|
|
|
0.2585
|
|
|
0.2543
|
|
|
0.2523
|
|
|
0.2495
|
|
|
0.2448
|
|
|
0.2393
|
|
|
0.2364
|
|
|
0.2323
|
|
|
0.2270
|
|
|
0.2236
|
|
|
0.2110
|
|
|
0.2081
|
|
|
0.2058
|
|
|
0.2044
|
|
|
0.2043
|
|
|
0.2008
|
|
|
0.1994
|
|
|
0.1992
|
|
|
0.1983
|
|
|
0.1940
|
|
|
0.1875
|
|
|
0.1872
|
|
|
0.1786
|
|
|
0.1785
|
|
|
0.1741
|
|
|
0.1710
|
|
|
0.1662
|
|
|
0.1635
|
|
|
0.1628
|
|
|
0.1627
|
|
|
0.1623
|
|
|
0.1611
|
|
|
0.1609
|
|
|
0.1529
|
|
|
0.1514
|
|
|
0.1514
|
|
|
0.1440
|
|
|
0.1437
|
|
|
0.1401
|
|
|
0.1394
|
|
|
0.1386
|
|
|
0.1382
|
|
|
0.1375
|
|
|
0.1364
|
|
|
0.1346
|
|
|
0.1316
|
|
|
0.1310
|
|
|
0.1244
|
|
|
0.1236
|
|
|
0.1231
|
|
|
0.1222
|
|
|
0.1218
|
|
|
0.1204
|
|
|
0.1197
|
|
|
0.1186
|
|
|
0.1143
|
|
|
0.1122
|
|
|
0.1113
|
|
|
0.1071
|
|
|
0.1063
|
|
|
0.0969
|
|
|
0.0963
|
|
|
0.0956
|
|
|
0.0905
|
|
|
0.0821
|
|
|