Returned 99 matches
(100 formulae, 63 docs)
Lookup 34.881 ms, Re-ranking 22537.991 ms
Found 408439 tuple postings, 134996 formulae, 19866 documents
1.0000
|
|
|
0.4930
|
|
|
0.4826
|
|
|
0.3123
|
|
|
0.2743
|
|
|
0.2354
|
|
|
0.2331
|
|
|
0.2166
|
|
|
0.2106
|
|
|
0.2078
|
|
|
0.2062
|
|
|
0.2030
|
|
|
0.1895
|
|
|
0.1786
|
|
|
0.1747
|
|
|
0.1702
|
|
|
0.1661
|
|
|
0.1616
|
|
|
0.1587
|
|
|
0.1586
|
|
|
0.1568
|
|
|
0.1511
|
|
|
0.1437
|
|
|
0.1404
|
|
|
0.1397
|
|
|
0.1389
|
|
|
0.1371
|
|
|
0.1365
|
|
|
0.1313
|
|
|
0.1290
|
|
|
0.1241
|
|
|
0.1236
|
|
|
0.1222
|
|
|
0.1213
|
|
|
0.1203
|
|
|
0.1203
|
|
|
0.1196
|
|
|
0.1186
|
|
|
0.1179
|
|
|
0.1171
|
|
|
0.1169
|
|
|
0.1159
|
|
|
0.1156
|
|
|
0.1152
|
|
|
0.1152
|
|
|
0.1148
|
|
|
0.1144
|
|
|
0.1131
|
|
|
0.1121
|
|
|
0.1108
|
|
|
0.1106
|
|
|
0.1083
|
|
|
0.1069
|
|
|
0.1068
|
|
|
0.1061
|
|
|
0.1060
|
|
|
0.1049
|
|
|
0.1046
|
|
|
0.1043
|
|
|
0.1039
|
|
|
0.0980
|
|
|
0.0971
|
|
|
0.0967
|
|
|
0.0961
|
|
|
0.0949
|
|
|
0.0945
|
|
|
0.0877
|
|
|
0.0873
|
|
|
0.0867
|
|
|
0.0862
|
|
|
0.0850
|
|
|
0.0848
|
|
|
0.0838
|
|
|
0.0838
|
|
|
0.0838
|
|
|
0.0804
|
|
|
0.0802
|
|
|
0.0794
|
|
|
0.0769
|
|
|
0.0765
|
|
|
0.0761
|
|
|
0.0757
|
|
|
0.0750
|
|
|
0.0713
|
|
|
0.0692
|
|
|
0.0668
|
|
|
0.0663
|
|
|
0.0654
|
|
|
0.0625
|
|
|
0.0615
|
|
|
0.0581
|
|
|
0.0567
|
|
|
0.0557
|
|
|
0.0548
|
|
|
0.0542
|
|
|
0.0515
|
|
|
0.0514
|
|
|
0.0449
|
|
|
0.0412
|
|
|