Returned 99 matches
(100 formulae, 64 docs)
Lookup 696.779 ms, Re-ranking 0.135 ms
Found 813116 tuple postings, 162979 formulae, 20880 documents
0.7330
|
|
|
0.5212
|
|
|
0.5163
|
|
|
0.5101
|
|
|
0.4624
|
|
|
0.4528
|
|
|
0.3794
|
|
|
0.3789
|
|
|
0.3750
|
|
|
0.3656
|
|
|
0.3636
|
|
|
0.3608
|
|
|
0.3512
|
|
|
0.3341
|
|
|
0.3320
|
|
|
0.3259
|
|
|
0.3251
|
|
|
0.3248
|
|
|
0.3203
|
|
|
0.3202
|
|
|
0.3123
|
|
|
0.3087
|
|
|
0.3072
|
|
|
0.3023
|
|
|
0.3021
|
|
|
0.3003
|
|
|
0.2997
|
|
|
0.2959
|
|
|
0.2959
|
|
|
0.2953
|
|
|
0.2947
|
|
|
0.2938
|
|
|
0.2909
|
|
|
0.2899
|
|
|
0.2894
|
|
|
0.2884
|
|
|
0.2882
|
|
|
0.2878
|
|
|
0.2851
|
|
|
0.2823
|
|
|
0.2814
|
|
|
0.2803
|
|
|
0.2795
|
|
|
0.2791
|
|
|
0.2768
|
|
|
0.2763
|
|
|
0.2748
|
|
|
0.2711
|
|
|
0.2709
|
|
|
0.2701
|
|
|
0.2691
|
|
|
0.2690
|
|
|
0.2667
|
|
|
0.2659
|
|
|
0.2644
|
|
|
0.2634
|
|
|
0.2628
|
|
|
0.2576
|
|
|
0.2574
|
|
|
0.2571
|
|
|
0.2557
|
|
|
0.2533
|
|
|
0.2524
|
|
|
0.2523
|
|
|
0.2516
|
|
|
0.2511
|
|
|
0.2490
|
|
|
0.2490
|
|
|
0.2451
|
|
|
0.2431
|
|
|
0.2414
|
|
|
0.2410
|
|
|
0.2407
|
|
|
0.2393
|
|
|
0.2393
|
|
|
0.2390
|
|
|
0.2378
|
|
|
0.2366
|
|
|
0.2362
|
|
|
0.2361
|
|
|
0.2355
|
|
|
0.2353
|
|
|
0.2350
|
|
|
0.2339
|
|
|
0.2336
|
|
|
0.2335
|
|
|
0.2329
|
|
|
0.2303
|
|
|
0.2303
|
|
|
0.2303
|
|
|
0.2299
|
|
|
0.2290
|
|
|
0.2282
|
|
|
0.2275
|
|
|
0.2274
|
|
|
0.2272
|
|
|
0.2266
|
|
|
0.2263
|
|
|
0.2257
|
|
|