Returned 70 matches (100 formulae, 125 docs)
    Lookup 1.187 ms, Re-ranking 104.876 ms
    Found 1977 tuple postings, 1283 formulae, 610 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
11.0000
0 B A B A 0.

0.6575
-7.0000
6.0000
0 B X n X 1 A 0

0.6575
-9.0000
6.0000
0 B X n X 1 A 0

0.5926
-7.0000
4.0000
0 A [ d ] 𝑓 A A / f  0 ,

0.4615
-3.0000
5.0000
0 B Y A 0
0 B E A 0.
0 B E A 0
0.4615
-3.0000
5.0000
A A A

0.4615
-4.0000
5.0000
0 B E A 0

0.4615
-6.0000
5.0000
0 A 1 A 2 A 3 0

0.4615
-19.0000
4.0000
C ( f ) = 0 A 0 [ - 1 ] f 0 B 0 [ 0 ] 0 .

0.4615
-19.0000
3.0000
A Δ A A A α 1 α 2 α 3 B B B B

0.3871
-3.0000
5.0000
0 A B P 0
0 A B C 0
1 A B C 1
0.3871
-5.0000
5.0000
0 A 𝑓 B 𝑔 C 0

0.3871
-6.0000
5.0000
0 A i B i C i 0

0.3871
-7.0000
5.0000
0 A 𝑓 B 𝑔 C  0
1 A 𝑓 B 𝑔 C  1

0.3288
-1.0000
3.0000
A B C

0.3288
-3.0000
3.0000
i : A B D

0.3288
-3.0000
3.0000
A 𝑓 B 𝑔 C

0.3288
-5.0000
3.0000
A 𝑓 B C ( f )

0.3288
-8.0000
3.0000
A 𝑓 B C ( f ) A [ 1 ]

0.3288
-14.0000
4.0000
U A B A = ( b - a ) + ( a - b ) = 0.

0.2581
-1.0000
4.0000
A B A

0.2581
-1.0000
1.0000
A B : A

0.2581
-7.0000
4.0000
A 1 A 2 A 3 A 1

0.2581
-7.0000
2.0000
A 1 A 2 A 3 A 1

0.2308
0.0000
3.0000
A B
B A

0.2308
0.0000
1.0000
A B

0.2308
-1.0000
3.0000
F B A

0.2308
-1.0000
3.0000
( A B )

0.2308
-1.0000
3.0000
A B ¯

0.2308
-1.0000
1.0000
F A B

0.2308
-1.0000
1.0000
[ A B ]

0.2308
-1.0000
1.0000
A B C

0.2308
-1.0000
1.0000
A B

0.2308
-2.0000
3.0000
A B C
A B

0.2308
-2.0000
3.0000
f : B A
g : B A
A A B
C = A B
χ = B A
ϕ : B A
Tr : B A

0.2308
-2.0000
1.0000
f : A B
g : A B
φ : A B
w A B
Φ : A B
X ⊮ A B
F : A B
X A B
h : A B
0.2308
-2.0000
1.0000
( A B ) *

0.2308
-2.0000
1.0000
A B .

0.2308
-3.0000
3.0000
A ( B A )

0.2308
-4.0000
3.0000
A ( B A )

0.2308
-5.0000
3.0000
A i A j A k

0.2308
-6.0000
3.0000
A ( ( B A ) A )

0.2308
-6.0000
2.0000
A ( B ( C A ) )

0.2308
-6.0000
1.0000
( ( A B ) A ) A

0.2308
-7.0000
3.0000
( A B ) ( B A ) .
( A B ) & ( B A ) .
( A B ) ( B A ) .
0.2308
-8.0000
3.0000
( ¬ A ¬ B ) ( B A )

0.2308
-8.0000
2.0000
( A B ) ( ¬ B ¬ A )
( A B ) ( ¬ B ¬ A )

0.2308
-8.0000
2.0000
( ¬ B ¬ A ) ( A B )

0.2308
-9.0000
3.0000
( A ( B A ) ) ( A A )

0.2308
-10.0000
3.0000
( ¬ A B ) ( ( B A ) A )

0.2308
-10.0000
3.0000
A B ( A B ) ( B A )

0.2308
-10.0000
3.0000
( A B ) ( B A )

0.2308
-10.0000
3.0000
A A F A B = A B F B A

0.2308
-12.0000
3.0000
( ( A B ) B ) ( ( B A ) A )

0.2308
-12.0000
3.0000
( A B ) ( ( B A ) ( A B ) )

0.2308
-13.0000
3.0000
[ D ( B A ) ] [ B ( D A ) ]

0.2308
-15.0000
2.0000
( ( A B ) C ) ( ( C A ) ( D A ) )

0.2308
-16.0000
3.0000
A B ( ( A B ) B ) ( ( B A ) A )

0.2308
-21.0000
3.0000
( A ( ( B A ) A ) ) ( ( A ( B A ) ) ( A A ) )

0.1463
-2.0000
3.0000
B B × B

0.1463
-2.0000
2.0000
S : A A
¬ ¬ A A
: B B
f : A A
d : A A

0.1463
-2.0000
2.0000
A A / I

0.1463
-2.0000
1.0000
A A A

0.1290
-1.0000
2.0000
A A

0.1290
-2.0000
2.0000
A A ^
B B

0.1290
-2.0000
2.0000
A A
A A

0.1290
-2.0000
2.0000
A A P

0.1290
-3.0000
2.0000
A i A i

0.1290
-3.0000
2.0000
A ρ A

0.1290
-5.0000
2.0000
( ¬ A A ) A