Returned 33 matches (100 formulae, 149 docs)
    Lookup 34.051 ms, Re-ranking 42.663 ms
    Found 1184762 tuple postings, 48517 formulae, 13836 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Doc 1
1.0000
-4.0000
5.0000
1.0000
testing/wikipedia/v3/17232.html
h i : X { - 1 , + 1 }

Doc 2
0.8451
0.0000
4.0000
0.8451
testing/wikipedia/v3/29927.html
ϕ : X { 0 }

Doc 3
0.8451
0.0000
3.0000
0.8451
testing/wikipedia/v3/01362.html
f : E { 1 }

Doc 4
0.6897
-3.0000
3.0000
0.6897
testing/wikipedia/v3/21111.html
{ f α : X Y α }

Doc 5
0.6897
-3.0000
3.0000
0.6897
testing/wikipedia/v3/11510.html
{ f α : X α Y }

Doc 6
0.6897
-8.0000
4.0000
0.6897
testing/wikipedia/v3/22553.html
{ f i : X X | 1 i N }

Doc 7
0.5333
0.0000
3.0000
0.5333
testing/wikipedia/v3/02448.html
X { 1 }

Doc 8
0.5333
-1.0000
4.0000
0.5333
testing/wikipedia/v3/08498.html
h : X Y

Doc 9
0.5333
-1.0000
4.0000
0.5333
testing/wikipedia/v3/22762.html
h : X Y

Doc 10
0.5333
-2.0000
4.0000
0.5333
testing/wikipedia/v3/02994.html
h : X 𝔽

Doc 11
0.5333
-3.0000
4.0000
0.5333
testing/wikipedia/v3/08361.html
h : X A B

Doc 12
0.5333
-3.0000
4.0000
0.5333
testing/wikipedia/v3/14397.html
g , h : X

Doc 13
0.5333
-5.0000
3.0000
0.5333
testing/wikipedia/v3/12065.html
f : X { + }

Doc 14
0.5333
-5.0000
3.0000
0.5333
testing/wikipedia/v3/27126.html
f : X { + }

Doc 15
0.5333
-5.0000
3.0000
0.5333
testing/wikipedia/v3/07231.html
f : X { + }

Doc 16
0.5333
-5.0000
3.0000
0.5333
testing/wikipedia/v3/27606.html
f : X { ± }

Doc 17
0.5333
-5.0000
3.0000
0.5333
testing/wikipedia/v3/27147.html
f : X { + }

Doc 18
0.5333
-5.0000
3.0000
0.5333
testing/wikipedia/v3/11606.html
f : X { + }

Doc 19
0.5333
-5.0000
3.0000
0.5333
testing/wikipedia/v3/27161.html
f : X { ± }

Doc 20
0.5333
-5.0000
3.0000
0.5333
testing/wikipedia/v3/10668.html
f : X { - }

Doc 21
0.3750
-1.0000
2.0000
0.7500
testing/wikipedia/v3/00273.html
{ scalar fields on  U }
{ vector fields on  U }

Doc 22
0.2400
-2.0000
2.0000
0.4800
testing/wikipedia/v3/09331.html
X = { n i }
P = { P i }

Doc 23
0.2400
-2.0000
2.0000
0.2400
testing/wikipedia/v3/27344.html
X = { x i }

Doc 24
0.2400
-2.0000
1.0000
0.2400
testing/wikipedia/v3/06870.html
T { β i }

Doc 25
0.2400
-2.0000
1.0000
0.2400
testing/wikipedia/v3/27940.html
{ S i | j }

Doc 26
0.2400
-2.0000
1.0000
0.2400
testing/wikipedia/v3/11201.html
𝔘 = { U i }

Doc 27
0.2400
-2.0000
1.0000
0.2400
testing/wikipedia/v3/23200.html
N { b i }

Doc 28
0.2400
-2.0000
1.0000
0.2400
testing/wikipedia/v3/06466.html
A { x i }

Doc 29
0.2400
-2.0000
1.0000
0.2400
testing/wikipedia/v3/01962.html
𝐫 { 𝐫 i }

