Returned 20 matches (100 formulae, 173 docs)
    Lookup 71.964 ms, Re-ranking 27.062 ms
    Found 1384080 tuple postings, 75062 formulae, 16708 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
1.0000
0.0000
1.0000
6.1429
testing/wikipedia/v3/09138.html
1 2
a b
1 x + 1
1 x - 1
a d b d
3 3
n n

Doc 2
1.0000
0.0000
1.0000
4.0000
testing/wikipedia/v3/25775.html
128 125
2048 2025
648 625
81 80

Doc 3
1.0000
0.0000
1.0000
3.0000
testing/wikipedia/v3/13750.html
1 2
π 4
2 2
Doc 4
1.0000
0.0000
1.0000
3.0000
testing/wikipedia/v3/01021.html
1 2
2 2
3 3
Doc 5
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/06745.html
1 2
π 4

Doc 6
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/16310.html
1 ψ
T p p

Doc 7
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/21930.html
1 G
1 R

Doc 8
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/08173.html
0.5 M
1 M

Doc 9
1.0000
0.0000
1.0000
2.0000
testing/wikipedia/v3/01688.html
26 11
a b

Doc 10
1.0000
0.0000
1.0000
1.5714
testing/wikipedia/v3/27212.html
1 2
α G α

Doc 11
1.0000
0.0000
1.0000
1.5714
testing/wikipedia/v3/02986.html
1 2
1 1

Doc 12
1.0000
0.0000
1.0000
1.5714
testing/wikipedia/v3/02754.html
a b
2 2

Doc 13
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/15332.html
1 2

Doc 14
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/00005.html
1 2

Doc 15
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/25067.html
1 2

Doc 16
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/23269.html
1 2

Doc 17
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/17728.html
1 2

Doc 18
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/27628.html
1 2

Doc 19
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02439.html
1 2

Doc 20
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/17850.html
a b

Doc 21
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02046.html
1 2

Doc 22
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02943.html
a b

Doc 23
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02156.html
128 125

Doc 24
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/11015.html
π 4

Doc 25
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/17247.html
1 2

Doc 26
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/09219.html
1 2

Doc 27
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/13085.html
1 2

Doc 28
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/13504.html
1 R

Doc 29
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/03149.html
1 2

Doc 30
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/25685.html
1 2

Doc 31
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/12459.html
1 2

Doc 32
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/22578.html
1 2

Doc 33
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/23819.html
1 2

Doc 34
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/15245.html
π 4

Doc 35
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/00812.html
a b

Doc 36
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/25151.html
1 2

Doc 37
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/05821.html
1 2

Doc 38
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/06483.html
a b

Doc 39
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/10652.html
1 2

Doc 40
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/25362.html
1 2

Doc 41
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/16077.html
1 2

Doc 42
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/07857.html
π 4

Doc 43
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/08456.html
1 2

Doc 44
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14939.html
1 μ

Doc 45
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14810.html
1 2

Doc 46
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/30009.html
1 2

Doc 47
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/08278.html
1 2

Doc 48
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02182.html
a b

Doc 49
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/28102.html
1 2

Doc 50
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/22535.html
1 2

Doc 51
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/15901.html
a b

Doc 52
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/09630.html
a b

Doc 53
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/28011.html
1 2

Doc 54
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02014.html
1 2

Doc 55
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/12030.html
1 2

Doc 56
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/05544.html
1 l

Doc 57
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/27724.html
1 2

Doc 58
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02898.html
π 4

Doc 59
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/24534.html
1 2

Doc 60
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/17829.html
1 2

Doc 61
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/01227.html
1 2

Doc 62
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/05796.html
1 2

Doc 63
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/11397.html
1 2

Doc 64
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/16809.html
1 2

Doc 65
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14408.html
π 4

Doc 66
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/04403.html
1 2

Doc 67
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02358.html
1 2

Doc 68
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/00687.html
x y

Doc 69
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/26675.html
1 2

Doc 70
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/06189.html
1 2

Doc 71
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/15569.html
1 2

Doc 72
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/06869.html
π 4

Doc 73
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/05711.html
1 2

Doc 74
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14823.html
1 2

Doc 75
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/05122.html
1 2

Doc 76
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02307.html
N m

Doc 77
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/25136.html
π 4

Doc 78
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/02624.html
1 2

Doc 79
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/16004.html
1 2

Doc 80
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/00023.html
1 2

Doc 81
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/14217.html
6 2

Doc 82
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/04340.html
1 2

Doc 83
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/15984.html
1 2

Doc 84
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/22366.html
157 50

Doc 85
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/01053.html
I A

Doc 86
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/11551.html
0.1299 12

Doc 87
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/03760.html
a 0

Doc 88
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/15256.html
1 2

Doc 89
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/08262.html
x y

Doc 90
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/10318.html
π 4

Doc 91
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/27253.html
1 2

Doc 92
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/06510.html
1 2

Doc 93
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/10768.html
1 2

