Returned 71 matches
(100 formulae, 125 docs)
Lookup 2.503 ms, Re-ranking 36.086 ms
Found 57940 tuple postings, 53043 formulae, 11850 documents
1.0000 0.0000 7.0000
|
|
|
1.0000 0.0000 6.0000
|
|
|
1.0000 -5.0000 6.0000
|
|
|
0.5882 -1.0000 3.0000
|
|
|
0.5882 -1.0000 3.0000
|
|
|
0.5882 -3.0000 2.0000
|
|
|
0.5333 -3.0000 3.0000
|
|
|
0.4211 -2.0000 3.0000
|
|
|
0.4211 -3.0000 3.0000
|
|
|
0.4211 -3.0000 3.0000
|
|
|
0.4211 -3.0000 3.0000
|
|
|
0.4211 -4.0000 2.0000
|
|
|
0.4211 -5.0000 3.0000
|
|
|
0.4211 -5.0000 2.0000
|
|
|
0.3750 -1.0000 3.0000
|
|
|
0.3750 -1.0000 2.0000
|
|
|
0.3750 -2.0000 2.0000
|
|
|
0.3750 -2.0000 2.0000
|
|
|
0.3750 -2.0000 2.0000
|
|
|
0.3750 -2.0000 2.0000
|
|
|
0.3750 -2.0000 2.0000
|
|
|
0.3750 -3.0000 3.0000
|
|
|
0.3750 -3.0000 2.0000
|
|
|
0.3750 -4.0000 3.0000
|
|
|
0.3750 -4.0000 3.0000
|
|
|
0.3750 -4.0000 3.0000
|
|
|
0.3750 -4.0000 3.0000
|
|
|
0.3750 -4.0000 2.0000
|
|
|
0.3750 -4.0000 2.0000
|
|
|
0.3750 -4.0000 2.0000
|
|
|
0.3750 -5.0000 3.0000
|
|
|
0.3750 -5.0000 3.0000
|
|
|
0.3750 -5.0000 3.0000
|
|
|
0.3750 -5.0000 2.0000
|
|
|
0.3750 -5.0000 2.0000
|
|
|
0.3750 -6.0000 3.0000
|
|
|
0.3750 -6.0000 3.0000
|
|
|
0.3750 -6.0000 2.0000
|
|
|
0.2400 -1.0000 1.0000
|
|
|
0.2400 -1.0000 1.0000
|
|
|
0.2400 -2.0000 1.0000
|
|
|
0.2400 -2.0000 1.0000
|
|
|
0.2400 -2.0000 1.0000
|
|
|
0.2400 -2.0000 1.0000
|
|
|
0.2400 -3.0000 1.0000
|
|
|
0.2400 -3.0000 1.0000
|
|
|
0.2400 -4.0000 1.0000
|
|
|
0.2400 -5.0000 3.0000
|
|
|
0.2400 -5.0000 1.0000
|
|
|
0.2400 -6.0000 3.0000
|
|
|
0.2105 -3.0000 2.0000
|
|
|
0.2105 -3.0000 2.0000
|
|
|
0.2105 -4.0000 2.0000
|
|
|
0.2105 -4.0000 2.0000
|
|
|
0.2105 -5.0000 2.0000
|
|
|
0.2105 -5.0000 2.0000
|
|
|
0.2105 -5.0000 2.0000
|
|
|
0.2105 -5.0000 2.0000
|
|
|
0.2105 -5.0000 2.0000
|
|
|
0.2105 -5.0000 2.0000
|
|
|
0.2105 -5.0000 2.0000
|
|
|
0.2105 -5.0000 2.0000
|
|
|
0.2105 -5.0000 2.0000
|
|
|
0.2105 -5.0000 2.0000
|
|
|
0.2105 -6.0000 2.0000
|
|
|
0.2105 -6.0000 2.0000
|
|
|
0.2105 -6.0000 2.0000
|
|
|
0.2105 -8.0000 2.0000
|
|
|
0.1053 0.0000 1.0000
|
|
|
0.1053 -3.0000 1.0000
|
|
|
0.1053 -6.0000 1.0000
|
|
|