Returned 96 matches
(100 formulae, 81 docs)
Lookup 3.594 ms, Re-ranking 0.184 ms
Found 41415 tuple postings, 32272 formulae, 9946 documents
1.0000
|
|
|
0.1356
|
|
|
0.1319
|
|
|
0.1301
|
|
|
0.1277
|
|
|
0.1240
|
|
|
0.1233
|
|
|
0.1184
|
|
|
0.1176
|
|
|
0.1170
|
|
|
0.1169
|
|
|
0.1124
|
|
|
0.1121
|
|
|
0.1087
|
|
|
0.1087
|
|
|
0.1064
|
|
|
0.1053
|
|
|
0.1053
|
|
|
0.1053
|
|
|
0.1046
|
|
|
0.1042
|
|
|
0.1017
|
|
|
0.1000
|
|
|
0.1000
|
|
|
0.0988
|
|
|
0.0976
|
|
|
0.0964
|
|
|
0.0964
|
|
|
0.0952
|
|
|
0.0943
|
|
|
0.0941
|
|
|
0.0935
|
|
|
0.0930
|
|
|
0.0930
|
|
|
0.0926
|
|
|
0.0909
|
|
|
0.0899
|
|
|
0.0882
|
|
|
0.0882
|
|
|
0.0881
|
|
|
0.0877
|
|
|
0.0870
|
|
|
0.0870
|
|
|
0.0870
|
|
|
0.0870
|
|
|
0.0863
|
|
|
0.0863
|
|
|
0.0862
|
|
|
0.0860
|
|
|
0.0857
|
|
|
0.0857
|
|
|
0.0857
|
|
|
0.0851
|
|
|
0.0845
|
|
|
0.0845
|
|
|
0.0845
|
|
|
0.0840
|
|
|
0.0840
|
|
|
0.0833
|
|
|
0.0828
|
|
|
0.0822
|
|
|
0.0822
|
|
|
0.0816
|
|
|
0.0811
|
|
|
0.0811
|
|
|
0.0800
|
|
|
0.0800
|
|
|
0.0800
|
|
|
0.0800
|
|
|
0.0794
|
|
|
0.0794
|
|
|
0.0792
|
|
|
0.0789
|
|
|
0.0789
|
|
|
0.0781
|
|
|
0.0779
|
|
|
0.0779
|
|
|
0.0774
|
|
|
0.0769
|
|
|
0.0769
|
|
|
0.0769
|
|
|
0.0762
|
|
|
0.0759
|
|
|
0.0759
|
|
|
0.0758
|
|
|
0.0755
|
|
|
0.0755
|
|
|
0.0755
|
|
|
0.0750
|
|
|
0.0750
|
|
|
0.0750
|
|
|
0.0750
|
|
|
0.0750
|
|
|
0.0741
|
|
|
0.0741
|
|
|
0.0737
|
|
|