Returned 63 matches (100 formulae, 213 docs)
    Lookup 18.413 ms, Re-ranking 140.014 ms
    Found 84231 tuple postings, 54745 formulae, 58838 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.6923
-2.0000
8.0000
0BMAN0.

0.6575
-5.0000
8.0000
0ABABK0.

0.5926
-5.0000
6.0000
0IA10A21B0
0IA01A12B0

0.5926
-5.0000
4.0000
0ABCB′′0

0.5600
-4.0000
6.0000
0BAA/B0

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
-6.0000
7.0000
0ABC=B/A0.

0.4615
-3.0000
6.0000
0BAD0
0BAC0

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

0.4615
-4.0000
6.0000
ABCBcA

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
0TAA00.

0.4615
-4.0000
5.0000
0A+A0.

0.4615
-4.0000
5.0000
1BAAo1

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

0.4615
-4.0000
5.0000
0BDA0

0.4615
-5.0000
6.0000
0B1BB00.

0.4615
-5.0000
6.0000
AABBA[1]

0.4615
-5.0000
6.0000
0BiAjD0

0.4615
-5.0000
5.0000
0I𝑓B𝑔A0

0.4615
-5.0000
5.0000
0NB¯A¯0
0TB~A~0

0.4615
-5.0000
5.0000
0B0P0A0

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

0.4615
-7.0000
5.0000
0Bq1Qq2A0.

0.4615
-9.0000
6.0000
AiAABpBB0TA

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
3.0000
0Aξ(l)B0.6

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

0.4255
-6.0000
2.0000
0AiAB0,

0.3871
-3.0000
6.0000
0IAB0
0JAB0
0JAB0.
0.3871
-3.0000
6.0000
0ABC0.

0.3871
-3.0000
5.0000
0ACB0
0AGB0
0AEB0.
0AB0.
0AEB0

0.3871
-3.0000
5.0000
0ABG0
0ABX0
0ABC0
0.3871
-4.0000
6.0000
0JAqB0

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

0.3871
-4.0000
5.0000
0ABC0,

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

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

0.3871
-4.0000
5.0000
  0AxB0 .

0.3871
-5.0000
6.0000
d:0ABC0.

0.3871
-5.0000
5.0000
0AfBpC0
0A𝑓B𝑔C0
0AϕBψC0
0.3871
-5.0000
5.0000
θ:0ABC0
d:0ABC0
E:0ABG1
0.3871
-5.0000
5.0000
0A𝜇E𝜈B0.

0.3871
-5.0000
5.0000
0AaBE0,

0.3871
-7.0000
6.0000
θ:0AfBgC0.

0.3871
-9.0000
6.0000
0AA+BB/AB0

0.3288
-1.0000
4.0000
BAB

0.3288
-1.0000
4.0000
ABA

0.3288
-2.0000
4.0000
BAA0

0.3288
-4.0000
4.0000
ABBcA

0.3288
-7.0000
4.0000
0CBAA00.

0.3288
-7.0000
4.0000
0CBAA00

0.3288
-7.0000
3.0000
0ABτ-A0