Returned 29 matches (100 formulae, 165 docs)
    Lookup 0.982 ms, Re-ranking 32.748 ms
    Found 4056 tuple postings, 3412 formulae, 1825 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
1.0000
0.0000
8.0000
3.0000
testing/wikipedia/v3/21545.html
2 s e q s 6
2 s e q s 50
3 s e q s 60
Doc 2
0.3636
-1.0000
2.0000
0.3636
testing/wikipedia/v3/07892.html
0 s t

Doc 3
0.3636
-1.0000
2.0000
0.3636
testing/wikipedia/v3/27738.html
1 s m

Doc 4
0.3636
-1.0000
2.0000
0.3636
testing/wikipedia/v3/00120.html
0 s t

Doc 5
0.3636
-6.0000
2.0000
0.3636
testing/wikipedia/v3/14325.html
d = 2 s ( 1 s m )

Doc 6
0.3636
-7.0000
2.0000
0.3636
testing/wikipedia/v3/28067.html
M t sup 0 s t X ( s )

Doc 7
0.3636
-7.0000
2.0000
0.3636
testing/wikipedia/v3/02371.html
M t = max 0 s t W s

Doc 8
0.3243
0.0000
2.0000
0.3243
testing/wikipedia/v3/21528.html
P 6

Doc 9
0.3243
0.0000
2.0000
0.3243
testing/wikipedia/v3/17051.html
0 s

Doc 10
0.3243
0.0000
2.0000
0.3243
testing/wikipedia/v3/01163.html
s e l

Doc 11
0.3243
0.0000
2.0000
0.3243
testing/wikipedia/v3/11020.html
D 6

Doc 12
0.3243
-3.0000
2.0000
0.3243
testing/wikipedia/v3/00828.html
2 n , n 6

Doc 13
0.3243
-3.0000
2.0000
0.3243
testing/wikipedia/v3/28239.html
0 x 4 6

Doc 14
0.3243
-3.0000
2.0000
0.3243
testing/wikipedia/v3/02388.html
0 s  2 π

Doc 15
0.3243
-8.0000
3.0000
0.3243
testing/wikipedia/v3/27714.html
2 k s ( F ) < 2 k + 1

Doc 16
0.2069
-2.0000
2.0000
0.2069
testing/wikipedia/v3/30032.html
a s b

Doc 17
0.2069
-2.0000
2.0000
0.2069
testing/wikipedia/v3/21648.html
L s K

Doc 18
0.1818
-1.0000
2.0000
0.3636
testing/wikipedia/v3/03813.html
m s
s m

Doc 19
0.1818
-1.0000
2.0000
0.1818
testing/wikipedia/v3/10356.html
r s

Doc 20
0.1818
-1.0000
2.0000
0.1818
testing/wikipedia/v3/23959.html
r s

Doc 21
0.1818
-1.0000
2.0000
0.1818
testing/wikipedia/v3/09836.html
s D

Doc 22
0.1818
-1.0000
2.0000
0.1818
testing/wikipedia/v3/21860.html
N s

Doc 23
0.1818
-5.0000
2.0000
0.1818
testing/wikipedia/v3/22192.html
s 0 s s 1

Doc 24
0.1818
-6.0000
2.0000
0.1818
testing/wikipedia/v3/24781.html
| A p | = s s

Doc 25
0.1818
-7.0000
2.0000
0.1818
testing/wikipedia/v3/10520.html
dim ( A B ) 6

Doc 26
0.1111
-1.0000
1.0000
0.2929
testing/wikipedia/v3/14205.html
n = 6
C 6
K 6
Doc 27
0.1111
-1.0000
1.0000
0.2020
testing/wikipedia/v3/24251.html
d = 6
A 6

Doc 28
0.1111
-1.0000
1.0000
0.2020
testing/wikipedia/v3/06270.html
α = 6
( 6 )

Doc 29
0.1111
-1.0000
1.0000
0.2020
testing/wikipedia/v3/24993.html
D = 6
6

