Returned 85 matches
(100 formulae, 84 docs)
Lookup 130.687 ms, Re-ranking 1741.285 ms
Found 482112 tuple postings, 185962 formulae, 22095 documents
0.9383
|
|
|
0.6444
|
|
|
0.6403
|
|
|
0.6330
|
|
|
0.6127
|
|
|
0.6115
|
|
|
0.6079
|
|
|
0.5995
|
|
|
0.5962
|
|
|
0.5827
|
|
|
0.5311
|
|
|
0.5192
|
|
|
0.5135
|
|
|
0.5130
|
|
|
0.5049
|
|
|
0.5018
|
|
|
0.5017
|
|
|
0.4966
|
|
|
0.4942
|
|
|
0.4818
|
|
|
0.4722
|
|
|
0.4691
|
|
|
0.4660
|
|
|
0.4652
|
|
|
0.4633
|
|
|
0.4535
|
|
|
0.4507
|
|
|
0.4502
|
|
|
0.4486
|
|
|
0.4445
|
|
|
0.4410
|
|
|
0.4409
|
|
|
0.4403
|
|
|
0.4395
|
|
|
0.4375
|
|
|
0.4357
|
|
|
0.4335
|
|
|
0.4327
|
|
|
0.4327
|
|
|
0.4308
|
|
|
0.4298
|
|
|
0.4291
|
|
|
0.4266
|
|
|
0.4253
|
|
|
0.4250
|
|
|
0.4245
|
|
|
0.4244
|
|
|
0.4239
|
|
|
0.4235
|
|
|
0.4234
|
|
|
0.4231
|
|
|
0.4226
|
|
|
0.4225
|
|
|
0.4222
|
|
|
0.4215
|
|
|
0.4207
|
|
|
0.4203
|
|
|
0.4203
|
|
|
0.4192
|
|
|
0.4192
|
|
|
0.4192
|
|
|
0.4192
|
|
|
0.4187
|
|
|
0.4171
|
|
|
0.4169
|
|
|
0.4169
|
|
|
0.4164
|
|
|
0.4157
|
|
|
0.4150
|
|
|
0.4143
|
|
|
0.4111
|
|
|
0.4102
|
|
|
0.4096
|
|
|
0.4096
|
|
|
0.4094
|
|
|
0.4077
|
|
|
0.4076
|
|
|
0.4073
|
|
|
0.4073
|
|
|
0.4036
|
|
|
0.4028
|
|
|
0.3953
|
|
|
0.3902
|
|
|
0.3833
|
|
|
0.2890
|
|
|