Returned 99 matches
(100 formulae, 63 docs)
Lookup 34.881 ms, Re-ranking 23514.431 ms
Found 408439 tuple postings, 134996 formulae, 19866 documents
1.0000
|
|
|
0.4826
|
|
|
0.4410
|
|
|
0.2525
|
|
|
0.2453
|
|
|
0.2018
|
|
|
0.1947
|
|
|
0.1923
|
|
|
0.1902
|
|
|
0.1846
|
|
|
0.1807
|
|
|
0.1795
|
|
|
0.1786
|
|
|
0.1747
|
|
|
0.1624
|
|
|
0.1616
|
|
|
0.1478
|
|
|
0.1443
|
|
|
0.1404
|
|
|
0.1389
|
|
|
0.1379
|
|
|
0.1320
|
|
|
0.1279
|
|
|
0.1278
|
|
|
0.1226
|
|
|
0.1224
|
|
|
0.1222
|
|
|
0.1208
|
|
|
0.1203
|
|
|
0.1196
|
|
|
0.1186
|
|
|
0.1171
|
|
|
0.1169
|
|
|
0.1141
|
|
|
0.1130
|
|
|
0.1116
|
|
|
0.1108
|
|
|
0.1092
|
|
|
0.1091
|
|
|
0.1083
|
|
|
0.1054
|
|
|
0.1054
|
|
|
0.1043
|
|
|
0.1031
|
|
|
0.1014
|
|
|
0.1006
|
|
|
0.0997
|
|
|
0.0978
|
|
|
0.0967
|
|
|
0.0952
|
|
|
0.0949
|
|
|
0.0949
|
|
|
0.0932
|
|
|
0.0892
|
|
|
0.0891
|
|
|
0.0879
|
|
|
0.0873
|
|
|
0.0842
|
|
|
0.0838
|
|
|
0.0830
|
|
|
0.0827
|
|
|
0.0821
|
|
|
0.0810
|
|
|
0.0802
|
|
|
0.0788
|
|
|
0.0771
|
|
|
0.0765
|
|
|
0.0761
|
|
|
0.0761
|
|
|
0.0757
|
|
|
0.0750
|
|
|
0.0743
|
|
|
0.0731
|
|
|
0.0715
|
|
|
0.0713
|
|
|
0.0704
|
|
|
0.0689
|
|
|
0.0688
|
|
|
0.0676
|
|
|
0.0669
|
|
|
0.0668
|
|
|
0.0654
|
|
|
0.0651
|
|
|
0.0647
|
|
|
0.0625
|
|
|
0.0615
|
|
|
0.0603
|
|
|
0.0597
|
|
|
0.0575
|
|
|
0.0567
|
|
|
0.0557
|
|
|
0.0542
|
|
|
0.0538
|
|
|
0.0515
|
|
|
0.0455
|
|
|
0.0449
|
|
|
0.0441
|
|
|
0.0437
|
|
|
0.0328
|
|
|