Returned 85 matches
(100 formulae, 52 docs)
Lookup 4.976 ms, Re-ranking 1786.366 ms
Found 42764 tuple postings, 31889 formulae, 9035 documents
1.0000
|
|
|
0.5588
|
|
|
0.4743
|
|
|
0.4743
|
|
|
0.3971
|
|
|
0.2412
|
|
|
0.2115
|
|
|
0.2008
|
|
|
0.1975
|
|
|
0.1959
|
|
|
0.1868
|
|
|
0.1868
|
|
|
0.1859
|
|
|
0.1586
|
|
|
0.1506
|
|
|
0.1459
|
|
|
0.1441
|
|
|
0.1377
|
|
|
0.1358
|
|
|
0.1336
|
|
|
0.1316
|
|
|
0.1145
|
|
|
0.1075
|
|
|
0.1019
|
|
|
0.1015
|
|
|
0.0993
|
|
|
0.0976
|
|
|
0.0965
|
|
|
0.0917
|
|
|
0.0913
|
|
|
0.0912
|
|
|
0.0885
|
|
|
0.0868
|
|
|
0.0865
|
|
|
0.0865
|
|
|
0.0859
|
|
|
0.0843
|
|
|
0.0841
|
|
|
0.0795
|
|
|
0.0793
|
|
|
0.0793
|
|
|
0.0793
|
|
|
0.0787
|
|
|
0.0773
|
|
|
0.0763
|
|
|
0.0751
|
|
|
0.0746
|
|
|
0.0745
|
|
|
0.0741
|
|
|
0.0737
|
|
|
0.0717
|
|
|
0.0711
|
|
|
0.0711
|
|
|
0.0695
|
|
|
0.0679
|
|
|
0.0659
|
|
|
0.0656
|
|
|
0.0654
|
|
|
0.0651
|
|
|
0.0634
|
|
|
0.0615
|
|
|
0.0614
|
|
|
0.0614
|
|
|
0.0606
|
|
|
0.0605
|
|
|
0.0595
|
|
|
0.0587
|
|
|
0.0584
|
|
|
0.0580
|
|
|
0.0575
|
|
|
0.0560
|
|
|
0.0559
|
|
|
0.0551
|
|
|
0.0536
|
|
|
0.0526
|
|
|
0.0524
|
|
|
0.0519
|
|
|
0.0511
|
|
|
0.0492
|
|
|
0.0484
|
|
|
0.0468
|
|
|
0.0464
|
|
|
0.0409
|
|
|
0.0329
|
|
|
0.0324
|
|
|