Returned 20 matches
(100 formulae, 173 docs)
Lookup 71.964 ms, Re-ranking 27.062 ms
Found 1384080 tuple postings, 75062 formulae, 16708 documents
1.0000 0.0000 1.0000
|
|
|
1.0000 -1.0000 1.0000
|
|
|
1.0000 -1.0000 1.0000
|
|
|
1.0000 -1.0000 1.0000
|
|
|
1.0000 -1.0000 1.0000
|
|
|
1.0000 -1.0000 1.0000
|
|
|
1.0000 -1.0000 1.0000
|
|
|
1.0000 -2.0000 1.0000
|
|
|
1.0000 -2.0000 1.0000
|
|
|
1.0000 -2.0000 1.0000
|
|
|
1.0000 -2.0000 1.0000
|
|
|
0.5714 -1.0000 1.0000
|
|
|
0.5714 -2.0000 1.0000
|
|
|
0.5714 -2.0000 1.0000
|
|
|
0.5714 -2.0000 1.0000
|
|
|
0.5714 -2.0000 1.0000
|
|
|
0.5714 -2.0000 1.0000
|
|
|
0.5714 -2.0000 1.0000
|
|
|
0.5714 -2.0000 1.0000
|
|
|
0.5714 -3.0000 1.0000
|
|
|