Returned 94 matches
(100 formulae, 64 docs)
Lookup 8.724 ms, Re-ranking 131608.675 ms
Found 72637 tuple postings, 34069 formulae, 8849 documents
1.0000
|
|
|
0.4474
|
|
|
0.3405
|
|
|
0.2981
|
|
|
0.2939
|
|
|
0.2350
|
|
|
0.2230
|
|
|
0.2111
|
|
|
0.1940
|
|
|
0.1881
|
|
|
0.1383
|
|
|
0.1334
|
|
|
0.1312
|
|
|
0.1197
|
|
|
0.1153
|
|
|
0.1137
|
|
|
0.1115
|
|
|
0.1105
|
|
|
0.1104
|
|
|
0.1082
|
|
|
0.1078
|
|
|
0.1073
|
|
|
0.1032
|
|
|
0.1026
|
|
|
0.0996
|
|
|
0.0960
|
|
|
0.0899
|
|
|
0.0898
|
|
|
0.0895
|
|
|
0.0890
|
|
|
0.0847
|
|
|
0.0832
|
|
|
0.0829
|
|
|
0.0824
|
|
|
0.0794
|
|
|
0.0773
|
|
|
0.0770
|
|
|
0.0719
|
|
|
0.0717
|
|
|
0.0711
|
|
|
0.0711
|
|
|
0.0700
|
|
|
0.0694
|
|
|
0.0675
|
|
|
0.0665
|
|
|
0.0659
|
|
|
0.0622
|
|
|
0.0617
|
|
|
0.0615
|
|
|
0.0611
|
|
|
0.0604
|
|
|
0.0604
|
|
|
0.0551
|
|
|
0.0550
|
|
|
0.0536
|
|
|
0.0515
|
|
|
0.0510
|
|
|
0.0488
|
|
|
0.0468
|
|
|
0.0449
|
|
|
0.0441
|
|
|
0.0441
|
|
|
0.0417
|
|
|
0.0415
|
|
|
0.0402
|
|
|
0.0386
|
|
|
0.0370
|
|
|
0.0368
|
|
|
0.0359
|
|
|
0.0350
|
|
|
0.0348
|
|
|
0.0346
|
|
|
0.0336
|
|
|
0.0334
|
|
|
0.0333
|
|
|
0.0324
|
|
|
0.0320
|
|
|
0.0319
|
|
|
0.0315
|
|
|
0.0315
|
|
|
0.0303
|
|
|
0.0287
|
|
|
0.0267
|
|
|
0.0265
|
|
|
0.0265
|
|
|
0.0263
|
|
|
0.0261
|
|
|
0.0257
|
|
|
0.0240
|
|
|
0.0236
|
|
|
0.0231
|
|
| |
|
|
0.0213
|
|
|
0.0213
|
|
|
0.0204
|
|
|