Returned 48 matches
(50 formulae, 22 docs)
Lookup 0.334 ms, Re-ranking 49.005 ms
Found 50 tuple postings, 50 formulae, 22 documents
1.0000 0.0000 2.0000
|
|
|
1.0000 -1.0000 2.0000
|
|
|
1.0000 -1.0000 2.0000
|
|
|
1.0000 -5.0000 2.0000
|
|
|
1.0000 -6.0000 2.0000
|
|
|
1.0000 -6.0000 2.0000
|
|
|
1.0000 -6.0000 2.0000
|
|
|
1.0000 -6.0000 2.0000
|
|
|
1.0000 -8.0000 2.0000
|
|
|
1.0000 -8.0000 2.0000
|
|
|
1.0000 -9.0000 2.0000
|
|
|
1.0000 -9.0000 2.0000
|
|
|
1.0000 -10.0000 2.0000
|
|
|
1.0000 -10.0000 2.0000
|
|
|
1.0000 -11.0000 2.0000
|
|
|
1.0000 -11.0000 2.0000
|
|
|
1.0000 -11.0000 2.0000
|
|
|
1.0000 -12.0000 2.0000
|
|
|
1.0000 -12.0000 2.0000
|
|
|
1.0000 -13.0000 2.0000
|
|
|
1.0000 -14.0000 2.0000
|
|
|
1.0000 -14.0000 2.0000
|
|
|
1.0000 -14.0000 2.0000
|
|
|
1.0000 -14.0000 2.0000
|
|
|
1.0000 -15.0000 2.0000
|
|
|
1.0000 -16.0000 2.0000
|
|
|
1.0000 -17.0000 2.0000
|
|
|
1.0000 -17.0000 2.0000
|
|
|
1.0000 -17.0000 2.0000
|
|
|
1.0000 -18.0000 2.0000
|
|
|
1.0000 -22.0000 2.0000
|
|
|
1.0000 -22.0000 2.0000
|
|
|
1.0000 -22.0000 2.0000
|
|
|
1.0000 -23.0000 2.0000
|
|
|
1.0000 -24.0000 2.0000
|
|
|
1.0000 -25.0000 2.0000
|
|
|
1.0000 -26.0000 2.0000
|
|
|
1.0000 -31.0000 2.0000
|
|
|
1.0000 -35.0000 2.0000
|
|
|
1.0000 -37.0000 2.0000
|
|
|
1.0000 -39.0000 2.0000
|
|
|
1.0000 -44.0000 2.0000
|
|
|
1.0000 -56.0000 2.0000
|
|
|
1.0000 -58.0000 2.0000
|
|
|
1.0000 -58.0000 2.0000
|
|
|
1.0000 -62.0000 2.0000
|
|
|
1.0000 -63.0000 2.0000
|
|
|
1.0000 -67.0000 2.0000
|
|
|