Returned 82 matches
(100 formulae, 95 docs)
Lookup 3.797 ms, Re-ranking 136.852 ms
Found 74312 tuple postings, 27024 formulae, 8915 documents
1.0000
|
|
|
0.9487
|
|
|
0.8966
|
|
|
0.8696
|
|
|
0.7949
|
|
|
0.7949
|
|
|
0.7632
|
|
|
0.7619
|
|
|
0.7213
|
|
|
0.7126
|
|
|
0.6988
|
|
|
0.6857
|
|
|
0.6824
|
|
|
0.6761
|
|
|
0.6500
|
|
|
0.6304
|
|
|
0.6071
|
|
|
0.6000
|
|
|
0.5926
|
|
|
0.5897
|
|
|
0.5714
|
|
|
0.5714
|
|
|
0.5647
|
|
|
0.5607
|
|
|
0.5484
|
|
|
0.5472
|
|
|
0.5393
|
|
|
0.5393
|
|
|
0.5366
|
|
|
0.5306
|
|
|
0.5217
|
|
|
0.5000
|
|
|
0.4948
|
|
|
0.4928
|
|
|
0.4928
|
|
|
0.4800
|
|
|
0.4783
|
|
|
0.4752
|
|
|
0.4706
|
|
|
0.4706
|
|
|
0.4660
|
|
|
0.4638
|
|
|
0.4632
|
|
|
0.4571
|
|
|
0.4416
|
|
|
0.4416
|
|
|
0.4400
|
|
|
0.4384
|
|
|
0.4359
|
|
|
0.4359
|
|
|
0.4359
|
|
|
0.4337
|
|
|
0.4286
|
|
|
0.4267
|
|
|
0.4211
|
|
|
0.4211
|
|
|
0.4174
|
|
|
0.4156
|
|
|
0.4103
|
|
|
0.4000
|
|
|
0.3951
|
|
|
0.3898
|
|
|
0.3894
|
|
|
0.3871
|
|
|
0.3810
|
|
|
0.3765
|
|
|
0.3600
|
|
|
0.3548
|
|
|
0.3520
|
|
|
0.3400
|
|
|
0.3259
|
|
|
0.3188
|
|
|
0.3077
|
|
|
0.3059
|
|
|
0.3019
|
|
|
0.3000
|
|
|
0.2803
|
|
|
0.2750
|
|
|
0.2545
|
|
|
0.2514
|
|
|
0.2500
|
|
|
0.2222
|
|
|