Returned 72 matches
(100 formulae, 91 docs)
Lookup 0.998 ms, Re-ranking 111.648 ms
Found 1653 tuple postings, 1347 formulae, 760 documents
1.0000 0.0000 15.0000
|
|
|
1.0000 0.0000 9.0000
|
|
|
1.0000 -5.0000 5.0000
|
|
|
0.8619 -2.0000 7.0000
|
|
|
0.8619 -17.0000 7.0000
|
|
|
0.7928 0.0000 6.0000
|
|
|
0.7928 0.0000 5.0000
|
|
|
0.7928 0.0000 4.0000
|
|
|
0.7928 -12.0000 11.0000
|
|
|
0.7547 -4.0000 5.0000
|
|
|
0.7547 -11.0000 6.0000
|
|
|
0.7237 -7.0000 4.0000
|
|
|
0.7237 -15.0000 4.0000
|
|
|
0.5854 -14.0000 5.0000
|
|
|
0.5854 -14.0000 3.0000
|
|
|
0.5455 -26.0000 2.0000
|
|
|
0.5000 -13.0000 3.0000
|
|
|
0.4752 -5.0000 2.0000
|
|
|
0.4468 -3.0000 3.0000
|
|
|
0.4468 -6.0000 3.0000
|
|
|
0.4046 -1.0000 3.0000
|
|
|
0.4046 -14.0000 2.0000
|
|
|
0.4046 -23.0000 2.0000
|
|
|
0.3774 -2.0000 3.0000
|
|
|
0.3544 -9.0000 4.0000
|
|
|
0.3544 -26.0000 4.0000
|
|
|
0.3544 -29.0000 4.0000
|
|
|
0.3333 -7.0000 3.0000
|
|
|
0.3333 -7.0000 3.0000
|
|
|
0.3333 -8.0000 2.0000
|
|
|
0.3077 0.0000 2.0000
|
|
|
0.3077 -1.0000 3.0000
|
|
|
0.3077 -2.0000 2.0000
|
|
|
0.3077 -4.0000 2.0000
|
|
|
0.3077 -4.0000 1.0000
|
|
|
0.3077 -6.0000 1.0000
|
|
|
0.2609 -3.0000 3.0000
|
|
|
0.2609 -5.0000 3.0000
|
|
|
0.2609 -7.0000 2.0000
|
|
|
0.2609 -13.0000 3.0000
|
|
|
0.2376 0.0000 2.0000
|
|
|
0.2376 -1.0000 2.0000
|
|
|
0.2376 -1.0000 2.0000
|
|
|
0.2376 -1.0000 2.0000
|
|
|
0.2376 -2.0000 2.0000
|
|
|
0.2376 -7.0000 2.0000
|
|
|
0.2308 -12.0000 3.0000
|
|
|
0.2105 -9.0000 3.0000
|
|
|
0.2105 -12.0000 3.0000
|
|
|
0.2000 -5.0000 3.0000
|
|
|
0.1860 -1.0000 2.0000
|
|
|
0.1860 -9.0000 2.0000
|
|
|
0.1667 0.0000 2.0000
|
|
|
0.1667 -1.0000 2.0000
|
|
|
0.1667 -1.0000 2.0000
|
|
|
0.1667 -2.0000 2.0000
|
|
|
0.1667 -2.0000 2.0000
|
|
|
0.1667 -2.0000 2.0000
|
|
|
0.1667 -2.0000 2.0000
|
|
|
0.1667 -2.0000 2.0000
|
|
|
0.1667 -2.0000 2.0000
|
|
|
0.1667 -2.0000 2.0000
|
|
|
0.1667 -3.0000 2.0000
|
|
|
0.1667 -3.0000 2.0000
|
|
|
0.1667 -10.0000 1.0000
|
|
|
0.1127 -12.0000 3.0000
|
|
|
0.1053 -2.0000 2.0000
|
|
|
0.1053 -2.0000 2.0000
|
|
|
0.1053 -2.0000 2.0000
|
|
|
0.0563 -3.0000 2.0000
|
|
|
0.0563 -3.0000 2.0000
|
|
|
0.0563 -9.0000 2.0000
|
|
|