Returned 32 matches (100 formulae, 184 docs)
    Lookup 2073.860 ms, Re-ranking 78.658 ms
    Found 106021924 tuple postings, 2129469 formulae, 1830924 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
7.0000
Θ(dΘ)n0

1.0000
0.0000
5.0000
α(dα)20
Ω(dΩ)n0
η(dη)m0
ϕ(dϕ)n0
μ(dμ)n0
η(dη)n0
ω(dω)p0
λ(dλ)n0
ω(dω)n0
θ(dθ)n0
β(dβ)k0
η(dη)p0
α(dα)k0
α(dα)n0

1.0000
0.0000
4.0000
η(δη)n0

1.0000
-1.0000
5.0000
η(dη)n0,

1.0000
-2.0000
7.0000
Θ(dΘ)n0,

1.0000
-2.0000
7.0000
ΘM(dΘM)30

1.0000
-2.0000
5.0000
η(dη)n-10
ω(dω)n-10
γ(dγ)n-10
α(dα)n-20
λ(dλ)n-10
α(dα)n-10
θ(dθ)n-10

1.0000
-2.0000
5.0000
η~(dη~)n0
α+(dα+)p0

1.0000
-2.0000
5.0000
ωm(dωm)0
γi(dγi)n0
ω0(dω0)n0
1.0000
-2.0000
5.0000
αx(dα)xn0

1.0000
-2.0000
5.0000
ϑ(dϑ+ω)n0

1.0000
-4.0000
7.0000
ΘG(dΘG)n0

1.0000
-4.0000
5.0000
α(dα)(n-1)0

0.7317
0.0000
4.0000
(dη)p0
(dω)k0
(dx)k0
(dω)n0
(dβ)q0
(dα)n0
(dω)p0

0.7317
0.0000
3.0000
(aR)20
(aR)m0
(χ)0
(xy)m0
(adx)m0
(Dr)20
(ade)m0

0.7317
-2.0000
4.0000
(dα2p)p0

0.7317
-2.0000
4.0000
(dα)r+10

0.7317
-5.0000
3.0000
(ω(dω)p)(x)0

0.5970
0.0000
3.0000
(V)H0

0.5970
-1.0000
4.0000
π(dα)0
σ(dg)0

0.5970
-1.0000
4.0000
(dτ)x0
(dF)x0

0.5970
-1.0000
4.0000
2(A)0
2(N)0

0.5970
-1.0000
3.0000
δ(Ω)30
u(b)t0
Δ(t)F0
e(α)n0
q(L)20
R(L)0
h(F)20
Δ(t)E0
J(B)N0
J(W)G0
Z(B)20
Z(R)20
H(π)0
W(N)20
u(z)p0
Π(V)*0
σ(D)20

0.5085
-1.0000
3.0000
(u)20
(ranL)0

0.4615
-1.0000
4.0000
ω(d)0
β(d)0
ψ(d)0
W(d)0
α(d)0
f(d)0
ρ(d)0
t(d)0
N(d)0
μ(d)0
D(d)0

0.4615
-2.0000
4.0000
JG(d)0

0.4615
-2.0000
4.0000
f(d)0
G(d)0

0.4615
-2.0000
4.0000
ν(dμ)0
φ(dj)0

0.4615
-2.0000
3.0000
Tr(-)F0

0.4615
-2.0000
3.0000
Δ12(Θ)0
ΓΘ(ζ)0

0.4615
-2.0000
3.0000
f(Θκ)0
e(λΘ)0

0.4615
-4.0000
3.0000
(dω)p(x)0