Returned 98 matches
(100 formulae, 76 docs)
Lookup 7.920 ms, Re-ranking 0.154 ms
Found 102191 tuple postings, 57433 formulae, 13001 documents
1.0000
|
|
|
0.4122
|
|
|
0.1484
|
|
|
0.1451
|
|
|
0.1429
|
|
|
0.1382
|
|
|
0.1290
|
|
|
0.1239
|
|
|
0.1212
|
|
|
0.1210
|
|
|
0.1176
|
|
|
0.1167
|
|
|
0.1164
|
|
|
0.1161
|
|
|
0.1153
|
|
|
0.1148
|
|
|
0.1146
|
|
|
0.1138
|
|
|
0.1134
|
|
|
0.1129
|
|
|
0.1123
|
|
|
0.1120
|
|
|
0.1111
|
|
|
0.1078
|
|
|
0.1074
|
|
|
0.1073
|
|
|
0.1066
|
|
|
0.1064
|
|
|
0.1038
|
|
|
0.1036
|
|
|
0.1026
|
|
|
0.1024
|
|
|
0.1024
|
|
|
0.1000
|
|
|
0.0995
|
|
|
0.0984
|
|
|
0.0979
|
|
|
0.0976
|
|
|
0.0957
|
|
|
0.0956
|
|
|
0.0947
|
|
|
0.0940
|
|
|
0.0938
|
|
|
0.0932
|
|
|
0.0926
|
|
|
0.0924
|
|
|
0.0921
|
|
|
0.0905
|
|
|
0.0905
|
|
|
0.0904
|
|
|
0.0896
|
|
|
0.0889
|
|
|
0.0884
|
|
|
0.0882
|
|
|
0.0881
|
|
|
0.0881
|
|
|
0.0881
|
|
|
0.0880
|
|
|
0.0876
|
|
|
0.0874
|
|
|
0.0870
|
|
|
0.0862
|
|
|
0.0859
|
|
|
0.0858
|
|
|
0.0858
|
|
|
0.0858
|
|
|
0.0857
|
|
|
0.0857
|
|
|
0.0854
|
|
|
0.0851
|
|
|
0.0849
|
|
|
0.0847
|
|
|
0.0838
|
|
|
0.0830
|
|
|
0.0826
|
|
|
0.0820
|
|
|
0.0818
|
|
|
0.0816
|
|
|
0.0813
|
|
|
0.0811
|
|
|
0.0811
|
|
|
0.0810
|
|
|
0.0808
|
|
|
0.0807
|
|
|
0.0798
|
|
|
0.0794
|
|
|
0.0792
|
|
|
0.0791
|
|
|
0.0787
|
|
|
0.0780
|
|
|
0.0776
|
|
|
0.0775
|
|
|
0.0772
|
|
|
0.0772
|
|
|
0.0769
|
|
|
0.0769
|
|
|
0.0769
|
|
|
0.0766
|
|
|