Returned 1 matches (100 formulae, 21699 docs)
    Lookup 2103.610 ms, Re-ranking 12.702 ms
    Found 104121927 tuple postings, 6070543 formulae, 4857161 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
1.0000
hP
hop
hR
hL
h32
h00
h±
hc
h𝒜
hy
hm
hH
hmax
hω
h3
h5
hJ
hρ
hs
h31
hμ
hext
hY
ho
h𝒑
hgcd
hi
hF
h7
hD
hθ
hb
h1
htot
h𝒰
hz
hT
he
hβ
h21
hX
hϵ
hv
hM
h33
ht
hs
h+
h
hS
hx
hp
hex
hΔ
hn
hΣ
hψ
hr
hl
hI
hΦ
hλ
hπ
hν
hA
h6
h-
hε
h4
h
hK
h
hC
hh
hE
hg
hk
hφ
h75
hj
h55
ha
h
h0
hη
h22
h×
h2
h𝑒𝑥𝑡
hα
hc
h*
h
hf
hd
hγ
h¯
hu
hmin
hN