Returned 97 matches
(100 formulae, 81 docs)
Lookup 3.594 ms, Re-ranking 102.591 ms
Found 41415 tuple postings, 32272 formulae, 9946 documents
1.0000
|
|
|
0.1505
|
|
|
0.1458
|
|
|
0.1440
|
|
|
0.1429
|
|
|
0.1374
|
|
|
0.1351
|
|
|
0.1299
|
|
|
0.1284
|
|
|
0.1282
|
|
|
0.1277
|
|
|
0.1272
|
|
|
0.1237
|
|
|
0.1231
|
|
|
0.1224
|
|
|
0.1222
|
|
|
0.1207
|
|
|
0.1207
|
|
|
0.1205
|
|
|
0.1176
|
|
|
0.1176
|
|
|
0.1176
|
|
|
0.1176
|
|
|
0.1167
|
|
|
0.1167
|
|
|
0.1161
|
|
|
0.1149
|
|
|
0.1143
|
|
|
0.1136
|
|
|
0.1127
|
|
|
0.1127
|
|
|
0.1120
|
|
|
0.1111
|
|
|
0.1111
|
|
|
0.1111
|
|
|
0.1111
|
|
|
0.1101
|
|
|
0.1099
|
|
|
0.1099
|
|
|
0.1096
|
|
|
0.1096
|
|
|
0.1096
|
|
|
0.1091
|
|
|
0.1081
|
|
|
0.1069
|
|
|
0.1067
|
|
|
0.1064
|
|
|
0.1053
|
|
|
0.1042
|
|
|
0.1039
|
|
|
0.1039
|
|
|
0.1034
|
|
|
0.1014
|
|
|
0.1013
|
|
|
0.1013
|
|
|
0.1000
|
|
|
0.1000
|
|
|
0.1000
|
|
|
0.0993
|
|
|
0.0993
|
|
|
0.0992
|
|
|
0.0992
|
|
|
0.0988
|
|
|
0.0986
|
|
|
0.0979
|
|
|
0.0976
|
|
|
0.0976
|
|
|
0.0976
|
|
|
0.0976
|
|
|
0.0971
|
|
|
0.0964
|
|
|
0.0964
|
|
|
0.0961
|
|
|
0.0952
|
|
|
0.0946
|
|
|
0.0938
|
|
|
0.0926
|
|
|
0.0923
|
|
|
0.0921
|
|
|
0.0921
|
|
|
0.0909
|
|
|
0.0896
|
|
|
0.0892
|
|
|
0.0875
|
|
|
0.0864
|
|
|
0.0851
|
|
|
0.0847
|
|
|
0.0842
|
|
|
0.0822
|
|
|
0.0800
|
|
|
0.0789
|
|
|
0.0784
|
|
|
0.0769
|
|
|
0.0748
|
|
|
0.0741
|
|
|
0.0741
|
|
|
0.0625
|
|
|