Returned 53 matches (100 formulae, 253 docs)
    Lookup 426.495 ms, Re-ranking 66.265 ms
    Found 6101135 tuple postings, 3292687 formulae, 2369155 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.6931
-5.0000
7.0000
KX^C=KXC=0

0.6452
0.0000
6.0000
KXC=0

0.6452
0.0000
5.0000
KYC=0
KSC=0
KFC=0
0.6452
0.0000
5.0000
KXB=0
KXA=0
KXF=0
0.6452
-1.0000
6.0000
KXCb=0
KXCt=0

0.6452
-1.0000
6.0000
-KXC=0

0.6452
-1.0000
6.0000
KXC=0,

0.6452
-1.0000
5.0000
KXF¯2=0

0.6452
-1.0000
5.0000
KWC0=0
K𝒞Cs=0

0.6452
-1.0000
5.0000
KXEB=0

0.6452
-1.0000
5.0000
-KXC=6
-KXC=4
-KXC=2
-KXC=3
-KXC=1
-KXC=5
0.6452
-1.0000
5.0000
-KXτ=0
-KXF=0
-KXD=0
0.6452
-1.0000
5.0000
KX2F=0

0.6452
-1.0000
5.0000
KX0F=0

0.6452
-1.0000
5.0000
KXCt=0.

0.6452
-2.0000
6.0000
KX¯Cγ=0

0.6452
-2.0000
6.0000
-KXCt=0

0.6452
-2.0000
6.0000
-KXC=0

0.6452
-2.0000
5.0000
-KXC0=0.
-KXCn=4

0.6452
-2.0000
5.0000
-KYCe=0

0.6452
-2.0000
5.0000
-KXA2=0
-KXB2=0

0.6452
-2.0000
5.0000
-KX2A=0

0.6452
-3.0000
6.0000
-KXC=0,

0.5714
-5.0000
6.0000
KXC=KCC=0

0.5263
0.0000
4.0000
FC=0
GC=0
MC=0
αC=0
HC=0
LC=0
BC=0
EC=0
ωC=0
C=0
ΔC=0
DC=0
θC=0
PC=0
C=0
0.5263
-1.0000
4.0000
DCX=0

0.5263
-2.0000
5.0000
KXC=-n
KXC=-1

0.5263
-3.0000
5.0000
-KXC=-1

0.5263
-3.0000
5.0000
KXC0=-2.

0.5263
-3.0000
5.0000
KXC=-2

0.5263
-8.0000
5.0000
KXC=c1(NC)=0

0.4478
-1.0000
5.0000
KXC0
KXC0
KXC>0
KXC<0

0.4478
-1.0000
5.0000
KX.C=0
KX+C=0
KX|C=0
0.4478
-2.0000
5.0000
KXC′′<0
KXC>0

0.4478
-2.0000
5.0000
-KXC0
-KXC<0
-KXC>0
0.4478
-2.0000
5.0000
KXCX0
KXCi0
KXCΓ<0
KXCi<0
KXCt<0

0.4478
-2.0000
5.0000
KX[C]=0

0.4478
-2.0000
5.0000
KX2C<0

0.4478
-2.0000
4.0000
KXC0<0.

0.4478
-3.0000
5.0000
-mKXC0
-mKXC<0

0.4068
0.0000
4.0000
KXC

0.4068
-1.0000
4.0000
CC=0

0.4068
-3.0000
4.0000
(KXC)<0
(KXC)=0
(KXC)0
0.4068
-5.0000
4.0000
(KX+Δ)C=0
(KX+D)C=0
(KX+C)C=0
0.4068
-5.0000
4.0000
DC=-KXC

0.4068
-6.0000
4.0000
(KX+D)Ci=0

0.2857
-1.0000
2.0000
KX=0

0.2857
-2.0000
3.0000
{detC=0}

0.2857
-2.0000
3.0000
{Ct=0}

0.2857
-2.0000
2.0000
KXE=0

0.2857
-2.0000
2.0000
12KX=0

0.2857
-4.0000
3.0000
K{Ch=0}

0.2857
-4.0000
2.0000
CX={x=0}