Returned 96 matches
(100 formulae, 58 docs)
Lookup 5.111 ms, Re-ranking 0.225 ms
Found 40064 tuple postings, 23814 formulae, 7117 documents
1.0000
|
|
|
0.2847
|
|
|
0.2441
|
|
|
0.2403
|
|
|
0.2361
|
|
|
0.2281
|
|
|
0.2069
|
|
|
0.1942
|
|
|
0.1705
|
|
|
0.1538
|
|
|
0.1508
|
|
|
0.1456
|
|
|
0.1404
|
|
|
0.1394
|
|
|
0.1329
|
|
|
0.1301
|
|
|
0.1283
|
|
|
0.1274
|
|
|
0.1045
|
|
|
0.1035
|
|
|
0.1022
|
|
|
0.0959
|
|
|
0.0943
|
|
|
0.0940
|
|
|
0.0940
|
|
|
0.0935
|
|
|
0.0930
|
|
|
0.0901
|
|
|
0.0898
|
|
|
0.0882
|
|
|
0.0873
|
|
|
0.0846
|
|
|
0.0830
|
|
|
0.0808
|
|
|
0.0806
|
|
|
0.0806
|
|
|
0.0803
|
|
|
0.0778
|
|
|
0.0772
|
|
|
0.0759
|
|
|
0.0741
|
|
|
0.0734
|
|
|
0.0733
|
|
|
0.0732
|
|
|
0.0726
|
|
|
0.0691
|
|
|
0.0691
|
|
|
0.0685
|
|
|
0.0675
|
|
|
0.0661
|
|
|
0.0656
|
|
|
0.0651
|
|
|
0.0643
|
|
|
0.0643
|
|
|
0.0632
|
|
|
0.0625
|
|
|
0.0619
|
|
|
0.0617
|
|
|
0.0615
|
|
|
0.0614
|
|
|
0.0612
|
|
|
0.0612
|
|
|
0.0603
|
|
|
0.0603
|
|
|
0.0603
|
|
|
0.0601
|
|
|
0.0599
|
|
|
0.0597
|
|
|
0.0597
|
|
|
0.0590
|
|
|
0.0583
|
|
|
0.0583
|
|
|
0.0579
|
|
|
0.0579
|
|
|
0.0574
|
|
|
0.0571
|
|
|
0.0571
|
|
|
0.0569
|
|
|
0.0562
|
|
|
0.0562
|
|
|
0.0562
|
|
|
0.0561
|
|
|
0.0561
|
|
|
0.0558
|
|
|
0.0548
|
|
|
0.0547
|
|
|
0.0534
|
|
|
0.0532
|
|
|
0.0525
|
|
|
0.0520
|
|
|
0.0518
|
|
|
0.0517
|
|
|
0.0508
|
|
|
0.0504
|
|
|
0.0503
|
|
|
0.0500
|
|
|