Returned 26 matches (100 formulae, 288 docs)
    Lookup 449.384 ms, Re-ranking 48.597 ms
    Found 14166796 tuple postings, 626396 formulae, 665946 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
5.0000
H1(K)=0

1.0000
0.0000
4.0000
H1()=0
H1(M)=Z
H1(Y)=0
H1()=0
H1(E)= 0
H1(L)=0
H1(Γ)=0
H1(G)=0
H1(X)=0
H1(M)=0
H1(Z)=0
H1(V)=0
H1()=0
H1()=0
H1(𝔥)=0
H1(F)=0
H1(D)=0
H1(B)=0
H1(Z)=
H1(B)=1
H1(𝒪)=0
H1(S)=0
H1(A)=0
H1()=0
H1(𝒢)=0
H1()=0
H1(γ)=0
H1()=1
H1(R)=0
H1(g)=0
H1(𝒜)=0
H1(𝐡)=0
H1(Σ)=0
H1()=0
H1(C)=𝕂
H1(𝒰)=R
H1(B)=
H1(M)=0.
H1()=0
H1(U)=0

1.0000
0.0000
4.0000
H~0(K)=0

1.0000
-1.0000
5.0000
H*1(K)=0

1.0000
-1.0000
5.0000
H1(K×)=0

1.0000
-1.0000
5.0000
H1(KX)=0

1.0000
-1.0000
4.0000
Hλ1(R)=0
H*1()=0
H𝔪1(R)=0
Hp¯1(X)=0.
HI1(E)=0
H*1(𝒜)=0
HA1(M)=0
Hp1(G)=0
H*1(F)=0
1.0000
-1.0000
4.0000
δH1(P)=0
dimH1()=1
dimH1(F)=4
1.0000
-1.0000
4.0000
H1(𝒪S)=0
H1(𝒪C)=0
H1(𝒪X)=0
H1(NX)=0
H1(NR)=0
H1(𝖬N)=0
H1(Af)=0

1.0000
-1.0000
4.0000
H1(mA)=V

1.0000
-1.0000
4.0000
H1(𝖶)={0}

1.0000
-1.0000
4.0000
H1(Y)=N
H1(M)=3

1.0000
-1.0000
4.0000
H2(Kn)=0

1.0000
-1.0000
4.0000
H1(Y)=0;

1.0000
-2.0000
5.0000
H*1(KE)=0
H*1(K1)=0

1.0000
-2.0000
5.0000
H1(K;)=

1.0000
-3.0000
5.0000
H1(KX+L)=0

1.0000
-3.0000
5.0000
H1(KSr)=0

0.8163
-1.0000
4.0000
H~j(K)=0
Hs(K)=0
H~i(K)=0
0.8163
-1.0000
4.0000
Hd(K)=0
Hn(K)=0
Hk(K)=0
H1(K)=0
Hk(K)=
Hi(K)=0
Hj(K)=0
Hh(K)=0
HK(K)=0
H(K)=0

0.8163
-1.0000
4.0000
H1(H)=0

0.8163
-2.0000
4.0000
HI1(0)=λ

0.8163
-2.0000
4.0000
H(K)=C(K)

0.8163
-2.0000
4.0000
H1(-L)=0

0.6316
0.0000
4.0000
H1(K)

0.6316
0.0000
3.0000
(K)=n
(K)=p
(K)=q
(K)=2
(K)=1
(K)=0
(K)=r