Returned 1 matches (100 formulae, 12127 docs)
    Lookup 71.683 ms, Re-ranking 10.936 ms
    Found 408126 tuple postings, 38946 formulae, 56583 documents
[ formulas ] [ documents ] [ documents-by-formula ]

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