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 ]

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