Returned 75 matches
(100 formulae, 70 docs)
Lookup 1.235 ms, Re-ranking 113.350 ms
Found 6944 tuple postings, 3850 formulae, 2057 documents
1.0000 0.0000 16.0000
|
|
|
0.6769 0.0000 7.0000
|
|
|
0.6769 0.0000 6.0000
|
|
|
0.6769 0.0000 6.0000
|
|
|
0.6769 0.0000 5.0000
|
|
|
0.6769 -3.0000 7.0000
|
|
|
0.6769 -3.0000 5.0000
|
|
|
0.6122 -2.0000 7.0000
|
|
|
0.5475 0.0000 6.0000
|
|
|
0.5475 0.0000 6.0000
|
|
|
0.5475 0.0000 6.0000
|
|
|
0.5475 0.0000 5.0000
|
|
|
0.5475 0.0000 5.0000
|
|
|
0.5475 0.0000 4.0000
|
|
|
0.5475 -1.0000 6.0000
|
|
|
0.5475 -1.0000 6.0000
|
|
|
0.5475 -1.0000 6.0000
|
|
|
0.5475 -1.0000 5.0000
|
|
|
0.5475 -2.0000 7.0000
|
|
|
0.5475 -2.0000 6.0000
|
|
|
0.5475 -3.0000 6.0000
|
|
|
0.5475 -3.0000 6.0000
|
|
|
0.5475 -4.0000 6.0000
|
|
|
0.5475 -5.0000 6.0000
|
|
|
0.5475 -6.0000 6.0000
|
|
|
0.4828 -4.0000 5.0000
|
|
|
0.4828 -5.0000 5.0000
|
|
|
0.4828 -5.0000 5.0000
|
|
|
0.4828 -5.0000 4.0000
|
|
|
0.4828 -7.0000 6.0000
|
|
|
0.4828 -9.0000 6.0000
|
|
|
0.4828 -12.0000 6.0000
|
|
|
0.4444 -2.0000 6.0000
|
|
|
0.4444 -2.0000 6.0000
|
|
|
0.4444 -2.0000 4.0000
|
|
|
0.4444 -3.0000 6.0000
|
|
|
0.4444 -3.0000 6.0000
|
|
|
0.4444 -4.0000 4.0000
|
|
|
0.4444 -6.0000 6.0000
|
|
|
0.4444 -8.0000 7.0000
|
|
|
0.4444 -10.0000 6.0000
|
|
|
0.4444 -12.0000 6.0000
|
|
|
0.4444 -12.0000 6.0000
|
|
|
0.4444 -12.0000 5.0000
|
|
|
0.4179 -2.0000 4.0000
|
|
|
0.4000 -4.0000 6.0000
|
|
|
0.4000 -7.0000 6.0000
|
|
|
0.3784 -5.0000 5.0000
|
|
|
0.3784 -5.0000 5.0000
|
|
|
0.3784 -7.0000 5.0000
|
|
|
0.3784 -7.0000 5.0000
|
|
|
0.3784 -7.0000 5.0000
|
|
|
0.3529 -5.0000 4.0000
|
|
|
0.3529 -5.0000 3.0000
|
|
|
0.3529 -6.0000 4.0000
|
|
|
0.3314 -4.0000 6.0000
|
|
|
0.3314 -4.0000 6.0000
|
|
|
0.3314 -5.0000 6.0000
|
|
|
0.3314 -5.0000 6.0000
|
|
|
0.3314 -5.0000 6.0000
|
|
|
0.3314 -6.0000 6.0000
|
|
|
0.3314 -6.0000 6.0000
|
|
|
0.3314 -7.0000 6.0000
|
|
|
0.3314 -8.0000 4.0000
|
|
|
0.3314 -12.0000 6.0000
|
|
|
0.3117 -6.0000 5.0000
|
|
|
0.3117 -7.0000 4.0000
|
|
|
0.3117 -9.0000 4.0000
|
|
|
0.2609 -6.0000 4.0000
|
|
|
0.2609 -9.0000 5.0000
|
|
|
0.2609 -9.0000 4.0000
|
|
|
0.2439 -3.0000 4.0000
|
|
|
0.2222 -4.0000 2.0000
|
|
|
0.1739 -4.0000 4.0000
|
|
|
0.1739 -6.0000 4.0000
|
|
|