Returned 78 matches
(81 formulae, 30 docs)
Lookup 0.334 ms, Re-ranking 72.833 ms
Found 81 tuple postings, 81 formulae, 30 documents
1.0000 0.0000 2.0000
|
|
|
1.0000 -1.0000 2.0000
|
|
|
1.0000 -1.0000 2.0000
|
|
|
1.0000 -2.0000 2.0000
|
|
|
1.0000 -2.0000 2.0000
|
|
|
1.0000 -2.0000 2.0000
|
|
|
1.0000 -2.0000 2.0000
|
|
|
1.0000 -3.0000 2.0000
|
|
|
1.0000 -3.0000 2.0000
|
|
|
1.0000 -3.0000 2.0000
|
|
|
1.0000 -3.0000 2.0000
|
|
|
1.0000 -4.0000 2.0000
|
|
|
1.0000 -4.0000 2.0000
|
|
|
1.0000 -4.0000 2.0000
|
|
|
1.0000 -6.0000 2.0000
|
|
|
1.0000 -6.0000 2.0000
|
|
|
1.0000 -7.0000 2.0000
|
|
|
1.0000 -7.0000 2.0000
|
|
|
1.0000 -7.0000 2.0000
|
|
|
1.0000 -7.0000 2.0000
|
|
|
1.0000 -8.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 -9.0000 2.0000
|
|
|
1.0000 -11.0000 2.0000
|
|
|
1.0000 -12.0000 2.0000
|
|
|
1.0000 -12.0000 2.0000
|
|
|
1.0000 -12.0000 2.0000
|
|
|
1.0000 -12.0000 2.0000
|
|
|
1.0000 -13.0000 2.0000
|
|
|
1.0000 -13.0000 2.0000
|
|
|
1.0000 -13.0000 2.0000
|
|
|
1.0000 -13.0000 2.0000
|
|
|
1.0000 -13.0000 2.0000
|
|
|
1.0000 -14.0000 2.0000
|
|
|
1.0000 -15.0000 2.0000
|
|
|
1.0000 -15.0000 2.0000
|
|
|
1.0000 -16.0000 2.0000
|
|
|
1.0000 -16.0000 2.0000
|
|
|
1.0000 -17.0000 2.0000
|
|
|
1.0000 -18.0000 2.0000
|
|
|
1.0000 -18.0000 2.0000
|
|
|
1.0000 -18.0000 2.0000
|
|
|
1.0000 -18.0000 2.0000
|
|
|
1.0000 -19.0000 2.0000
|
|
|
1.0000 -19.0000 2.0000
|
|
|
1.0000 -20.0000 2.0000
|
|
|
1.0000 -22.0000 2.0000
|
|
|
1.0000 -22.0000 2.0000
|
|
|
1.0000 -23.0000 2.0000
|
|
|
1.0000 -23.0000 2.0000
|
|
|
1.0000 -24.0000 2.0000
|
|
|
1.0000 -24.0000 2.0000
|
|
|
1.0000 -24.0000 2.0000
|
|
|
1.0000 -25.0000 2.0000
|
|
|
1.0000 -25.0000 2.0000
|
|
|
1.0000 -26.0000 2.0000
|
|
|
1.0000 -26.0000 2.0000
|
|
|
1.0000 -26.0000 2.0000
|
|
|
1.0000 -27.0000 2.0000
|
|
|
1.0000 -29.0000 2.0000
|
|
|
1.0000 -31.0000 2.0000
|
|
|
1.0000 -35.0000 2.0000
|
|
|
1.0000 -38.0000 2.0000
|
|
|
1.0000 -41.0000 2.0000
|
|
|
1.0000 -41.0000 2.0000
|
|
|
1.0000 -41.0000 2.0000
|
|
|
1.0000 -44.0000 2.0000
|
|
|
1.0000 -45.0000 2.0000
|
|
|
1.0000 -46.0000 2.0000
|
|
|
1.0000 -48.0000 2.0000
|
|
|
1.0000 -54.0000 2.0000
|
|
|
1.0000 -57.0000 2.0000
|
|
|
1.0000 -58.0000 2.0000
|
|
|
1.0000 -61.0000 2.0000
|
|
|
1.0000 -76.0000 2.0000
|
|
|