Returned 83 matches
(100 formulae, 59 docs)
Lookup 1.774 ms, Re-ranking 0.201 ms
Found 6405 tuple postings, 3764 formulae, 1739 documents
1.0000
|
|
|
0.5541
|
|
|
0.5405
|
|
|
0.5152
|
|
|
0.4898
|
|
|
0.4427
|
|
|
0.3784
|
|
|
0.3485
|
|
|
0.3108
|
|
|
0.2727
|
|
|
0.2538
|
|
|
0.2534
|
|
|
0.2517
|
|
|
0.2143
|
|
|
0.2105
|
|
|
0.2099
|
|
|
0.1765
|
|
|
0.1757
|
|
|
0.1739
|
|
|
0.1500
|
|
|
0.1385
|
|
|
0.1351
|
|
|
0.1277
|
|
|
0.1261
|
|
|
0.1258
|
|
|
0.1246
|
|
|
0.1157
|
|
|
0.1143
|
|
|
0.1138
|
|
|
0.1111
|
|
|
0.1091
|
|
|
0.1053
|
|
|
0.1043
|
|
|
0.1043
|
|
|
0.1043
|
|
|
0.1034
|
|
|
0.1026
|
|
|
0.1008
|
|
|
0.0984
|
|
|
0.0952
|
|
|
0.0943
|
|
|
0.0941
|
|
|
0.0938
|
|
|
0.0915
|
|
|
0.0909
|
|
|
0.0900
|
|
|
0.0891
|
|
|
0.0889
|
|
|
0.0870
|
|
|
0.0870
|
|
|
0.0851
|
|
|
0.0847
|
|
|
0.0845
|
|
|
0.0839
|
|
|
0.0837
|
|
|
0.0833
|
|
|
0.0833
|
|
|
0.0819
|
|
|
0.0816
|
|
|
0.0811
|
|
|
0.0806
|
|
|
0.0795
|
|
|
0.0794
|
|
|
0.0784
|
|
|
0.0774
|
|
|
0.0746
|
|
|
0.0736
|
|
|
0.0719
|
|
|
0.0714
|
|
|
0.0710
|
|
|
0.0696
|
|
|
0.0690
|
|
|
0.0686
|
|
|
0.0686
|
|
|
0.0684
|
|
|
0.0678
|
|
|
0.0677
|
|
|
0.0676
|
|
|
0.0674
|
|
|
0.0674
|
|
|
0.0674
|
|
|
0.0672
|
|
|
0.0667
|
|
|