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 ]

Doc 1
1.0000
0.0000
11.0000
4.1612
testing/wikipedia/v3/06693.html
0 B A B A 0.
0 B X n X 1 A 0
0 B X n X 1 A 0
0 B E A 0.
0 B E A 0
0 B Y A 0
0 B E A 0

Doc 2
0.5926
-7.0000
4.0000
0.9797
testing/wikipedia/v3/14812.html
0 A [ d ] 𝑓 A A / f  0 ,
0 A B C 0

Doc 3
0.4615
-3.0000
5.0000
0.4615
testing/wikipedia/v3/05266.html
A A A

Doc 4
0.4615
-6.0000
5.0000
0.4615
testing/wikipedia/v3/26197.html
0 A 1 A 2 A 3 0

Doc 5
0.4615
-19.0000
4.0000
1.0211
testing/wikipedia/v3/16632.html
C ( f ) = 0 A 0 [ - 1 ] f 0 B 0 [ 0 ] 0 .
A 𝑓 B C ( f )
f : A B
Doc 6
0.4615
-19.0000
3.0000
0.4615
testing/wikipedia/v3/01855.html
A Δ A A A α 1 α 2 α 3 B B B B

Doc 7
0.3871
-3.0000
5.0000
0.7742
testing/wikipedia/v3/04806.html
0 A B C 0
0 A 𝑓 B 𝑔 C  0

Doc 8
0.3871
-3.0000
5.0000
0.3871
testing/wikipedia/v3/08992.html
0 A B C 0

Doc 9
0.3871
-3.0000
5.0000
0.3871
testing/wikipedia/v3/27153.html
1 A B C 1

Doc 10
0.3871
-3.0000
5.0000
0.3871
testing/wikipedia/v3/16977.html
0 A B C 0

Doc 11
0.3871
-3.0000
5.0000
0.3871
testing/wikipedia/v3/03394.html
1 A B C 1

Doc 12
0.3871
-3.0000
5.0000
0.3871
testing/wikipedia/v3/04317.html
0 A B P 0

Doc 13
0.3871
-3.0000
5.0000
0.3871
testing/wikipedia/v3/02283.html
0 A B C 0

Doc 14
0.3871
-3.0000
5.0000
0.3871
testing/wikipedia/v3/03337.html
0 A B C 0

Doc 15
0.3871
-5.0000
5.0000
1.1613
testing/wikipedia/v3/02265.html
0 A 𝑓 B 𝑔 C 0
0 A 𝑓 B 𝑔 C  0
1 A 𝑓 B 𝑔 C  1
Doc 16
0.3871
-6.0000
5.0000
0.3871
testing/wikipedia/v3/00532.html
0 A i B i C i 0

Doc 17
0.3871
-7.0000
5.0000
0.3871
testing/wikipedia/v3/02271.html
0 A 𝑓 B 𝑔 C  0

Doc 18
0.3871
-7.0000
5.0000
0.3871
testing/wikipedia/v3/28049.html
0 A 𝑓 B 𝑔 C  0

Doc 19
0.3288
-1.0000
3.0000
0.5595
testing/wikipedia/v3/10021.html
A B C
A B

Doc 20
0.3288
-1.0000
3.0000
0.5595
testing/wikipedia/v3/09082.html
A B C
A B

Doc 21
0.3288
-3.0000
3.0000
0.5595
testing/wikipedia/v3/22197.html
A 𝑓 B 𝑔 C
f : A B

Doc 22
0.3288
-3.0000
3.0000
0.3288
testing/wikipedia/v3/28667.html
i : A B D

Doc 23
0.3288
-8.0000
3.0000
0.7903
testing/wikipedia/v3/16582.html
A 𝑓 B C ( f ) A [ 1 ]
g : B A
f : A B
Doc 24
0.3288
-14.0000
4.0000
0.3288
testing/wikipedia/v3/00789.html
U A B A = ( b - a ) + ( a - b ) = 0.

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 B : A

Doc 27
0.2581
-7.0000
4.0000
0.5161
testing/wikipedia/v3/10204.html
A 1 A 2 A 3 A 1
A 1 A 2 A 3 A 1

Doc 28
0.2308
0.0000
3.0000
0.9231
testing/wikipedia/v3/06913.html
B A
A B
A ( B A )
[ D ( B A ) ] [ B ( D A ) ]

Doc 29
0.2308
0.0000
3.0000
0.9231
testing/wikipedia/v3/02230.html
A B
A B
( A B )
A B C

Doc 30
0.2308
0.0000
3.0000
0.4615
testing/wikipedia/v3/09981.html
A B
A B C

Doc 31
0.2308
0.0000
3.0000
0.4615
testing/wikipedia/v3/00603.html
A B
A B ¯

Doc 32
0.2308
0.0000
3.0000
0.4615
testing/wikipedia/v3/12116.html
B A
A B

