Returned 94 matches
(100 formulae, 64 docs)
Lookup 8.724 ms, Re-ranking 1.388 ms
Found 72637 tuple postings, 34069 formulae, 8849 documents
1.0000
|
|
|
0.4049
|
|
|
0.3610
|
|
|
0.3472
|
|
|
0.2965
|
|
|
0.2331
|
|
|
0.2015
|
|
|
0.1938
|
|
|
0.1649
|
|
|
0.1589
|
|
|
0.1523
|
|
|
0.1515
|
|
|
0.1429
|
|
|
0.1346
|
|
|
0.1346
|
|
|
0.1325
|
|
|
0.1246
|
|
|
0.1215
|
|
|
0.1164
|
|
|
0.1111
|
|
|
0.1030
|
|
|
0.1009
|
|
|
0.0983
|
|
|
0.0943
|
|
|
0.0917
|
|
|
0.0915
|
|
|
0.0911
|
|
|
0.0897
|
|
|
0.0887
|
|
|
0.0886
|
|
| |
|
|
0.0879
|
|
|
0.0867
|
|
|
0.0855
|
|
|
0.0848
|
|
|
0.0824
|
|
|
0.0801
|
|
|
0.0797
|
|
|
0.0785
|
|
|
0.0782
|
|
|
0.0782
|
|
|
0.0774
|
|
|
0.0774
|
|
|
0.0772
|
|
|
0.0771
|
|
|
0.0769
|
|
|
0.0759
|
|
|
0.0751
|
|
|
0.0751
|
|
|
0.0727
|
|
|
0.0726
|
|
|
0.0723
|
|
|
0.0721
|
|
|
0.0710
|
|
|
0.0708
|
|
|
0.0693
|
|
|
0.0693
|
|
|
0.0693
|
|
|
0.0693
|
|
|
0.0680
|
|
|
0.0679
|
|
|
0.0674
|
|
|
0.0672
|
|
|
0.0665
|
|
|
0.0660
|
|
|
0.0655
|
|
|
0.0644
|
|
|
0.0643
|
|
|
0.0640
|
|
|
0.0639
|
|
|
0.0636
|
|
|
0.0635
|
|
|
0.0633
|
|
|
0.0632
|
|
|
0.0627
|
|
|
0.0626
|
|
|
0.0624
|
|
|
0.0622
|
|
|
0.0621
|
|
|
0.0621
|
|
|
0.0620
|
|
|
0.0614
|
|
|
0.0614
|
|
|
0.0614
|
|
|
0.0612
|
|
|
0.0609
|
|
|
0.0607
|
|
|
0.0607
|
|
|
0.0607
|
|
|
0.0599
|
|
|
0.0598
|
|
|
0.0596
|
|
|
0.0595
|
|
|
0.0593
|
|
|
0.0592
|
|
|