Doc 30
0.2105
0.0000
1.0000
0.4211
testing/wikipedia/v3/24036.html
{ x }
{ y }

Doc 31
0.2105
0.0000
1.0000
0.4211
testing/wikipedia/v3/12224.html
{ a }
{ x }

Doc 32
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/17243.html
{ 0 }

Doc 33
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/27279.html
{ x }

Doc 34
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/23643.html
{ 0 }

Doc 35
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/15066.html
{ 0 }

Doc 36
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/26732.html
{ x }

Doc 37
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/04437.html
{ 0 }

Doc 38
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/15268.html
{ 0 }

Doc 39
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/00796.html
{ e }

Doc 40
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/15504.html
{ 0 }

Doc 41
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/01620.html
{ }

Doc 42
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/11261.html
{ x }

Doc 43
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/13702.html
{ e }

Doc 44
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/21813.html
{ e }

Doc 45
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/27366.html
{ 0 }

Doc 46
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/29398.html
{ 0 }

Doc 47
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/17423.html
{ }

Doc 48
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/12216.html
{ 0 }

Doc 49
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/22408.html
{ x }

Doc 50
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/26714.html
{ x }

Doc 51
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/04023.html
{ a }

Doc 52
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/01714.html
{ x }

Doc 53
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/04234.html
{ a }

Doc 54
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/10948.html
{ x }

Doc 55
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/24984.html
{ 0 }

Doc 56
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/00173.html
{ S }

Doc 57
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/13703.html
{ e }

Doc 58
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/07271.html
{ a }

Doc 59
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/11007.html
{ }

Doc 60
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/12429.html
{ x }

Doc 61
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/00666.html
{ 0 }

Doc 62
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/27307.html
{ a }

Doc 63
0.2105
0.0000
1.0000
0.2105
testing/wikipedia/v3/08338.html
{ x }

Doc 64
0.2105
-1.0000
1.0000
0.8421
testing/wikipedia/v3/12576.html
{ E i }
{ F i }
{ π ^ i }
{ | ϕ i > }

Doc 65
0.2105
-1.0000
1.0000
0.6316
testing/wikipedia/v3/09765.html
{ c i }
{ Ψ i }
{ c i * }
Doc 66
0.2105
-1.0000
1.0000
0.6316
testing/wikipedia/v3/05283.html
{ λ i }
{ < f i | }
{ | e i > }
Doc 67
0.2105
-1.0000
1.0000
0.6316
testing/wikipedia/v3/13877.html
{ B i }
{ E i }
{ x i }
Doc 68
0.2105
-1.0000
1.0000
0.6316
testing/wikipedia/v3/27515.html
{ P i }
{ m j i }
{ P i T }
Doc 69
0.2105
-1.0000
1.0000
0.6316
testing/wikipedia/v3/22888.html
{ e i }
{ x i }
{ x i j }
Doc 70
0.2105
-1.0000
1.0000
0.6316
testing/wikipedia/v3/17811.html
{ d i }
{ x i }
{ y i }
Doc 71
0.2105
-1.0000
1.0000
0.6316
testing/wikipedia/v3/06014.html
{ ϕ i }
{ σ i } i
{ ϕ i } i
Doc 72
0.2105
-1.0000
1.0000
0.6316
testing/wikipedia/v3/15677.html
{ c i }
{ x i }
{ y i }
Doc 73
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/15003.html
{ X i }
{ Y i }

Doc 74
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/01391.html
{ e i }
{ e i }

Doc 75
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/30084.html
{ D i }
{ x i }

Doc 76
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/03272.html
{ X } i
{ f } i

Doc 77
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/06533.html
{ X i }
{ Φ i t }

Doc 78
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/12541.html
{ i }
{ d x i }

Doc 79
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/14285.html
{ F i }
{ | e i > }

Doc 80
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/27213.html
{ C i }
{ T i }

Doc 81
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/15415.html
{ 𝒥 i }
{ - 𝒫 i }

Doc 82
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/18414.html
{ C i }
{ O i }

Doc 83
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/00460.html
{ e i }
{ e i }

Doc 84
0.2105
-1.0000
1.0000
0.4211
testing/wikipedia/v3/10974.html
{ b i }
{ ψ i }

