Returned 84 matches
(100 formulae, 95 docs)
Lookup 3.797 ms, Re-ranking 178.092 ms
Found 74312 tuple postings, 27024 formulae, 8915 documents
1.0000
|
|
|
0.9744
|
|
|
0.8974
|
|
|
0.8966
|
|
|
0.8696
|
|
|
0.7949
|
|
|
0.7949
|
|
|
0.7632
|
|
|
0.7619
|
|
|
0.7213
|
|
|
0.7179
|
|
|
0.7179
|
|
|
0.7126
|
|
|
0.6988
|
|
|
0.6857
|
|
|
0.6824
|
|
|
0.6812
|
|
|
0.6761
|
|
|
0.6667
|
|
|
0.6500
|
|
|
0.6304
|
|
|
0.6301
|
|
|
0.6104
|
|
|
0.6071
|
|
|
0.6000
|
|
|
0.5974
|
|
|
0.5926
|
|
|
0.5714
|
|
|
0.5714
|
|
|
0.5714
|
|
|
0.5647
|
|
|
0.5607
|
|
|
0.5600
|
|
|
0.5484
|
|
|
0.5472
|
|
|
0.5393
|
|
|
0.5393
|
|
|
0.5366
|
|
|
0.5306
|
|
|
0.5217
|
|
|
0.5000
|
|
|
0.5000
|
|
|
0.5000
|
|
|
0.4956
|
|
|
0.4948
|
|
|
0.4928
|
|
|
0.4800
|
|
|
0.4752
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4660
|
|
|
0.4632
|
|
|
0.4571
|
|
|
0.4533
|
|
|
0.4513
|
|
|
0.4480
|
|
|
0.4416
|
|
|
0.4400
|
|
|
0.4359
|
|
|
0.4337
|
|
|
0.4286
|
|
|
0.4286
|
|
|
0.4211
|
|
|
0.4211
|
|
|
0.4182
|
|
|
0.4174
|
|
|
0.4074
|
|
|
0.4058
|
|
|
0.4000
|
|
|
0.4000
|
|
|
0.3916
|
|
|
0.3898
|
|
|
0.3871
|
|
|
0.3765
|
|
|
0.3710
|
|
|
0.3600
|
|
|
0.3567
|
|
|
0.3500
|
|
|
0.3396
|
|
|
0.3357
|
|
|
0.3259
|
|
|
0.3200
|
|
|
0.3059
|
|
|
0.2857
|
|
|