Returned 44 matches (100 formulae, 83 docs)
    Lookup 1.928 ms, Re-ranking 36.005 ms
    Found 10595 tuple postings, 3062 formulae, 1868 documents
[ formulas ] [ documents ] [ documents-by-formula ]

Ω 2 = { } .
Doc 1
1.0000, -1.0000, 3.0000, 1.7742
testing/wikipedia/v3/00600.html
B = { x ψ } .
Doc 2
1.0000, -2.0000, 3.0000, 1.7742
testing/wikipedia/v3/05405.html
= { 𝐩 N } .
Doc 3
1.0000, -3.0000, 3.0000, 1.0000
testing/wikipedia/v3/04933.html
P = { n n  is prime } .
Doc 5
1.0000, -3.0000, 3.0000, 1.0000
testing/wikipedia/v3/07016.html
f = { { f } } .
Doc 4
1.0000, -3.0000, 3.0000, 1.0000
testing/wikipedia/v3/05754.html
r k = { x / β k } .
Doc 6
1.0000, -4.0000, 3.0000, 1.0000
testing/wikipedia/v3/14940.html
n J n = { 0 } .
Doc 8
1.0000, -5.0000, 3.0000, 1.0000
testing/wikipedia/v3/27687.html
𝒫 = { f θ | θ Θ } .
Doc 7
1.0000, -5.0000, 3.0000, 2.0000
testing/wikipedia/v3/11256.html
𝒫 = { P θ | θ Θ } .
Doc 7
1.0000, -5.0000, 3.0000, 2.0000
testing/wikipedia/v3/11256.html
F = { HALT }
Doc 9
0.7742, 0.0000, 3.0000, 1.5484
testing/wikipedia/v3/01024.html
F = { r }
Doc 10
0.7742, 0.0000, 3.0000, 0.7742
testing/wikipedia/v3/00822.html
B = { x }
Doc 18
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/00018.html
𝒟 = { d }
Doc 25
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/26722.html
𝒫 = { all distributions }
Doc 21
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/00935.html
i = { i }
Doc 28
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/12224.html
G = { R }
Doc 23
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/15557.html
I = { init }
Doc 13
0.7742, 0.0000, 2.0000, 1.1271
testing/wikipedia/v3/04156.html
H = { 0 }
Doc 12
0.7742, 0.0000, 2.0000, 1.5484
testing/wikipedia/v3/16627.html
A = { x }
Doc 26
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/12373.html
𝒥 = { 1 }
Doc 17
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/10713.html
N = { S }
Doc 27
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/22411.html
Σ = { α }
Doc 22
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/15544.html
Σ = { 1 }
Doc 9
0.7742, 0.0000, 3.0000, 1.5484
testing/wikipedia/v3/01024.html
H = { e }
Doc 14
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/02229.html
K = { x }
Doc 20
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/13985.html
I = { 5 }
Doc 24
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/17289.html
T = { x }
Doc 15
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/24134.html
X = { a }
Doc 11
0.7742, 0.0000, 2.0000, 1.5484
testing/wikipedia/v3/04330.html
P = { X }
Doc 16
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/14000.html
𝔇 = { d }
Doc 19
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/26714.html
W = { Y }
Doc 11
0.7742, 0.0000, 2.0000, 1.5484
testing/wikipedia/v3/04330.html
C = { i }
Doc 29
0.7742, 0.0000, 2.0000, 0.7742
testing/wikipedia/v3/23663.html
I * = { c }
Doc 41
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/04480.html
X 0 = { * }
Doc 39
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/03194.html
L 0 = { 0 }
Doc 38
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/14189.html
X = { x i }
Doc 37
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/27344.html
C = { C k }
Doc 33
0.7742, -1.0000, 2.0000, 1.5484
testing/wikipedia/v3/24940.html
X = { n i }
Doc 32
0.7742, -1.0000, 2.0000, 1.5484
testing/wikipedia/v3/09331.html
Q = { P 4 }
Doc 44
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/07361.html
P = { P i }
Doc 32
0.7742, -1.0000, 2.0000, 1.5484
testing/wikipedia/v3/09331.html
A = { a j }
Doc 49
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/11311.html
P = { P 1 }
Doc 47
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/08991.html
S = { S k }
Doc 30
0.7742, -1.0000, 2.0000, 1.5484
testing/wikipedia/v3/08127.html
𝔘 = { U i }
Doc 46
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/11201.html
S 2 = { 1 }
Doc 36
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/13409.html
W = { 1 }
Doc 40
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/27546.html
G 4 = { 1 }
Doc 31
0.7742, -1.0000, 2.0000, 1.5484
testing/wikipedia/v3/04251.html
G 2 = { 1 }
Doc 31
0.7742, -1.0000, 2.0000, 1.5484
testing/wikipedia/v3/04251.html
L = { }
Doc 45
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/15932.html
S 0 = { 2 }
Doc 48
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/23504.html
C x = { x }
Doc 35
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/15003.html
Ω 1 = { ¬ }
Doc 34
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/05792.html
0 B = { o }
Doc 42
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/22568.html
X = { ¬ A }
Doc 43
0.7742, -1.0000, 2.0000, 0.7742
testing/wikipedia/v3/07303.html
2 = { } .
Doc 50
0.7742, -2.0000, 3.0000, 0.7742
testing/wikipedia/v3/00327.html
G = { ρ < 0 }
Doc 57
0.7742, -2.0000, 2.0000, 0.7742
testing/wikipedia/v3/11905.html
i = { 1 k }
Doc 58
0.7742, -2.0000, 2.0000, 0.7742
testing/wikipedia/v3/05306.html
O = { X Y }
Doc 54
0.7742, -2.0000, 2.0000, 0.7742
testing/wikipedia/v3/24263.html
A = { x ϕ }
Doc 2
1.0000, -2.0000, 3.0000, 1.7742
testing/wikipedia/v3/05405.html
S = { S i j }
Doc 53
0.7742, -2.0000, 2.0000, 1.5484
testing/wikipedia/v3/10342.html
B = { b i j }
Doc 60
0.7742, -2.0000, 2.0000, 0.7742
testing/wikipedia/v3/06651.html
T = { T i j }
Doc 53
0.7742, -2.0000, 2.0000, 1.5484
testing/wikipedia/v3/10342.html
a ¯ 0 = { a }
Doc 59
0.7742, -2.0000, 2.0000, 0.7742
testing/wikipedia/v3/00666.html
Ω 1 = { ¬ } ,
Doc 1
1.0000, -1.0000, 3.0000, 1.7742
testing/wikipedia/v3/00600.html
𝐮 = { u [ j ] }
Doc 51
0.7742, -2.0000, 2.0000, 2.3226
testing/wikipedia/v3/02030.html
𝐡 = { h [ i ] }
Doc 51
0.7742, -2.0000, 2.0000, 2.3226
testing/wikipedia/v3/02030.html
𝐬 = { s [ j ] }
Doc 51
0.7742, -2.0000, 2.0000, 2.3226
testing/wikipedia/v3/02030.html
C = { C k i }
Doc 30
0.7742, -1.0000, 2.0000, 1.5484
testing/wikipedia/v3/08127.html
S = { S k } k
Doc 33
0.7742, -1.0000, 2.0000, 1.5484
testing/wikipedia/v3/24940.html
G ( n ) = { e }
Doc 52
0.7742, -2.0000, 2.0000, 1.5484
testing/wikipedia/v3/00298.html
G ( α ) = { e }
Doc 52
0.7742, -2.0000, 2.0000, 1.5484
testing/wikipedia/v3/00298.html
G ( n ) = { 1 }
Doc 56
0.7742, -2.0000, 2.0000, 0.7742
testing/wikipedia/v3/02221.html
T k V = { 0 }
Doc 55
0.7742, -2.0000, 2.0000, 0.7742
testing/wikipedia/v3/04303.html
S 2 = { s 2 }
Doc 61
0.7742, -2.0000, 2.0000, 0.7742
testing/wikipedia/v3/29936.html
H N = { 0 }
Doc 12
0.7742, 0.0000, 2.0000, 1.5484
testing/wikipedia/v3/16627.html
F = { A B C }
Doc 62
0.7742, -3.0000, 3.0000, 0.7742
testing/wikipedia/v3/26565.html
F = { ϕ i } i J
Doc 63
0.7742, -4.0000, 3.0000, 0.7742
testing/wikipedia/v3/24904.html
F = { m L |  m L }
Doc 64
0.7742, -6.0000, 3.0000, 0.7742
testing/wikipedia/v3/06110.html
V - { } .
Doc 65
0.6154, -1.0000, 2.0000, 1.2308
testing/wikipedia/v3/10948.html
x { x } .
Doc 65
0.6154, -1.0000, 2.0000, 1.2308
testing/wikipedia/v3/10948.html
{ 0 } .
Doc 66
0.6154, -1.0000, 2.0000, 0.6154
testing/wikipedia/v3/08242.html
M 1 × { 1 } .
Doc 67
0.6154, -2.0000, 2.0000, 0.6154
testing/wikipedia/v3/22247.html
{ y } .
Doc 68
0.5455, 0.0000, 2.0000, 0.5455
testing/wikipedia/v3/08338.html
{ 𝐑 r } .
Doc 69
0.5455, -1.0000, 2.0000, 0.5455
testing/wikipedia/v3/23239.html
k { τ p } .
Doc 70
0.5455, -2.0000, 2.0000, 0.5455
testing/wikipedia/v3/08319.html
𝒫 = 𝔐 { } .
Doc 73
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/07188.html
F K { y } .
Doc 77
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/24574.html
{ } x X .
Doc 81
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/16697.html
{ 0 } = { 0 }
Doc 80
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/15416.html
sup n { a n } .
Doc 78
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/02327.html
( exp ) = { 0 }
Doc 74
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/03755.html
𝒱 ( x ) = { X }
Doc 79
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/09160.html
FV ( S ) = { f }
Doc 76
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/10250.html
𝒵 ( M ) = { 0 }
Doc 71
0.5455, -3.0000, 2.0000, 1.0909
testing/wikipedia/v3/26848.html
g ( ϵ ) = { ϵ }
Doc 75
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/21412.html
J ( S ) = { 0 }
Doc 71
0.5455, -3.0000, 2.0000, 1.0909
testing/wikipedia/v3/26848.html
{ α ( f n ) } .
Doc 72
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/21919.html
{ f ( t ) } .
Doc 82
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/04204.html
F = Q { init }
Doc 13
0.7742, 0.0000, 2.0000, 1.1271
testing/wikipedia/v3/04156.html
F = { W }
Doc 83
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/07732.html