Returned 51 matches (100 formulae, 234 docs)
    Lookup 116.344 ms, Re-ranking 57.401 ms
    Found 1148753 tuple postings, 768458 formulae, 817017 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
KXF=0
KXB=0
KXA=0
0.6452
0.0000
5.0000
KSC=0
KFC=0
KYC=0
0.6452
0.0000
4.0000
KSC=1
KYC=0.
KSC=2
0.6452
0.0000
4.0000
DnC=0
DdC=0
LjC=0
0.6452
-1.0000
6.0000
-KXC=0

0.6452
-1.0000
6.0000
KXCb=0
KXCt=0

0.6452
-1.0000
6.0000
KXC=0,

0.6452
-1.0000
5.0000
-KXC=3
-KXC=4
-KXC=5
-KXC=6
-KXC=1
-KXC=2
0.6452
-1.0000
5.0000
KWC0=0
K𝒞Cs=0

0.6452
-1.0000
5.0000
KXCt=0.

0.6452
-2.0000
6.0000
-KXCt=0

0.6452
-2.0000
6.0000
-KXC=0

0.6452
-2.0000
6.0000
KX¯Cγ=0

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

0.6452
-2.0000
5.0000
-KYCe=0

0.6452
-3.0000
6.0000
-KXC=0,

0.5714
-5.0000
6.0000
KXC=KCC=0

0.5263
0.0000
4.0000
ΔC=0
C=0
ωC=0
BC=0
θC=0
C=0
DC=0
PC=0
FC=0
αC=0
LC=0
GC=0
EC=0
MC=0
HC=0
0.5263
0.0000
4.0000
KC=6
KC=7

0.5263
-1.0000
5.0000
KC=0,

0.5263
-1.0000
4.0000
x0C=0
L1C=0
L12C=0
G1C=0

0.5263
-1.0000
4.0000
GC=0

0.5263
-1.0000
4.0000
SC0=0
HCi=0
LCt=0
PCj=0
BCj=0
ECt=0
DCX=0

0.5263
-1.0000
4.0000
αC=0,

0.5263
-1.0000
4.0000
detVC=0
QxC=0

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

0.5263
-3.0000
5.0000
KXC=-2

0.5263
-3.0000
5.0000
KXC0=-2.

0.5263
-3.0000
5.0000
-KXC=-1

0.5263
-4.0000
5.0000
KXCt=-1,

0.5263
-4.0000
5.0000
-KXCt=-1.

0.5263
-5.0000
5.0000
-KXC=n+δ.

0.5263
-5.0000
5.0000
KXCi=-nqi

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

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

0.4478
-1.0000
5.0000
KX|C=0
KX+C=0

0.4478
-1.0000
4.0000
CxC=0

0.4478
-1.0000
4.0000
KXC>0.
KXC<0.

0.4068
0.0000
4.0000
KXC

0.4068
-1.0000
4.0000
CC=0

0.4068
-1.0000
4.0000
KXCX

0.4068
-1.0000
4.0000
(KXC)

0.4068
-1.0000
4.0000
-KXC

0.4068
-2.0000
4.0000
(-KXC)

0.4068
-3.0000
4.0000
(KXC)=0

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

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

0.2857
-2.0000
3.0000
{Ct=0}