Returned 1 matches (100 formulae, 12127 docs)
    Lookup 2668.730 ms, Re-ranking 12.296 ms
    Found 104162055 tuple postings, 6088283 formulae, 4879054 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
1.0000
qδ
qI
qX
qΓ
q~A
q˙j
q#
qe
qτ
qh
qφ
q~c
qT
qβ
qV
q
q4
qa
q′′′
q6
qu
qd
q-
q˙ϕ
qR
q2
q
qN
q
q𝒟
q0
q
qθ
qZ
q
qo
q^
q
qs
qJ
q24
qb
q
qB
q′′
qσ
q42
q150
qν
qm
q
qρ
qk
qD
q˙
q230
qF
qε
q
qi
q7
qx
qγ
qn
q
q5
q˘
qα
q±
qλ
qt
q~14
q~
q^v
q3
q
q
q¨
q¯
qz
qΛ
qϵ
q12
q
q1
qr
q16
q𝐙
ql
q+
qexact
qp
qE
q10
q
q45
qth
q~μ
q*
qth