Returned 28 matches (100 formulae, 337 docs)
    Lookup 140.570 ms, Re-ranking 50.689 ms
    Found 325554 tuple postings, 140126 formulae, 184286 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.3636
-1.0000
4.0000
2sq

0.3636
-1.0000
3.0000
2sr
2sN
2sS
2sm
2s
2sd
2sA
2sn
2sp
2sl
2s
2sc
2sk
2st
2si
0.3636
-2.0000
4.0000
2sq:

0.3636
-2.0000
3.0000
2st,
2sk,
2sr.
2scw
2sd.
2sn,
2sg.

0.3636
-2.0000
3.0000
(2sd)

0.3636
-2.0000
3.0000
2siA

0.3636
-3.0000
4.0000
b+2sq

0.3636
-3.0000
3.0000
s, 2sk
1/2sK

0.3636
-3.0000
3.0000
2s<t6
2sd-1
2sp-1
2sk-1
2st+1
2sn-2
2sr-2
2sν-1
2sm-1
2sκ+1
2sn-1
2sk+2
0.3636
-3.0000
3.0000
2cs6

0.3636
-3.0000
2.0000
2ik6
2rst

0.3243
0.0000
3.0000
s6

0.3243
-1.0000
3.0000
s^6
s6

0.3243
-2.0000
3.0000
2s182
2s14
2s25
2s17
2s7
2s6
2s5
2s<6
2s3
2s4

0.3243
-2.0000
3.0000
s*26

0.3243
-2.0000
3.0000
0s6
0<s6
5s6
4s6
1s6
3<s6
0.3243
-2.0000
2.0000
2i6
2l6
2d6
2N6
2Λ6
2t6
2j6
2L6
2p6
2g6
2m6
2β6
2D6
2n6
2q6
2λ6
2r6
2e6
2σ6
2u6
2k6
2b6

0.3243
-3.0000
3.0000
1s6,

0.3243
-3.0000
3.0000
-2s0
-2s2

0.3243
-3.0000
3.0000
-1s6

0.3243
-3.0000
3.0000
2s+

0.3243
-3.0000
2.0000
2c26
2ηF6

0.3243
-3.0000
2.0000
-2θ6
-2ξ6

0.3243
-3.0000
2.0000
(2v6)

0.3243
-4.0000
3.0000
1/2s1

0.3243
-5.0000
3.0000
2s2(u)6

0.2069
-2.0000
2.0000
n+26

0.2069
-3.0000
2.0000
2g-26