Returned 66 matches (100 formulae, 206 docs)
    Lookup 22.200 ms, Re-ranking 145.177 ms
    Found 259117 tuple postings, 153110 formulae, 157330 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.6923
-2.0000
8.0000
0BMAN0.

0.6575
-3.0000
5.0000
0NBAL0

0.6575
-5.0000
8.0000
0ABABK0.

0.5926
-5.0000
6.0000
0IA01A12B0
0IA10A21B0

0.5926
-5.0000
4.0000
0ABCB′′0

0.5600
-4.0000
6.0000
0BAA/B0

0.5600
-4.0000
6.0000
0JAA/J0.

0.5600
-8.0000
5.0000
ABCNCBA

0.5161
-3.0000
8.0000
0AABB0.

0.5161
-3.0000
5.0000
0AFξB0
0ACDB0

0.5161
-6.0000
4.0000
0A/𝔭𝛼AB0   and.1

0.4912
-4.0000
6.0000
VBUAF0.

0.4912
-6.0000
7.0000
0ABC=B/A0.

0.4615
-3.0000
6.0000
0BAD0
0BAC0

0.4615
-3.0000
5.0000
0BEA0
0BTA0
0BCA0
0BCA0.
0BPA0
0BXA0
0BDA0
0BA 0
0BQA0
0.4615
-3.0000
5.0000
0JBA0
0KBA0
0IBA0
0MBA0
0kBA0

0.4615
-4.0000
6.0000
ABCBcA

0.4615
-4.0000
5.0000
0MBϵA0
0CBτA0

0.4615
-4.0000
5.0000
1BAAo1

0.4615
-4.0000
5.0000
0𝐆mGA0.

0.4615
-4.0000
5.0000
0TAA00.

0.4615
-4.0000
5.0000
0KBhA0

0.4615
-4.0000
5.0000
0JAA0.

0.4615
-4.0000
5.0000
0MBA0

0.4615
-4.0000
5.0000
0A+A0.

0.4615
-5.0000
6.0000
AABBA[1]

0.4615
-5.0000
6.0000
0B1BB00.

0.4615
-6.0000
6.0000
0AsAA¯0.

0.4615
-7.0000
6.0000
0BV^A^C^0.

0.4615
-7.0000
5.0000
0Bq1Qq2A0.

0.4255
0.0000
3.0000
0AB

0.4255
-5.0000
3.0000
0A𝑎AB0.

0.4255
-5.0000
2.0000
0AxAB0

0.4255
-6.0000
3.0000
0A[1]EB0.

0.4255
-6.0000
2.0000
0AiAB0,

0.4255
-6.0000
2.0000
0A02A11B0
0A02A12B0
0A20A21B0
0A20A11B0

0.4255
-12.0000
4.0000
0UA/fAB/fBV0.

0.4078
-4.0000
6.0000
0ABB/A0

0.3871
-3.0000
6.0000
0ABC0.

0.3871
-3.0000
6.0000
0JAB0.
0IAB0
0JAB0
0.3871
-3.0000
5.0000
0AGB0
0AB0.
0ACB0
0AEB0.
0AEB0

0.3871
-3.0000
5.0000
0ABX0
0ABG0
0ABC0
0.3871
-3.0000
5.0000
0ACF0.

0.3871
-4.0000
6.0000
0IAB0,
0YAB0,
0DAB0,
0.3871
-4.0000
6.0000
0JAqB0

0.3871
-4.0000
6.0000
0CABV0

0.3871
-4.0000
5.0000
0AEB0,
0AYB0,
  0AFB0,
0.3871
-4.0000
5.0000
  0AxB0 .

0.3871
-4.0000
5.0000
0ABC0,

0.3871
-4.0000
5.0000
  0AFqB0 .

0.3871
-4.0000
5.0000
0ABπC0
0AB𝜋C0

0.3871
-5.0000
6.0000
d:0ABC0.

0.3871
-5.0000
5.0000
E:0ABG1
d:0ABC0
θ:0ABC0
0.3871
-5.0000
5.0000
ABCABC

0.3871
-5.0000
5.0000
0A𝜇E𝜈B0.

0.3871
-6.0000
3.0000
0ΘAAA/Θ0.

0.3871
-7.0000
6.0000
θ:0AfBgC0.

0.3871
-9.0000
6.0000
0AA+BB/AB0

0.3871
-9.0000
5.0000
SABCABCD

0.3288
-1.0000
4.0000
BAB

0.3288
-1.0000
4.0000
ABA

0.3288
-4.0000
4.0000
ABBcA

0.3288
-5.0000
3.0000
ABτ-A0.

0.3288
-6.0000
3.0000
0LATN0.

0.3288
-7.0000
4.0000
0CBAA00.

0.3288
-11.0000
3.0000
0AB[t,t-1]0.