Returned 70 matches (100 formulae, 129 docs)
    Lookup 0.894 ms, Re-ranking 103.497 ms
    Found 4055 tuple postings, 3176 formulae, 1798 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.5600
-4.0000
5.0000
0 N M M / N 0.

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

0.4615
-3.0000
4.0000
0 F G H 0.

0.4615
-4.0000
5.0000
0 B E A 0

0.4615
-4.0000
4.0000
0 K X P 0.

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

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

0.4255
-6.0000
3.0000
0 𝐑 H ( V ) V 0.

0.4078
-4.0000
5.0000
0 U V V / U 0.

0.3871
-3.0000
5.0000
1 A B C 1
0 A B P 0
0 A B C 0
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
-4.0000
3.0000
0 R 𝑥 R 0.

0.3288
-5.0000
3.0000
A 𝑓 B C ( f )

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

0.3288
-9.0000
2.0000
0 ker f V W coker f 0.
0 ker T V W coker T 0.

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
-8.0000
3.0000
A × B C A ( B C )

0.2308
0.0000
3.0000
A B
B A

0.2308
0.0000
2.0000
ε 0.

0.2308
0.0000
1.0000
A B

0.2308
-1.0000
3.0000
A B ¯

0.2308
-1.0000
3.0000
F B A

0.2308
-1.0000
3.0000
( A B )

0.2308
-1.0000
2.0000
R e 0.

0.2308
-1.0000
1.0000
A B C

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

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

0.2308
-2.0000
3.0000
A B C
A B

0.2308
-2.0000
1.0000
X A B
w A B
X ⊮ A B
f : A B
F : A B
Φ : A B
h : A B
g : 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 A F A B = A B F B 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 B ) ( ( B A ) 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
-16.0000
3.0000
A B ( ( A B ) B ) ( ( B A ) A )

0.1463
-2.0000
3.0000
B B × B

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

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
-5.0000
2.0000
( ¬ A A ) A