Doc 85
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/06605.html
{ H i }

Doc 86
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/10861.html
{ f i }

Doc 87
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/03830.html
{ a i }

Doc 88
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/14068.html
{ v i }

Doc 89
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/06016.html
{ e i }

Doc 90
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/03675.html
{ s i }

Doc 91
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/13729.html
{ v i }

Doc 92
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/03910.html
{ X i }

Doc 93
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/25478.html
{ x i }

Doc 94
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/11511.html
{ X i }

Doc 95
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/12073.html
{ λ i }

Doc 96
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/23251.html
{ F i }

Doc 97
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/16708.html
{ x i }

Doc 98
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/22939.html
{ k i }

Doc 99
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/13254.html
{ M i }

Doc 100
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/25220.html
{ B i }

Doc 101
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/05976.html
{ X i }

Doc 102
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/27512.html
{ ϕ i }

Doc 103
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/02091.html
{ a i }

Doc 104
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/06031.html
{ w i }

Doc 105
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/16046.html
{ s i }

Doc 106
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/29117.html
{ x i }

Doc 107
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/18875.html
{ M i }

Doc 108
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/26477.html
{ M i }

Doc 109
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/06817.html
{ p i }

Doc 110
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/23576.html
{ X i }

Doc 111
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/22158.html
{ x i }

Doc 112
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/06930.html
{ X i }

Doc 113
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/09635.html
{ λ i }

Doc 114
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/12554.html
{ X i }

Doc 115
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/00824.html
{ x i }

Doc 116
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/12323.html
{ p i }

Doc 117
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/25911.html
{ s i }

Doc 118
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/25697.html
{ b i }

Doc 119
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/02937.html
{ a i }

Doc 120
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/03211.html
{ e i }

Doc 121
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/04667.html
{ x i }

Doc 122
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/08970.html
{ x i }

Doc 123
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/30076.html
{ μ i }

Doc 124
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/15557.html
{ e i }

Doc 125
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/06088.html
{ B i }

Doc 126
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/01448.html
{ E i }

Doc 127
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/09889.html
{ E i }

Doc 128
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/26699.html
{ θ i }

Doc 129
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/29934.html
{ y i }

Doc 130
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/16069.html
{ f i }

Doc 131
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/24888.html
{ ξ i }

Doc 132
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/06775.html
{ x i }

Doc 133
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/05603.html
{ f i }

Doc 134
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/23379.html
{ 𝐏 i }

Doc 135
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/18055.html
{ U i }

Doc 136
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/07939.html
{ a i }

Doc 137
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/25818.html
{ p i }

Doc 138
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/13801.html
{ V i }

Doc 139
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/24234.html
{ Y i }

Doc 140
0.2105
-1.0000
1.0000
0.2105
testing/wikipedia/v3/05975.html
{ X i }

Doc 141
0.2105
-2.0000
2.0000
0.2105
testing/wikipedia/v3/25644.html
{ h i }

Doc 142
0.2105
-2.0000
1.0000
0.4211
testing/wikipedia/v3/25572.html
{ b i }
{ x i }

Doc 143
0.2105
-2.0000
1.0000
0.2105
testing/wikipedia/v3/08740.html
min { d i }

Doc 144
0.2105
-2.0000
1.0000
0.2105
testing/wikipedia/v3/06604.html
{ O n i }

Doc 145
0.2105
-2.0000
1.0000
0.2105
testing/wikipedia/v3/22733.html
{ B ( i ) }

Doc 146
0.2105
-2.0000
1.0000
0.2105
testing/wikipedia/v3/16512.html
exp { v i }

Doc 147
0.2105
-2.0000
1.0000
0.2105
testing/wikipedia/v3/27467.html
{ Δ σ i }

Doc 148
0.2105
-3.0000
1.0000
1.0526
testing/wikipedia/v3/21477.html
{ | r i > }
{ | s i > }
{ | t i > }
{ | u i > }
{ | w i > }

Doc 149
0.2105
-3.0000
1.0000
0.2105
testing/wikipedia/v3/01985.html
{ | ϕ i > }