Doc 94
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/04236.html
1 R

Doc 95
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/05108.html
a b

Doc 96
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/22997.html
1 2

Doc 97
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/25595.html
1 2

Doc 98
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/04921.html
1 2

Doc 99
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/08016.html
1 μ

Doc 100
1.0000
0.0000
1.0000
1.0000
testing/wikipedia/v3/26921.html
1 2

Doc 101
1.0000
-1.0000
1.0000
3.0000
testing/wikipedia/v3/06683.html
Δ K K
Δ L L
Δ Y Y
Doc 102
1.0000
-1.0000
1.0000
2.1429
testing/wikipedia/v3/03982.html
3 3 13
3 13 13
1 1
Doc 103
1.0000
-1.0000
1.0000
2.0000
testing/wikipedia/v3/17871.html
sin θ θ
tan θ θ

Doc 104
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/00280.html
10 1 10

Doc 105
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/01512.html
B n n

Doc 106
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/11893.html
X log X

Doc 107
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/07714.html
p p

Doc 108
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/08273.html
φ φ

Doc 109
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/15338.html
d T T

Doc 110
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/16794.html
ln n n

Doc 111
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/09542.html
2 2

Doc 112
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/26622.html
n

Doc 113
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/17661.html
v 2 2

Doc 114
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/09472.html
2 2

Doc 115
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/27524.html
E δ E

Doc 116
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/23565.html
r 2 2

Doc 117
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/01544.html
2 2

Doc 118
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/04472.html
d x x

Doc 119
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/03635.html
sin x x

Doc 120
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/02717.html
v 2 2

Doc 121
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/24844.html
d log d

Doc 122
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/08925.html
2 2

Doc 123
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/24573.html
x 2 2

Doc 124
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/01892.html
i 4 4

Doc 125
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/03349.html
sin t t

Doc 126
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/30274.html
e 1 e

Doc 127
1.0000
-1.0000
1.0000
1.0000
testing/wikipedia/v3/23760.html
α 2 2

Doc 128
1.0000
-2.0000
1.0000
3.0000
testing/wikipedia/v3/13427.html
A E C E
B F A F
C D B D
Doc 129
1.0000
-2.0000
1.0000
2.0000
testing/wikipedia/v3/00708.html
P ¬ ¬ P
¬ ¬ P P

Doc 130
1.0000
-2.0000
1.0000
2.0000
testing/wikipedia/v3/02616.html
p 1 - p
1 - p p

Doc 131
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/25030.html
1 n - 1

Doc 132
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/00144.html
1 c + 1

Doc 133
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/14378.html
a - b b

Doc 134
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/06870.html
ϕ : ψ ψ

Doc 135
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/03109.html
1 n - 1

Doc 136
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/25957.html
0.04 m 0.72 m

Doc 137
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/13244.html
x 1 + x

Doc 138
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/26856.html
- d z z

Doc 139
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/09121.html
d x x

Doc 140
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/17023.html
1 - ρ ρ

Doc 141
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/09874.html
a - b b

Doc 142
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/25855.html
1 w + 1

Doc 143
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/07450.html
p 2 - p

Doc 144
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/08809.html
d 1 + d

Doc 145
1.0000
-2.0000
1.0000
1.0000
testing/wikipedia/v3/16182.html
B M D M

Doc 146
0.5714
-1.0000
1.0000
1.1429
testing/wikipedia/v3/10516.html
L L
m l m l

Doc 147
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/02089.html
4 4

Doc 148
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/01569.html
3 3

Doc 149
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/25999.html
4 4

Doc 150
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/05844.html
4 4

Doc 151
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/01382.html
1 1

Doc 152
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/14912.html
1 1

Doc 153
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/17294.html
1 1

Doc 154
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/15770.html
0 0

Doc 155
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/16537.html

Doc 156
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/14971.html
0 0

Doc 157
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/10709.html
1 1

Doc 158
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/00551.html
1 1

Doc 159
0.5714
-1.0000
1.0000
0.5714
testing/wikipedia/v3/25810.html
V V

Doc 160
0.5714
-2.0000
1.0000
1.1429
testing/wikipedia/v3/05102.html
E 1 E
E 2 E

Doc 161
0.5714
-2.0000
1.0000
1.1429
testing/wikipedia/v3/07744.html
10
4

Doc 162
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/12725.html
I I S

Doc 163
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/02438.html
ω ω c

Doc 164
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/00369.html
1 1

Doc 165
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/05041.html
f f

Doc 166
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/13446.html
α α G

Doc 167
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/06166.html
D D max

Doc 168
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/22020.html
n n

Doc 169
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/15826.html
P i P

Doc 170
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/21656.html
P i P

Doc 171
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/09361.html
P P ˙

Doc 172
0.5714
-2.0000
1.0000
0.5714
testing/wikipedia/v3/27793.html
ϕ ϕ

Doc 173
0.5714
-3.0000
1.0000
0.5714
testing/wikipedia/v3/00418.html
k g k g