Doc 30
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/13655.html
n 6

Doc 31
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/03919.html
n = 6

Doc 32
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/02254.html
n = 6

Doc 33
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/15538.html
n = 6

Doc 34
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/27265.html
z 6

Doc 35
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/09313.html
k 6

Doc 36
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/08844.html
c = 6

Doc 37
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/10106.html
λ = 6

Doc 38
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/30338.html
n + 6

Doc 39
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/07604.html
n 6

Doc 40
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/29894.html
d = 6

Doc 41
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/13106.html
t = 6

Doc 42
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/06162.html
k 6

Doc 43
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/01574.html
n = 6

Doc 44
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/14939.html
μ = 6

Doc 45
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/18097.html
n = 6

Doc 46
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/27114.html
m = 6

Doc 47
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/23669.html
N 6

Doc 48
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/00990.html
n = 6

Doc 49
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/14899.html
m = 6

Doc 50
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/17681.html
N × 6

Doc 51
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/30255.html
β = 6

Doc 52
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/19302.html
n 6

Doc 53
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/25126.html
x = 6

Doc 54
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/23942.html
n = 6

Doc 55
0.1111
-1.0000
1.0000
0.1111
testing/wikipedia/v3/08101.html
x = 6

Doc 56
0.0909
0.0000
1.0000
0.3636
testing/wikipedia/v3/05596.html
6
7 × 6
8 × 6
9 × 6

Doc 57
0.0909
0.0000
1.0000
0.1818
testing/wikipedia/v3/05990.html
6
16 6

Doc 58
0.0909
0.0000
1.0000
0.1818
testing/wikipedia/v3/24794.html
6
5 × 6

Doc 59
0.0909
0.0000
1.0000
0.1818
testing/wikipedia/v3/10357.html
6
𝐞 6

Doc 60
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/10664.html
6

Doc 61
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/29417.html
6

Doc 62
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/02341.html
6

Doc 63
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/06413.html
6

Doc 64
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/11448.html
6

Doc 65
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/10585.html
6

Doc 66
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/00703.html
6

Doc 67
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/25659.html
6

Doc 68
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/00580.html
6

Doc 69
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/03754.html
6

Doc 70
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/06075.html
6

Doc 71
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/25261.html
6

Doc 72
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/05631.html
6

Doc 73
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/24663.html
6

Doc 74
0.0909
0.0000
1.0000
0.0909
testing/wikipedia/v3/05823.html
6

Doc 75
0.0909
-1.0000
1.0000
0.3636
testing/wikipedia/v3/14026.html
A 6
B 6
D 6
E 6

Doc 76
0.0909
-1.0000
1.0000
0.3636
testing/wikipedia/v3/03593.html
A 6
B 6
D 6
E 6

Doc 77
0.0909
-1.0000
1.0000
0.1818
testing/wikipedia/v3/11654.html
D 6
S 6

Doc 78
0.0909
-1.0000
1.0000
0.1818
testing/wikipedia/v3/13962.html
A 6
S 6

Doc 79
0.0909
-1.0000
1.0000
0.1818
testing/wikipedia/v3/27352.html
C 6
χ 6

Doc 80
0.0909
-1.0000
1.0000
0.1818
testing/wikipedia/v3/24870.html
A 6
S 6

Doc 81
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/22206.html
a 6

Doc 82
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/25827.html
Γ 6

Doc 83
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/02986.html
6

Doc 84
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/24263.html
x 6

Doc 85
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/12205.html
a 6

Doc 86
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/27059.html
Γ 6

Doc 87
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/04829.html
0.2 6

Doc 88
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/17403.html
6

Doc 89
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/09506.html
Γ 6

Doc 90
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/18108.html
𝔢 6

Doc 91
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/09036.html
6

Doc 92
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/05590.html
6 5

Doc 93
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/08320.html
E 6

