Returned 84 matches
(100 formulae, 52 docs)
Lookup 4.976 ms, Re-ranking 0.319 ms
Found 42764 tuple postings, 31889 formulae, 9035 documents
1.0000
|
|
|
0.3333
|
|
|
0.2667
|
|
|
0.2074
|
|
|
0.1806
|
|
|
0.1511
|
|
|
0.1488
|
|
|
0.1463
|
|
|
0.1300
|
|
|
0.1255
|
|
|
0.1200
|
|
|
0.1162
|
|
|
0.1156
|
|
|
0.1098
|
|
|
0.1071
|
|
|
0.1070
|
|
|
0.1040
|
|
|
0.1032
|
|
|
0.1021
|
|
|
0.1020
|
|
|
0.1020
|
|
|
0.0996
|
|
|
0.0978
|
|
|
0.0928
|
|
|
0.0924
|
|
|
0.0917
|
|
|
0.0907
|
|
|
0.0906
|
|
|
0.0898
|
|
|
0.0881
|
|
|
0.0863
|
|
|
0.0849
|
|
|
0.0849
|
|
|
0.0812
|
|
|
0.0804
|
|
|
0.0800
|
|
|
0.0796
|
|
|
0.0795
|
|
|
0.0793
|
|
|
0.0765
|
|
|
0.0759
|
|
|
0.0756
|
|
|
0.0747
|
|
|
0.0745
|
|
|
0.0743
|
|
|
0.0732
|
|
|
0.0727
|
|
|
0.0721
|
|
|
0.0717
|
|
|
0.0714
|
|
|
0.0713
|
|
|
0.0711
|
|
|
0.0700
|
|
|
0.0698
|
|
|
0.0690
|
|
|
0.0679
|
|
|
0.0676
|
|
|
0.0667
|
|
|
0.0662
|
|
|
0.0657
|
|
|
0.0655
|
|
|
0.0653
|
|
|
0.0638
|
|
|
0.0622
|
|
|
0.0621
|
|
|
0.0619
|
|
|
0.0619
|
|
|
0.0615
|
|
|
0.0609
|
|
|
0.0598
|
|
|
0.0592
|
|
|
0.0588
|
|
|
0.0588
|
|
|
0.0583
|
|
|
0.0579
|
|
|
0.0576
|
|
|
0.0569
|
|
|
0.0561
|
|
|
0.0559
|
|
|
0.0556
|
|
|
0.0549
|
|
|
0.0542
|
|
|
0.0542
|
|
|
0.0541
|
|
|