Returned 98 matches
(100 formulae, 76 docs)
Lookup 7.920 ms, Re-ranking 1576.044 ms
Found 102191 tuple postings, 57433 formulae, 13001 documents
1.0000
|
|
|
0.4015
|
|
|
0.1550
|
|
|
0.1538
|
|
|
0.1489
|
|
|
0.1444
|
|
|
0.1220
|
|
|
0.1212
|
|
|
0.1210
|
|
|
0.1205
|
|
|
0.1159
|
|
|
0.1120
|
|
|
0.1102
|
|
|
0.1101
|
|
|
0.1096
|
|
|
0.1084
|
|
|
0.1068
|
|
|
0.1062
|
|
|
0.1053
|
|
|
0.1048
|
|
|
0.1047
|
|
|
0.1042
|
|
|
0.1034
|
|
|
0.1031
|
|
|
0.1031
|
|
|
0.1017
|
|
|
0.1009
|
|
|
0.1006
|
|
|
0.1000
|
|
|
0.0997
|
|
|
0.0989
|
|
|
0.0984
|
|
|
0.0976
|
|
|
0.0976
|
|
|
0.0971
|
|
|
0.0962
|
|
|
0.0961
|
|
|
0.0961
|
|
|
0.0949
|
|
|
0.0943
|
|
|
0.0943
|
|
|
0.0938
|
|
|
0.0936
|
|
|
0.0936
|
|
|
0.0936
|
|
|
0.0935
|
|
|
0.0933
|
|
|
0.0924
|
|
|
0.0924
|
|
|
0.0913
|
|
|
0.0893
|
|
|
0.0891
|
|
|
0.0889
|
|
|
0.0887
|
|
|
0.0884
|
|
|
0.0882
|
|
|
0.0881
|
|
|
0.0870
|
|
|
0.0866
|
|
|
0.0863
|
|
|
0.0862
|
|
|
0.0857
|
|
|
0.0855
|
|
|
0.0853
|
|
|
0.0853
|
|
|
0.0843
|
|
|
0.0843
|
|
|
0.0813
|
|
|
0.0805
|
|
|
0.0797
|
|
|
0.0794
|
|
|
0.0794
|
|
|
0.0787
|
|
|
0.0773
|
|
|
0.0748
|
|
|
0.0741
|
|
|
0.0731
|
|
|
0.0717
|
|
|
0.0717
|
|
|
0.0711
|
|
|
0.0700
|
|
|
0.0687
|
|
|
0.0673
|
|
|
0.0671
|
|
|
0.0667
|
|
|
0.0667
|
|
|
0.0665
|
|
|
0.0661
|
|
|
0.0661
|
|
|
0.0651
|
|
|
0.0640
|
|
|
0.0625
|
|
|
0.0611
|
|
|
0.0573
|
|
|
0.0458
|
|
|
0.0448
|
|
|
0.0437
|
|
|
0.0308
|
|
|