Returned 90 matches
(100 formulae, 80 docs)
Lookup 4.578 ms, Re-ranking 559.342 ms
Found 68715 tuple postings, 42887 formulae, 10694 documents
1.0000
|
|
|
0.3011
|
|
|
0.2303
|
|
|
0.2255
|
|
|
0.2199
|
|
|
0.2192
|
|
|
0.2013
|
|
|
0.1906
|
|
|
0.1742
|
|
|
0.1742
|
|
|
0.1733
|
|
|
0.1697
|
|
|
0.1575
|
|
|
0.1554
|
|
|
0.1529
|
|
|
0.1476
|
|
|
0.1473
|
|
|
0.1471
|
|
|
0.1402
|
|
|
0.1389
|
|
|
0.1389
|
|
|
0.1382
|
|
|
0.1365
|
|
|
0.1284
|
|
|
0.1270
|
|
|
0.1262
|
|
|
0.1231
|
|
|
0.1209
|
|
|
0.1208
|
|
|
0.1194
|
|
|
0.1185
|
|
|
0.1159
|
|
|
0.1155
|
|
|
0.1135
|
|
|
0.1131
|
|
|
0.1117
|
|
|
0.1107
|
|
|
0.1103
|
|
|
0.1091
|
|
|
0.1081
|
|
|
0.1070
|
|
|
0.1068
|
|
|
0.1058
|
|
|
0.1045
|
|
|
0.1042
|
|
|
0.1029
|
|
|
0.1019
|
|
|
0.1007
|
|
|
0.1003
|
|
|
0.1000
|
|
|
0.0982
|
|
|
0.0978
|
|
|
0.0972
|
|
|
0.0966
|
|
|
0.0964
|
|
|
0.0961
|
|
|
0.0958
|
|
|
0.0956
|
|
|
0.0952
|
|
|
0.0949
|
|
|
0.0948
|
|
|
0.0946
|
|
|
0.0938
|
|
|
0.0938
|
|
|
0.0936
|
|
|
0.0922
|
|
|
0.0921
|
|
|
0.0917
|
|
|
0.0917
|
|
|
0.0904
|
|
|
0.0904
|
|
|
0.0903
|
|
|
0.0897
|
|
|
0.0893
|
|
|
0.0884
|
|
|
0.0846
|
|
|
0.0845
|
|
|
0.0840
|
|
|
0.0809
|
|
|
0.0784
|
|
|
0.0777
|
|
|
0.0775
|
|
|
0.0767
|
|
|
0.0761
|
|
|
0.0742
|
|
|
0.0735
|
|
|
0.0638
|
|
|
0.0623
|
|
|
0.0387
|
|
|
0.0353
|
|
|