Doc 33
0.2308
0.0000
3.0000
0.4615
testing/wikipedia/v3/04144.html
A B
A B

Doc 34
0.2308
0.0000
3.0000
0.2308
testing/wikipedia/v3/11039.html
A B

Doc 35
0.2308
0.0000
3.0000
0.2308
testing/wikipedia/v3/01792.html
A B

Doc 36
0.2308
0.0000
3.0000
0.2308
testing/wikipedia/v3/02315.html
A B

Doc 37
0.2308
0.0000
3.0000
0.2308
testing/wikipedia/v3/27287.html
B A

Doc 38
0.2308
0.0000
1.0000
0.9231
testing/wikipedia/v3/22097.html
A B
( A B ) ( B A ) .
A B ( A B ) ( B A )
A B ( ( A B ) B ) ( ( B A ) A )

Doc 39
0.2308
0.0000
1.0000
0.9231
testing/wikipedia/v3/16784.html
A B
( A B ) ( B A ) .
A B ( A B ) ( B A )
A B ( ( A B ) B ) ( ( B A ) A )

Doc 40
0.2308
0.0000
1.0000
0.9231
testing/wikipedia/v3/15897.html
A B
( A B ) ( ¬ B ¬ A )
( A B ) ( ¬ B ¬ A )
( ¬ B ¬ A ) ( A B )

Doc 41
0.2308
0.0000
1.0000
0.4615
testing/wikipedia/v3/03173.html
A B
A B C

Doc 42
0.2308
0.0000
1.0000
0.4615
testing/wikipedia/v3/13289.html
A B
( A B ) ( ¬ B ¬ A )

Doc 43
0.2308
0.0000
1.0000
0.4615
testing/wikipedia/v3/00252.html
A B
A B C

Doc 44
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/08177.html
A B

Doc 45
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/06226.html
A B

Doc 46
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/09666.html
A B

Doc 47
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/00257.html
A B

Doc 48
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/12146.html
A B

Doc 49
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/13812.html
A B

Doc 50
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/11227.html
A B

Doc 51
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/23382.html
A B

Doc 52
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/01370.html
A B

Doc 53
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/00598.html
A B

Doc 54
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/10133.html
A B

Doc 55
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/06229.html
A B

Doc 56
0.2308
0.0000
1.0000
0.2308
testing/wikipedia/v3/06848.html
A B

Doc 57
0.2308
-1.0000
3.0000
0.6923
testing/wikipedia/v3/21408.html
F B A
F A B
A A F A B = A B F B A
Doc 58
0.2308
-1.0000
1.0000
0.2308
testing/wikipedia/v3/26565.html
A B C

Doc 59
0.2308
-1.0000
1.0000
0.2308
testing/wikipedia/v3/01436.html
A B C

Doc 60
0.2308
-1.0000
1.0000
0.2308
testing/wikipedia/v3/01699.html
A B C

Doc 61
0.2308
-1.0000
1.0000
0.2308
testing/wikipedia/v3/20007.html
[ A B ]

Doc 62
0.2308
-2.0000
3.0000
1.4119
testing/wikipedia/v3/00600.html
χ = B A
A ( B A )
A ( ( B A ) A )
( A ( B A ) ) ( A A )
( A ( ( B A ) A ) ) ( ( A ( B A ) ) ( A A ) )
A A
A A

Doc 63
0.2308
-2.0000
3.0000
0.4615
testing/wikipedia/v3/03878.html
f : B A
f : A B

Doc 64
0.2308
-2.0000
3.0000
0.2308
testing/wikipedia/v3/03968.html
ϕ : B A

Doc 65
0.2308
-2.0000
3.0000
0.2308
testing/wikipedia/v3/04457.html
Tr : B A

Doc 66
0.2308
-2.0000
3.0000
0.2308
testing/wikipedia/v3/03952.html
ϕ : B A

Doc 67
0.2308
-2.0000
3.0000
0.2308
testing/wikipedia/v3/05976.html
A A B

Doc 68
0.2308
-2.0000
3.0000
0.2308
testing/wikipedia/v3/27501.html
C = A B

Doc 69
0.2308
-2.0000
3.0000
0.2308
testing/wikipedia/v3/12746.html
f : B A

Doc 70
0.2308
-2.0000
1.0000
0.5906
testing/wikipedia/v3/06965.html
w A B
( A B ) ( B A )
A A
Doc 71
0.2308
-2.0000
1.0000
0.4615
testing/wikipedia/v3/02367.html
X A B
X ⊮ A B

Doc 72
0.2308
-2.0000
1.0000
0.3771
testing/wikipedia/v3/15113.html
f : A B
f : A A

Doc 73
0.2308
-2.0000
1.0000
0.3598
testing/wikipedia/v3/01521.html
w A B
A A

Doc 74
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/30135.html
f : A B

