Returned 37 matches (100 formulae, 256 docs)
    Lookup 17.096 ms, Re-ranking 55.623 ms
    Found 86238 tuple postings, 40827 formulae, 58688 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.3636
-1.0000
4.0000
2sq

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

0.3636
-2.0000
3.0000
(2sd)

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

0.3636
-2.0000
3.0000
2sn1

0.3636
-2.0000
3.0000
2siA

0.3636
-3.0000
4.0000
2sq-1

0.3636
-3.0000
4.0000
b+2sq

0.3636
-3.0000
3.0000
d+2sn
s, 2sk
1/2sK
s, 2sj
t/2st

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

0.3636
-3.0000
3.0000
2sτgo

0.3636
-3.0000
3.0000
2s{\sfdiam}(Γ)
2sω(G)
2sA(q)
2sdiam(Γ)

0.3636
-3.0000
3.0000
2cs6

0.3636
-3.0000
3.0000
2-mst

0.3636
-3.0000
2.0000
2ksn
2rst

0.3636
-4.0000
3.0000
 2sm+1

0.3636
-4.0000
3.0000
(2sr-1)

0.3636
-4.0000
3.0000
2k-1st

0.3243
0.0000
3.0000
s6
seq

0.3243
-2.0000
3.0000
2s5
2s3
2s25
2s4
2s6
2s7
2s17
2s182
2s14
0.3243
-2.0000
3.0000
5s6
1s6
0s6
4s6

0.3243
-3.0000
3.0000
(2s4)

0.3243
-3.0000
3.0000
2s1s
2si50

0.3243
-3.0000
3.0000
2s[β]

0.3243
-3.0000
3.0000
1s6,

0.3243
-3.0000
3.0000
-2s0
-2s2

0.3243
-3.0000
3.0000
2s+

0.3243
-3.0000
3.0000
-1s6

0.3243
-3.0000
3.0000
2ss

0.3243
-4.0000
3.0000
2s7/2

0.3243
-4.0000
3.0000
2s2n2

0.3243
-4.0000
3.0000
2s2jd

0.3243
-4.0000
3.0000
1/2s1
3/2s2

0.3243
-5.0000
3.0000
2s<sA
2ssA

0.3243
-5.0000
3.0000
2s(n-1)

0.3243
-5.0000
3.0000
r/2s2r