Returned 90 matches
(100 formulae, 80 docs)
Lookup 4.578 ms, Re-ranking 0.180 ms
Found 68715 tuple postings, 42887 formulae, 10694 documents
1.0000
|
|
|
0.3200
|
|
|
0.2256
|
|
|
0.2198
|
|
|
0.2159
|
|
|
0.2138
|
|
|
0.1986
|
|
|
0.1962
|
|
|
0.1825
|
|
|
0.1718
|
|
|
0.1684
|
|
|
0.1673
|
|
|
0.1646
|
|
|
0.1510
|
|
|
0.1508
|
|
|
0.1477
|
|
|
0.1413
|
|
|
0.1407
|
|
|
0.1397
|
|
|
0.1370
|
|
|
0.1329
|
|
|
0.1319
|
|
|
0.1306
|
|
|
0.1270
|
|
|
0.1257
|
|
|
0.1238
|
|
|
0.1224
|
|
|
0.1216
|
|
|
0.1214
|
|
|
0.1128
|
|
|
0.1119
|
|
|
0.1111
|
|
|
0.1108
|
|
|
0.1091
|
|
|
0.1071
|
|
|
0.1068
|
|
|
0.1067
|
|
|
0.1041
|
|
|
0.1029
|
|
|
0.1026
|
|
|
0.1020
|
|
|
0.1018
|
|
|
0.1010
|
|
|
0.1008
|
|
|
0.1004
|
|
|
0.0998
|
|
|
0.0985
|
|
|
0.0983
|
|
|
0.0982
|
|
|
0.0979
|
|
|
0.0971
|
|
|
0.0962
|
|
|
0.0962
|
|
|
0.0946
|
|
|
0.0943
|
|
|
0.0943
|
|
|
0.0943
|
|
|
0.0932
|
|
|
0.0926
|
|
|
0.0925
|
|
|
0.0923
|
|
|
0.0922
|
|
|
0.0909
|
|
|
0.0909
|
|
|
0.0909
|
|
|
0.0909
|
|
|
0.0907
|
|
|
0.0901
|
|
|
0.0894
|
|
|
0.0893
|
|
|
0.0892
|
|
|
0.0889
|
|
|
0.0889
|
|
|
0.0889
|
|
|
0.0889
|
|
|
0.0884
|
|
|
0.0881
|
|
|
0.0858
|
|
|
0.0855
|
|
|
0.0854
|
|
|
0.0854
|
|
|
0.0854
|
|
|
0.0852
|
|
|
0.0849
|
|
|
0.0846
|
|
|
0.0844
|
|
|
0.0842
|
|
|
0.0840
|
|
|
0.0837
|
|
|
0.0836
|
|
|