Doc 75
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/16318.html
f : A B

Doc 76
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/22038.html
f : A B

Doc 77
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/12745.html
f : A B

Doc 78
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/17371.html
f : A B

Doc 79
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/05101.html
A B .

Doc 80
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/04061.html
F : A B

Doc 81
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/06010.html
f : A B

Doc 82
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/07029.html
f : A B

Doc 83
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/06452.html
f : A B

Doc 84
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/06497.html
f : A B

Doc 85
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/16514.html
φ : A B

Doc 86
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/08432.html
f : A B

Doc 87
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/15488.html
f : A B

Doc 88
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/17045.html
h : A B

Doc 89
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/01444.html
f : A B

Doc 90
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/09411.html
f : A B

Doc 91
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/23698.html
f : A B

Doc 92
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/04234.html
f : A B

Doc 93
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/13622.html
f : A B

Doc 94
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/01648.html
h : A B

Doc 95
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/10083.html
Φ : A B

Doc 96
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/26635.html
f : A B

Doc 97
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/11062.html
f : A B

Doc 98
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/07363.html
g : A B

Doc 99
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/27307.html
f : A B

Doc 100
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/02581.html
( A B ) *

Doc 101
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/15118.html
f : A B

Doc 102
0.2308
-2.0000
1.0000
0.2308
testing/wikipedia/v3/05060.html
h : A B

Doc 103
0.2308
-3.0000
3.0000
2.4813
testing/wikipedia/v3/25945.html
A ( B A )
A ( B ( C A ) )
( ( A B ) A ) A
( A B ) ( B A ) .
( ¬ A ¬ B ) ( B A )
( A B ) ( ¬ B ¬ A )
( ¬ A B ) ( ( B A ) A )
( A B ) ( ( B A ) ( A B ) )
( ( A B ) C ) ( ( C A ) ( D A ) )
¬ ¬ A A
A A
( ¬ A A ) A
Doc 104
0.2308
-3.0000
3.0000
0.4615
testing/wikipedia/v3/16987.html
A ( B A )
( ( A B ) B ) ( ( B A ) A )

Doc 105
0.2308
-3.0000
3.0000
0.2308
testing/wikipedia/v3/00015.html
A ( B A )

Doc 106
0.2308
-5.0000
3.0000
0.2308
testing/wikipedia/v3/26477.html
A i A j A k

Doc 107
0.2308
-7.0000
3.0000
0.6923
testing/wikipedia/v3/18080.html
( A B ) & ( B A ) .
A B ( A B ) ( B A )
A B ( ( A B ) B ) ( ( B A ) A )
Doc 108
0.1463
-2.0000
3.0000
0.1463
testing/wikipedia/v3/05287.html
B B × B

Doc 109
0.1463
-2.0000
2.0000
0.1463
testing/wikipedia/v3/25294.html
¬ ¬ A A

Doc 110
0.1463
-2.0000
2.0000
0.1463
testing/wikipedia/v3/30371.html
d : A A

Doc 111
0.1463
-2.0000
2.0000
0.1463
testing/wikipedia/v3/10968.html
: B B

Doc 112
0.1463
-2.0000
2.0000
0.1463
testing/wikipedia/v3/10062.html
A A / I

Doc 113
0.1463
-2.0000
2.0000
0.1463
testing/wikipedia/v3/10513.html
d : A A

Doc 114
0.1463
-2.0000
2.0000
0.1463
testing/wikipedia/v3/04684.html
¬ ¬ A A

Doc 115
0.1463
-2.0000
2.0000
0.1463
testing/wikipedia/v3/16016.html
f : A A

Doc 116
0.1463
-2.0000
2.0000
0.1463
testing/wikipedia/v3/14917.html
S : A A

Doc 117
0.1463
-2.0000
2.0000
0.1463
testing/wikipedia/v3/02492.html
f : A A

Doc 118
0.1463
-2.0000
1.0000
0.1463
testing/wikipedia/v3/22085.html
A A A

Doc 119
0.1290
-2.0000
2.0000
0.1290
testing/wikipedia/v3/11507.html
A A P

Doc 120
0.1290
-2.0000
2.0000
0.1290
testing/wikipedia/v3/05189.html
A A ^

Doc 121
0.1290
-2.0000
2.0000
0.1290
testing/wikipedia/v3/22727.html
B B

Doc 122
0.1290
-2.0000
2.0000
0.1290
testing/wikipedia/v3/17727.html
A A

Doc 123
0.1290
-3.0000
2.0000
0.1290
testing/wikipedia/v3/22291.html
A ρ A

Doc 124
0.1290
-3.0000
2.0000
0.1290
testing/wikipedia/v3/02216.html
A i A i

Doc 125
0.1290
-5.0000
2.0000
0.1290
testing/wikipedia/v3/15474.html
( ¬ A A ) A