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 ]

0 B A B A 0.
Doc 1
1.0000, 0.0000, 11.0000, 4.1612
testing/wikipedia/v3/06693.html
0 B X n X 1 A 0
Doc 1
1.0000, 0.0000, 11.0000, 4.1612
testing/wikipedia/v3/06693.html
0 B X n X 1 A 0
Doc 1
1.0000, 0.0000, 11.0000, 4.1612
testing/wikipedia/v3/06693.html
0 A [ d ] 𝑓 A A / f  0 ,
Doc 2
0.5926, -7.0000, 4.0000, 0.9797
testing/wikipedia/v3/14812.html
0 N M M / N 0.
Doc 3
0.5600, -4.0000, 5.0000, 0.5600
testing/wikipedia/v3/01002.html
0 B E A 0
Doc 1
1.0000, 0.0000, 11.0000, 4.1612
testing/wikipedia/v3/06693.html
0 B E A 0.
Doc 1
1.0000, 0.0000, 11.0000, 4.1612
testing/wikipedia/v3/06693.html
0 B Y A 0
Doc 1
1.0000, 0.0000, 11.0000, 4.1612
testing/wikipedia/v3/06693.html
A A A
Doc 4
0.4615, -3.0000, 5.0000, 0.4615
testing/wikipedia/v3/05266.html
0 F G H 0.
Doc 5
0.4615, -3.0000, 4.0000, 0.4615
testing/wikipedia/v3/22712.html
0 B E A 0
Doc 1
1.0000, 0.0000, 11.0000, 4.1612
testing/wikipedia/v3/06693.html
0 K X P 0.
Doc 6
0.4615, -4.0000, 4.0000, 0.4615
testing/wikipedia/v3/21637.html
0 A 1 A 2 A 3 0
Doc 7
0.4615, -6.0000, 5.0000, 0.4615
testing/wikipedia/v3/26197.html
A Δ A A A α 1 α 2 α 3 B B B B
Doc 8
0.4615, -19.0000, 3.0000, 0.4615
testing/wikipedia/v3/01855.html
0 𝐑 H ( V ) V 0.
Doc 9
0.4255, -6.0000, 3.0000, 0.4255
testing/wikipedia/v3/04890.html
0 U V V / U 0.
Doc 10
0.4078, -4.0000, 5.0000, 0.4078
testing/wikipedia/v3/06908.html
1 A B C 1
Doc 13
0.3871, -3.0000, 5.0000, 0.3871
testing/wikipedia/v3/27153.html
Doc 15
0.3871, -3.0000, 5.0000, 0.3871
testing/wikipedia/v3/03394.html
0 A B P 0
Doc 16
0.3871, -3.0000, 5.0000, 0.3871
testing/wikipedia/v3/04317.html
0 A B C 0
Doc 2
0.5926, -7.0000, 4.0000, 0.9797
testing/wikipedia/v3/14812.html
Doc 11
0.3871, -3.0000, 5.0000, 0.7742
testing/wikipedia/v3/04806.html
Doc 12
0.3871, -3.0000, 5.0000, 0.3871
testing/wikipedia/v3/08992.html
Doc 14
0.3871, -3.0000, 5.0000, 0.3871
testing/wikipedia/v3/16977.html
Doc 17
0.3871, -3.0000, 5.0000, 0.3871
testing/wikipedia/v3/02283.html
Doc 18
0.3871, -3.0000, 5.0000, 0.3871
testing/wikipedia/v3/03337.html
0 A 𝑓 B 𝑔 C 0
Doc 19
0.3871, -5.0000, 5.0000, 1.1613
testing/wikipedia/v3/02265.html
0 A i B i C i 0
Doc 20
0.3871, -6.0000, 5.0000, 0.3871
testing/wikipedia/v3/00532.html
0 A 𝑓 B 𝑔 C  0
Doc 11
0.3871, -3.0000, 5.0000, 0.7742
testing/wikipedia/v3/04806.html
Doc 19
0.3871, -5.0000, 5.0000, 1.1613
testing/wikipedia/v3/02265.html
Doc 21
0.3871, -7.0000, 5.0000, 0.3871
testing/wikipedia/v3/02271.html
Doc 22
0.3871, -7.0000, 5.0000, 0.3871
testing/wikipedia/v3/28049.html
1 A 𝑓 B 𝑔 C  1
Doc 19
0.3871, -5.0000, 5.0000, 1.1613
testing/wikipedia/v3/02265.html
A B C
Doc 23
0.3288, -1.0000, 3.0000, 0.5595
testing/wikipedia/v3/10021.html
Doc 24
0.3288, -1.0000, 3.0000, 0.5595
testing/wikipedia/v3/09082.html
i : A B D
Doc 26
0.3288, -3.0000, 3.0000, 0.3288
testing/wikipedia/v3/28667.html
A 𝑓 B 𝑔 C
Doc 25
0.3288, -3.0000, 3.0000, 0.5595
testing/wikipedia/v3/22197.html
0 R 𝑥 R 0.
Doc 27
0.3288, -4.0000, 3.0000, 0.3288
testing/wikipedia/v3/05359.html
A 𝑓 B C ( f )
Doc 28
0.3288, -5.0000, 3.0000, 0.5595
testing/wikipedia/v3/16632.html
A 𝑓 B C ( f ) A [ 1 ]
Doc 29
0.3288, -8.0000, 3.0000, 0.7903
testing/wikipedia/v3/16582.html
0 ker f V W coker f 0.
Doc 31
0.3288, -9.0000, 2.0000, 0.3288
testing/wikipedia/v3/00595.html
0 ker T V W coker T 0.
Doc 30
0.3288, -9.0000, 2.0000, 0.3288
testing/wikipedia/v3/03610.html
U A B A = ( b - a ) + ( a - b ) = 0.
Doc 32
0.3288, -14.0000, 4.0000, 0.3288
testing/wikipedia/v3/00789.html
A B A
Doc 33
0.2581, -1.0000, 4.0000, 0.2581
testing/wikipedia/v3/04722.html
A B : A
Doc 34
0.2581, -1.0000, 1.0000, 0.2581
testing/wikipedia/v3/04799.html
A × B C A ( B C )
Doc 35
0.2581, -8.0000, 3.0000, 0.2581
testing/wikipedia/v3/00075.html
A B
Doc 37
0.2308, 0.0000, 3.0000, 0.9231
testing/wikipedia/v3/02230.html
Doc 38
0.2308, 0.0000, 3.0000, 0.4615
testing/wikipedia/v3/00603.html
Doc 39
0.2308, 0.0000, 3.0000, 0.4615
testing/wikipedia/v3/09981.html
Doc 41
0.2308, 0.0000, 3.0000, 0.4615
testing/wikipedia/v3/04144.html
Doc 43
0.2308, 0.0000, 3.0000, 0.2308
testing/wikipedia/v3/11039.html
Doc 44
0.2308, 0.0000, 3.0000, 0.2308
testing/wikipedia/v3/01792.html
Doc 45
0.2308, 0.0000, 3.0000, 0.2308
testing/wikipedia/v3/02315.html
B A
Doc 36
0.2308, 0.0000, 3.0000, 0.9231
testing/wikipedia/v3/06913.html
Doc 40
0.2308, 0.0000, 3.0000, 0.4615
testing/wikipedia/v3/12116.html
Doc 42
0.2308, 0.0000, 3.0000, 0.2308
testing/wikipedia/v3/27287.html
ε 0.
Doc 46
0.2308, 0.0000, 2.0000, 0.2308
testing/wikipedia/v3/23268.html
A B
Doc 23
0.3288, -1.0000, 3.0000, 0.5595
testing/wikipedia/v3/10021.html
Doc 24
0.3288, -1.0000, 3.0000, 0.5595
testing/wikipedia/v3/09082.html
Doc 37
0.2308, 0.0000, 3.0000, 0.9231
testing/wikipedia/v3/02230.html
Doc 40
0.2308, 0.0000, 3.0000, 0.4615
testing/wikipedia/v3/12116.html
Doc 47
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/22097.html
Doc 48
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/16784.html
Doc 49
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/15897.html
Doc 50
0.2308, 0.0000, 1.0000, 0.4615
testing/wikipedia/v3/03173.html
Doc 51
0.2308, 0.0000, 1.0000, 0.4615
testing/wikipedia/v3/13289.html
Doc 52
0.2308, 0.0000, 1.0000, 0.4615
testing/wikipedia/v3/00252.html
Doc 53
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/08177.html
Doc 54
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/06226.html
Doc 55
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/09666.html
Doc 56
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/12146.html
Doc 57
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/13812.html
Doc 58
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/06848.html
Doc 59
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/11227.html
Doc 60
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/23382.html
Doc 61
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/01370.html
Doc 62
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/00598.html
Doc 63
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/10133.html
Doc 64
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/06229.html
Doc 65
0.2308, 0.0000, 1.0000, 0.2308
testing/wikipedia/v3/00257.html
A B ¯
Doc 38
0.2308, 0.0000, 3.0000, 0.4615
testing/wikipedia/v3/00603.html
F B A
Doc 66
0.2308, -1.0000, 3.0000, 0.6923
testing/wikipedia/v3/21408.html
( A B )
Doc 37
0.2308, 0.0000, 3.0000, 0.9231
testing/wikipedia/v3/02230.html
R e 0.
Doc 67
0.2308, -1.0000, 2.0000, 0.2308
testing/wikipedia/v3/09883.html
A B C
Doc 52
0.2308, 0.0000, 1.0000, 0.4615
testing/wikipedia/v3/00252.html
Doc 68
0.2308, -1.0000, 1.0000, 0.2308
testing/wikipedia/v3/26565.html
Doc 69
0.2308, -1.0000, 1.0000, 0.2308
testing/wikipedia/v3/01436.html
Doc 70
0.2308, -1.0000, 1.0000, 0.2308
testing/wikipedia/v3/01699.html
F A B
Doc 66
0.2308, -1.0000, 3.0000, 0.6923
testing/wikipedia/v3/21408.html
[ A B ]
Doc 71
0.2308, -1.0000, 1.0000, 0.2308
testing/wikipedia/v3/20007.html
A B
Doc 36
0.2308, 0.0000, 3.0000, 0.9231
testing/wikipedia/v3/06913.html
g : B A
Doc 29
0.3288, -8.0000, 3.0000, 0.7903
testing/wikipedia/v3/16582.html
χ = B A
Doc 72
0.2308, -2.0000, 3.0000, 1.1811
testing/wikipedia/v3/00600.html
f : B A
Doc 73
0.2308, -2.0000, 3.0000, 0.4615
testing/wikipedia/v3/03878.html
Doc 79
0.2308, -2.0000, 3.0000, 0.2308
testing/wikipedia/v3/12746.html
C = A B
Doc 77
0.2308, -2.0000, 3.0000, 0.2308
testing/wikipedia/v3/27501.html
ϕ : B A
Doc 74
0.2308, -2.0000, 3.0000, 0.2308
testing/wikipedia/v3/03968.html
Doc 76
0.2308, -2.0000, 3.0000, 0.2308
testing/wikipedia/v3/03952.html
A A B
Doc 78
0.2308, -2.0000, 3.0000, 0.2308
testing/wikipedia/v3/05976.html
Tr : B A
Doc 75
0.2308, -2.0000, 3.0000, 0.2308
testing/wikipedia/v3/04457.html
A B C
Doc 37
0.2308, 0.0000, 3.0000, 0.9231
testing/wikipedia/v3/02230.html
Doc 39
0.2308, 0.0000, 3.0000, 0.4615
testing/wikipedia/v3/09981.html
Doc 50
0.2308, 0.0000, 1.0000, 0.4615
testing/wikipedia/v3/03173.html
A B
Doc 41
0.2308, 0.0000, 3.0000, 0.4615
testing/wikipedia/v3/04144.html
X A B
Doc 81
0.2308, -2.0000, 1.0000, 0.4615
testing/wikipedia/v3/02367.html
w A B
Doc 80
0.2308, -2.0000, 1.0000, 0.5906
testing/wikipedia/v3/06965.html
Doc 83
0.2308, -2.0000, 1.0000, 0.3598
testing/wikipedia/v3/01521.html
X ⊮ A B
Doc 81
0.2308, -2.0000, 1.0000, 0.4615
testing/wikipedia/v3/02367.html
f : A B
Doc 25
0.3288, -3.0000, 3.0000, 0.5595
testing/wikipedia/v3/22197.html
Doc 28
0.3288, -5.0000, 3.0000, 0.5595
testing/wikipedia/v3/16632.html
Doc 29
0.3288, -8.0000, 3.0000, 0.7903
testing/wikipedia/v3/16582.html
Doc 73
0.2308, -2.0000, 3.0000, 0.4615
testing/wikipedia/v3/03878.html
Doc 82
0.2308, -2.0000, 1.0000, 0.3771
testing/wikipedia/v3/15113.html
Doc 84
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/22038.html
Doc 85
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/12745.html
Doc 86
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/17371.html
Doc 87
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/30135.html
Doc 88
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/06010.html
Doc 89
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/07029.html
Doc 90
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/06452.html
Doc 91
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/06497.html
Doc 93
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/08432.html
Doc 94
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/13622.html
Doc 95
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/15488.html
Doc 97
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/09411.html
Doc 98
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/23698.html
Doc 99
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/04234.html
Doc 103
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/26635.html
Doc 104
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/11062.html
Doc 105
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/01444.html
Doc 106
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/16318.html
Doc 108
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/27307.html
Doc 109
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/15118.html
F : A B
Doc 92
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/04061.html
Φ : A B
Doc 101
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/10083.html
h : A B
Doc 96
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/17045.html
Doc 100
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/01648.html
Doc 102
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/05060.html
g : A B
Doc 107
0.2308, -2.0000, 1.0000, 0.2308
testing/wikipedia/v3/07363.html
A ( B A )
Doc 72
0.2308, -2.0000, 3.0000, 1.1811
testing/wikipedia/v3/00600.html
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
Doc 111
0.2308, -3.0000, 3.0000, 0.4615
testing/wikipedia/v3/16987.html
Doc 112
0.2308, -3.0000, 3.0000, 0.2308
testing/wikipedia/v3/00015.html
A ( B A )
Doc 36
0.2308, 0.0000, 3.0000, 0.9231
testing/wikipedia/v3/06913.html
A i A j A k
Doc 113
0.2308, -5.0000, 3.0000, 0.2308
testing/wikipedia/v3/26477.html
A ( ( B A ) A )
Doc 72
0.2308, -2.0000, 3.0000, 1.1811
testing/wikipedia/v3/00600.html
A ( B ( C A ) )
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
( ( A B ) A ) A
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
( A B ) ( B A ) .
Doc 47
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/22097.html
Doc 48
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/16784.html
( A B ) ( B A ) .
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
( A B ) & ( B A ) .
Doc 114
0.2308, -7.0000, 3.0000, 0.6923
testing/wikipedia/v3/18080.html
( ¬ A ¬ B ) ( B A )
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
( A B ) ( ¬ B ¬ A )
Doc 49
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/15897.html
Doc 51
0.2308, 0.0000, 1.0000, 0.4615
testing/wikipedia/v3/13289.html
( A B ) ( ¬ B ¬ A )
Doc 49
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/15897.html
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
( ¬ B ¬ A ) ( A B )
Doc 49
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/15897.html
( A ( B A ) ) ( A A )
Doc 72
0.2308, -2.0000, 3.0000, 1.1811
testing/wikipedia/v3/00600.html
A A F A B = A B F B A
Doc 66
0.2308, -1.0000, 3.0000, 0.6923
testing/wikipedia/v3/21408.html
A B ( A B ) ( B A )
Doc 47
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/22097.html
Doc 48
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/16784.html
Doc 114
0.2308, -7.0000, 3.0000, 0.6923
testing/wikipedia/v3/18080.html
( A B ) ( B A )
Doc 80
0.2308, -2.0000, 1.0000, 0.5906
testing/wikipedia/v3/06965.html
( ¬ A B ) ( ( B A ) A )
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
( ( A B ) B ) ( ( B A ) A )
Doc 111
0.2308, -3.0000, 3.0000, 0.4615
testing/wikipedia/v3/16987.html
( A B ) ( ( B A ) ( A B ) )
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
[ D ( B A ) ] [ B ( D A ) ]
Doc 36
0.2308, 0.0000, 3.0000, 0.9231
testing/wikipedia/v3/06913.html
A B ( ( A B ) B ) ( ( B A ) A )
Doc 47
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/22097.html
Doc 48
0.2308, 0.0000, 1.0000, 0.9231
testing/wikipedia/v3/16784.html
Doc 114
0.2308, -7.0000, 3.0000, 0.6923
testing/wikipedia/v3/18080.html
B B × B
Doc 115
0.1463, -2.0000, 3.0000, 0.1463
testing/wikipedia/v3/05287.html
d : A A
Doc 118
0.1463, -2.0000, 2.0000, 0.1463
testing/wikipedia/v3/10513.html
Doc 119
0.1463, -2.0000, 2.0000, 0.1463
testing/wikipedia/v3/30371.html
f : A A
Doc 82
0.2308, -2.0000, 1.0000, 0.3771
testing/wikipedia/v3/15113.html
Doc 121
0.1463, -2.0000, 2.0000, 0.1463
testing/wikipedia/v3/16016.html
Doc 123
0.1463, -2.0000, 2.0000, 0.1463
testing/wikipedia/v3/02492.html
S : A A
Doc 117
0.1463, -2.0000, 2.0000, 0.1463
testing/wikipedia/v3/14917.html
¬ ¬ A A
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
Doc 116
0.1463, -2.0000, 2.0000, 0.1463
testing/wikipedia/v3/25294.html
Doc 122
0.1463, -2.0000, 2.0000, 0.1463
testing/wikipedia/v3/04684.html
: B B
Doc 120
0.1463, -2.0000, 2.0000, 0.1463
testing/wikipedia/v3/10968.html
A A A
Doc 124
0.1463, -2.0000, 1.0000, 0.1463
testing/wikipedia/v3/22085.html
A A
Doc 72
0.2308, -2.0000, 3.0000, 1.1811
testing/wikipedia/v3/00600.html
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
A A ^
Doc 126
0.1290, -2.0000, 2.0000, 0.1290
testing/wikipedia/v3/05189.html
B B
Doc 127
0.1290, -2.0000, 2.0000, 0.1290
testing/wikipedia/v3/22727.html
A A
Doc 80
0.2308, -2.0000, 1.0000, 0.5906
testing/wikipedia/v3/06965.html
Doc 83
0.2308, -2.0000, 1.0000, 0.3598
testing/wikipedia/v3/01521.html
Doc 128
0.1290, -2.0000, 2.0000, 0.1290
testing/wikipedia/v3/17727.html
A A
Doc 72
0.2308, -2.0000, 3.0000, 1.1811
testing/wikipedia/v3/00600.html
A A P
Doc 125
0.1290, -2.0000, 2.0000, 0.1290
testing/wikipedia/v3/11507.html
( ¬ A A ) A
Doc 110
0.2308, -3.0000, 3.0000, 2.2506
testing/wikipedia/v3/25945.html
Doc 129
0.1290, -5.0000, 2.0000, 0.1290
testing/wikipedia/v3/15474.html