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 ]

0.1299 12
Doc 86
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/11551.html
1 2
Doc 1
1.0000, 0.0000, 1.0000, 6.1429
testing/wikipedia/v3/09138.html
Doc 3
1.0000, 0.0000, 1.0000, 3.0000
testing/wikipedia/v3/13750.html
Doc 4
1.0000, 0.0000, 1.0000, 3.0000
testing/wikipedia/v3/01021.html
Doc 5
1.0000, 0.0000, 1.0000, 2.0000
testing/wikipedia/v3/06745.html
Doc 10
1.0000, 0.0000, 1.0000, 1.5714
testing/wikipedia/v3/27212.html
Doc 11
1.0000, 0.0000, 1.0000, 1.5714
testing/wikipedia/v3/02986.html
Doc 13
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/15332.html
Doc 14
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/00005.html
Doc 15
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/25067.html
Doc 16
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/23269.html
Doc 17
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/17728.html
Doc 18
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/27628.html
Doc 19
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/02439.html
Doc 21
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/02046.html
Doc 25
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/17247.html
Doc 26
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/09219.html
Doc 27
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/13085.html
Doc 29
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/03149.html
Doc 30
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/25685.html
Doc 31
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/12459.html
Doc 32
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/22578.html
Doc 33
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/23819.html
Doc 36
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/25151.html
Doc 37
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/05821.html
Doc 39
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/10652.html
Doc 40
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/25362.html
Doc 41
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/16077.html
Doc 43
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/08456.html
Doc 45
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/14810.html
Doc 46
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/30009.html
Doc 47
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/08278.html
Doc 49
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/28102.html
Doc 50
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/22535.html
Doc 53
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/28011.html
Doc 54
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/02014.html
Doc 55
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/12030.html
Doc 57
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/27724.html
Doc 59
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/24534.html
Doc 60
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/17829.html
Doc 61
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/01227.html
Doc 62
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/05796.html
Doc 63
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/11397.html
Doc 64
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/16809.html
Doc 66
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/04403.html
Doc 67
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/02358.html
Doc 69
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/26675.html
Doc 70
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/06189.html
Doc 71
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/15569.html
Doc 73
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/05711.html
Doc 74
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/14823.html
Doc 75
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/05122.html
Doc 78
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/02624.html
Doc 79
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/16004.html
Doc 80
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/00023.html
Doc 82
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/04340.html
Doc 83
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/15984.html
Doc 88
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/15256.html
Doc 91
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/27253.html
Doc 92
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/06510.html
Doc 93
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/10768.html
Doc 96
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/22997.html
Doc 97
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/25595.html
Doc 98
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/04921.html
Doc 100
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/26921.html
2048 2025
Doc 2
1.0000, 0.0000, 1.0000, 4.0000
testing/wikipedia/v3/25775.html
1 ψ
Doc 6
1.0000, 0.0000, 1.0000, 2.0000
testing/wikipedia/v3/16310.html
π 4
Doc 3
1.0000, 0.0000, 1.0000, 3.0000
testing/wikipedia/v3/13750.html
Doc 5
1.0000, 0.0000, 1.0000, 2.0000
testing/wikipedia/v3/06745.html
Doc 24
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/11015.html
Doc 34
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/15245.html
Doc 42
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/07857.html
Doc 58
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/02898.html
Doc 65
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/14408.html
Doc 72
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/06869.html
Doc 77
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/25136.html
Doc 90
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/10318.html
1 l
Doc 56
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/05544.html
N m
Doc 76
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/02307.html
648 625
Doc 2
1.0000, 0.0000, 1.0000, 4.0000
testing/wikipedia/v3/25775.html
a 0
Doc 87
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/03760.html
81 80
Doc 2
1.0000, 0.0000, 1.0000, 4.0000
testing/wikipedia/v3/25775.html
1 G
Doc 7
1.0000, 0.0000, 1.0000, 2.0000
testing/wikipedia/v3/21930.html
128 125
Doc 2
1.0000, 0.0000, 1.0000, 4.0000
testing/wikipedia/v3/25775.html
Doc 23
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/02156.html
x y
Doc 68
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/00687.html
Doc 89
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/08262.html
1 μ
Doc 44
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/14939.html
Doc 99
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/08016.html
0.5 M
Doc 8
1.0000, 0.0000, 1.0000, 2.0000
testing/wikipedia/v3/08173.html
1 R
Doc 7
1.0000, 0.0000, 1.0000, 2.0000
testing/wikipedia/v3/21930.html
Doc 28
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/13504.html
Doc 94
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/04236.html
1 M
Doc 8
1.0000, 0.0000, 1.0000, 2.0000
testing/wikipedia/v3/08173.html
157 50
Doc 84
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/22366.html
a b
Doc 1
1.0000, 0.0000, 1.0000, 6.1429
testing/wikipedia/v3/09138.html
Doc 9
1.0000, 0.0000, 1.0000, 2.0000
testing/wikipedia/v3/01688.html
Doc 12
1.0000, 0.0000, 1.0000, 1.5714
testing/wikipedia/v3/02754.html
Doc 20
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/17850.html
Doc 22
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/02943.html
Doc 35
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/00812.html
Doc 38
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/06483.html
Doc 48
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/02182.html
Doc 51
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/15901.html
Doc 52
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/09630.html
Doc 95
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/05108.html
6 2
Doc 81
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/14217.html
I A
Doc 85
1.0000, 0.0000, 1.0000, 1.0000
testing/wikipedia/v3/01053.html
26 11
Doc 9
1.0000, 0.0000, 1.0000, 2.0000
testing/wikipedia/v3/01688.html
3 3
Doc 4
1.0000, 0.0000, 1.0000, 3.0000
testing/wikipedia/v3/01021.html
2 2
Doc 3
1.0000, 0.0000, 1.0000, 3.0000
testing/wikipedia/v3/13750.html
Doc 4
1.0000, 0.0000, 1.0000, 3.0000
testing/wikipedia/v3/01021.html
Doc 111
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/09542.html
Doc 114
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/09472.html
Doc 117
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/01544.html
Doc 122
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/08925.html
tan θ θ
Doc 103
1.0000, -1.0000, 1.0000, 2.0000
testing/wikipedia/v3/17871.html
sin θ θ
Doc 103
1.0000, -1.0000, 1.0000, 2.0000
testing/wikipedia/v3/17871.html
sin t t
Doc 125
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/03349.html
sin x x
Doc 119
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/03635.html
Δ K K
Doc 101
1.0000, -1.0000, 1.0000, 3.0000
testing/wikipedia/v3/06683.html
ln n n
Doc 110
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/16794.html
d x x
Doc 118
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/04472.html
p p
Doc 107
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/07714.html
Δ L L
Doc 101
1.0000, -1.0000, 1.0000, 3.0000
testing/wikipedia/v3/06683.html
d T T
Doc 109
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/15338.html
Δ Y Y
Doc 101
1.0000, -1.0000, 1.0000, 3.0000
testing/wikipedia/v3/06683.html
10 1 10
Doc 104
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/00280.html
3 3 13
Doc 102
1.0000, -1.0000, 1.0000, 2.1429
testing/wikipedia/v3/03982.html
e 1 e
Doc 126
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/30274.html
φ φ
Doc 108
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/08273.html
X log X
Doc 106
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/11893.html
n
Doc 112
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/26622.html
E δ E
Doc 115
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/27524.html
d log d
Doc 121
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/24844.html
α 2 2
Doc 127
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/23760.html
r 2 2
Doc 116
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/23565.html
x 2 2
Doc 123
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/24573.html
v 2 2
Doc 113
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/17661.html
Doc 120
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/02717.html
i 4 4
Doc 124
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/01892.html
B n n
Doc 105
1.0000, -1.0000, 1.0000, 1.0000
testing/wikipedia/v3/01512.html
T p p
Doc 6
1.0000, 0.0000, 1.0000, 2.0000
testing/wikipedia/v3/16310.html
1 w + 1
Doc 142
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/25855.html
x 1 + x
Doc 137
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/13244.html
P ¬ ¬ P
Doc 129
1.0000, -2.0000, 1.0000, 2.0000
testing/wikipedia/v3/00708.html
p 1 - p
Doc 130
1.0000, -2.0000, 1.0000, 2.0000
testing/wikipedia/v3/02616.html
d 1 + d
Doc 144
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/08809.html
1 n - 1
Doc 131
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/25030.html
Doc 135
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/03109.html
1 c + 1
Doc 132
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/00144.html
p 2 - p
Doc 143
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/07450.html
1 x + 1
Doc 1
1.0000, 0.0000, 1.0000, 6.1429
testing/wikipedia/v3/09138.html
1 x - 1
Doc 1
1.0000, 0.0000, 1.0000, 6.1429
testing/wikipedia/v3/09138.html
d x x
Doc 139
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/09121.html
- d z z
Doc 138
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/26856.html
a - b b
Doc 133
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/14378.html
Doc 141
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/09874.html
ϕ : ψ ψ
Doc 134
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/06870.html
1 - ρ ρ
Doc 140
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/17023.html
1 - p p
Doc 130
1.0000, -2.0000, 1.0000, 2.0000
testing/wikipedia/v3/02616.html
¬ ¬ P P
Doc 129
1.0000, -2.0000, 1.0000, 2.0000
testing/wikipedia/v3/00708.html
a d b d
Doc 1
1.0000, 0.0000, 1.0000, 6.1429
testing/wikipedia/v3/09138.html
A E C E
Doc 128
1.0000, -2.0000, 1.0000, 3.0000
testing/wikipedia/v3/13427.html
0.04 m 0.72 m
Doc 136
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/25957.html
B M D M
Doc 145
1.0000, -2.0000, 1.0000, 1.0000
testing/wikipedia/v3/16182.html
B F A F
Doc 128
1.0000, -2.0000, 1.0000, 3.0000
testing/wikipedia/v3/13427.html
C D B D
Doc 128
1.0000, -2.0000, 1.0000, 3.0000
testing/wikipedia/v3/13427.html
3 3
Doc 1
1.0000, 0.0000, 1.0000, 6.1429
testing/wikipedia/v3/09138.html
Doc 148
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/01569.html
4 4
Doc 147
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/02089.html
Doc 149
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/25999.html
Doc 150
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/05844.html
1 1
Doc 11
1.0000, 0.0000, 1.0000, 1.5714
testing/wikipedia/v3/02986.html
Doc 151
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/01382.html
Doc 152
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/14912.html
Doc 153
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/17294.html
Doc 157
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/10709.html
Doc 158
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/00551.html
Doc 155
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/16537.html
0 0
Doc 154
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/15770.html
Doc 156
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/14971.html
L L
Doc 146
0.5714, -1.0000, 1.0000, 1.1429
testing/wikipedia/v3/10516.html
n n
Doc 1
1.0000, 0.0000, 1.0000, 6.1429
testing/wikipedia/v3/09138.html
V V
Doc 159
0.5714, -1.0000, 1.0000, 0.5714
testing/wikipedia/v3/25810.html
2 2
Doc 12
1.0000, 0.0000, 1.0000, 1.5714
testing/wikipedia/v3/02754.html
ω ω c
Doc 163
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/02438.html
D D max
Doc 167
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/06166.html
α α G
Doc 166
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/13446.html
I I S
Doc 162
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/12725.html
3 13 13
Doc 102
1.0000, -1.0000, 1.0000, 2.1429
testing/wikipedia/v3/03982.html
P P ˙
Doc 171
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/09361.html
ϕ ϕ
Doc 172
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/27793.html
α G α
Doc 10
1.0000, 0.0000, 1.0000, 1.5714
testing/wikipedia/v3/27212.html
E 1 E
Doc 160
0.5714, -2.0000, 1.0000, 1.1429
testing/wikipedia/v3/05102.html
P i P
Doc 169
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/15826.html
Doc 170
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/21656.html
E 2 E
Doc 160
0.5714, -2.0000, 1.0000, 1.1429
testing/wikipedia/v3/05102.html
1 1
Doc 102
1.0000, -1.0000, 1.0000, 2.1429
testing/wikipedia/v3/03982.html
Doc 164
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/00369.html
10
Doc 161
0.5714, -2.0000, 1.0000, 1.1429
testing/wikipedia/v3/07744.html
4
Doc 161
0.5714, -2.0000, 1.0000, 1.1429
testing/wikipedia/v3/07744.html
f f
Doc 165
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/05041.html
n n
Doc 168
0.5714, -2.0000, 1.0000, 0.5714
testing/wikipedia/v3/22020.html
k g k g
Doc 173
0.5714, -3.0000, 1.0000, 0.5714
testing/wikipedia/v3/00418.html
m l m l
Doc 146
0.5714, -1.0000, 1.0000, 1.1429
testing/wikipedia/v3/10516.html