Returned 44 matches
(100 formulae, 81 docs)
Lookup 31.836 ms, Re-ranking 0.134 ms
Found 214650 tuple postings, 60465 formulae, 13785 documents
0.4643
|
|
|
0.4324
|
|
|
0.3881
|
|
|
0.3600
|
|
|
0.3562
|
|
|
0.3404
|
|
|
0.3400
|
|
|
0.3396
|
|
|
0.3333
|
|
|
0.3273
|
|
|
0.3077
|
|
|
0.3019
|
|
|
0.3019
|
|
|
0.3000
|
|
|
0.3000
|
|
|
0.2941
|
|
|
0.2909
|
|
|
0.2909
|
|
|
0.2909
|
|
|
0.2903
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2857
|
|
|
0.2791
|
|
|
0.2791
|
|
|
0.2778
|
|
|
0.2769
|
|
|
0.2759
|
|
|
0.2727
|
|
|
0.2727
|
|
|
0.2703
|
|
|
0.2687
|
|
|
0.2683
|
|
|
0.2667
|
|
|
0.2667
|
|
|
0.2667
|
|
|
0.2632
|
|
|
0.2623
|
|
|
0.2623
|
|
|
0.2623
|
|
|
0.2609
|
|
|
0.2581
|
|
|