Doc 94
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/05685.html
ν 6

Doc 95
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/06598.html
m 6

Doc 96
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/08834.html
6 ^

Doc 97
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/05191.html
5 6

Doc 98
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/22829.html
Δ 6

Doc 99
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/12865.html
6

Doc 100
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/12682.html
6 ¯

Doc 101
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/12929.html
E 6

Doc 102
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/22136.html
p 6

Doc 103
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/07361.html
O 6

Doc 104
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/09010.html
E 6

Doc 105
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/24976.html
E 6

Doc 106
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/28203.html
10 6

Doc 107
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/17911.html
6 6

Doc 108
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/16838.html
a 6

Doc 109
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/21960.html
( 6 )

Doc 110
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/14274.html
( 6 )

Doc 111
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/19888.html
x 6

Doc 112
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/04747.html
6

Doc 113
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/08991.html
O 6

Doc 114
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/16755.html
K 6

Doc 115
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/10535.html
K 6

Doc 116
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/00416.html
C 6

Doc 117
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/07485.html
( 6 )

Doc 118
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/25001.html
10 6

Doc 119
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/16103.html
6

Doc 120
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/26005.html
e 6

Doc 121
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/06574.html
Ω 6

Doc 122
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/24009.html
6

Doc 123
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/08718.html
10 6

Doc 124
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/14584.html
10 6

Doc 125
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/22119.html
h 6

Doc 126
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/02179.html
X 6

Doc 127
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/25671.html
β 6

Doc 128
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/04759.html
K 6

Doc 129
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/05272.html
{ 6 }

Doc 130
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/15307.html
O 6

Doc 131
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/18886.html
f 6

Doc 132
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/12890.html
ν 6

Doc 133
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/23712.html
A 6

Doc 134
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/17963.html
5 6

Doc 135
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/11170.html
6 ^

Doc 136
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/06166.html
= 6

Doc 137
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/01709.html
γ 6

Doc 138
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/12740.html
p 6

Doc 139
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/27317.html
a 6

Doc 140
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/07587.html
6

Doc 141
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/11636.html
6

Doc 142
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/25363.html
6

Doc 143
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/04233.html
E 6

Doc 144
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/16999.html
E 6

Doc 145
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/11156.html
γ 6

Doc 146
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/26250.html
S 6

Doc 147
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/01466.html
X 6

Doc 148
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/00272.html
6 0

Doc 149
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/16730.html
E 6

Doc 150
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/13857.html
C 6

Doc 151
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/10949.html
E 6

Doc 152
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/07771.html
10 6

Doc 153
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/03484.html
6

Doc 154
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/00525.html
6

Doc 155
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/26590.html
10 6

Doc 156
0.0909
-1.0000
1.0000
0.0909
testing/wikipedia/v3/03709.html
𝔢 6

Doc 157
0.0909
-2.0000
1.0000
0.1818
testing/wikipedia/v3/01568.html
3 6
2 6

Doc 158
0.0909
-2.0000
1.0000
0.0909
testing/wikipedia/v3/26549.html
5 / 6

Doc 159
0.0909
-2.0000
1.0000
0.0909
testing/wikipedia/v3/02730.html
5 / 6

Doc 160
0.0909
-2.0000
1.0000
0.0909
testing/wikipedia/v3/04694.html
5 / 6

Doc 161
0.0909
-2.0000
1.0000
0.0909
testing/wikipedia/v3/25750.html
5 / 6

Doc 162
0.0909
-2.0000
1.0000
0.0909
testing/wikipedia/v3/00742.html
16 - 6

Doc 163
0.0909
-2.0000
1.0000
0.0909
testing/wikipedia/v3/12552.html
2 / 6

Doc 164
0.0909
-2.0000
1.0000
0.0909
testing/wikipedia/v3/09058.html
1 / 6

Doc 165
0.0909
-2.0000
1.0000
0.0909
testing/wikipedia/v3/10416.html
5 / 6