Returned 85 matches
(100 formulae, 84 docs)
Lookup 130.687 ms, Re-ranking 1807.120 ms
Found 482112 tuple postings, 185962 formulae, 22095 documents
0.9383
|
|
|
0.6444
|
|
|
0.6403
|
|
|
0.6330
|
|
|
0.6115
|
|
|
0.6079
|
|
|
0.5995
|
|
|
0.5962
|
|
|
0.5827
|
|
|
0.5588
|
|
|
0.5192
|
|
|
0.5135
|
|
|
0.5130
|
|
|
0.5049
|
|
|
0.5018
|
|
|
0.5017
|
|
|
0.4966
|
|
|
0.4942
|
|
|
0.4894
|
|
|
0.4818
|
|
|
0.4722
|
|
|
0.4633
|
|
|
0.4507
|
|
|
0.4502
|
|
|
0.4486
|
|
|
0.4410
|
|
|
0.4409
|
|
|
0.4403
|
|
|
0.4395
|
|
|
0.4357
|
|
|
0.4335
|
|
|
0.4327
|
|
|
0.4327
|
|
|
0.4308
|
|
|
0.4298
|
|
|
0.4294
|
|
|
0.4291
|
|
|
0.4266
|
|
|
0.4255
|
|
|
0.4253
|
|
|
0.4250
|
|
|
0.4245
|
|
|
0.4244
|
|
|
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.4157
|
|
|
0.4156
|
|
|
0.4150
|
|
|
0.4143
|
|
|
0.4102
|
|
|
0.4096
|
|
|
0.4096
|
|
|
0.4094
|
|
|
0.4077
|
|
|
0.4076
|
|
|
0.4073
|
|
|
0.4073
|
|
|
0.4057
|
|
|
0.4036
|
|
|
0.4028
|
|
|
0.4014
|
|
|
0.3953
|
|
|
0.3902
|
|
|
0.3833
|
|
|
0.3722
|
|
|
0.3715
|
|
|
0.2890
|
|
|