Returned 26 matches
(100 formulae, 96 docs)
Lookup 0.679 ms, Re-ranking 18.528 ms
Found 2011 tuple postings, 408 formulae, 285 documents
1.0000 0.0000 3.0000
|
|
|
1.0000 0.0000 2.0000
|
|
|
1.0000 0.0000 2.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 -1.0000 2.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 -1.0000 2.0000
|
|
|
1.0000 -1.0000 2.0000
|
|
|
1.0000 -2.0000 3.0000
|
|
|
0.5714 0.0000 2.0000
|
|
|
0.5714 -1.0000 2.0000
|
|
|
0.5714 -1.0000 2.0000
|
|
|
0.5714 -1.0000 2.0000
|
|
|
0.5714 -1.0000 2.0000
|
|
|
0.5714 -2.0000 2.0000
|
|
|
0.5714 -2.0000 2.0000
|
|
|
0.5714 -2.0000 2.0000
|
|
|
0.5714 -2.0000 2.0000
|
|
|
0.5714 -2.0000 2.0000
|
|
|
0.5714 -2.0000 2.0000
|
|
|