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 ]

Doc 1
1.0000
-1.0000
3.0000
1.7742
testing/wikipedia/v3/00600.html
Ω 2 = { } .
Ω 1 = { ¬ } ,

Doc 2
1.0000
-2.0000
3.0000
1.7742
testing/wikipedia/v3/05405.html
B = { x ψ } .
A = { x ϕ }

Doc 3
1.0000
-3.0000
3.0000
1.0000
testing/wikipedia/v3/04933.html
= { 𝐩 N } .

Doc 4
1.0000
-3.0000
3.0000
1.0000
testing/wikipedia/v3/05754.html
f = { { f } } .

Doc 5
1.0000
-3.0000
3.0000
1.0000
testing/wikipedia/v3/07016.html
P = { n n  is prime } .

Doc 6
1.0000
-4.0000
3.0000
1.0000
testing/wikipedia/v3/14940.html
r k = { x / β k } .

Doc 7
1.0000
-5.0000
3.0000
2.0000
testing/wikipedia/v3/11256.html
𝒫 = { P θ | θ Θ } .
𝒫 = { f θ | θ Θ } .

Doc 8
1.0000
-5.0000
3.0000
1.0000
testing/wikipedia/v3/27687.html
n J n = { 0 } .

Doc 9
0.7742
0.0000
3.0000
1.5484
testing/wikipedia/v3/01024.html
F = { HALT }
Σ = { 1 }

Doc 10
0.7742
0.0000
3.0000
0.7742
testing/wikipedia/v3/00822.html
F = { r }

Doc 11
0.7742
0.0000
2.0000
1.5484
testing/wikipedia/v3/04330.html
W = { Y }
X = { a }

Doc 12
0.7742
0.0000
2.0000
1.5484
testing/wikipedia/v3/16627.html
H = { 0 }
H N = { 0 }

Doc 13
0.7742
0.0000
2.0000
1.1271
testing/wikipedia/v3/04156.html
I = { init }
F = Q { init }

Doc 14
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/02229.html
H = { e }

Doc 15
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/24134.html
T = { x }

Doc 16
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/14000.html
P = { X }

Doc 17
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/10713.html
𝒥 = { 1 }

Doc 18
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/00018.html
B = { x }

Doc 19
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/26714.html
𝔇 = { d }

Doc 20
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/13985.html
K = { x }

Doc 21
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/00935.html
𝒫 = { all distributions }

Doc 22
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/15544.html
Σ = { α }

Doc 23
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/15557.html
G = { R }

Doc 24
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/17289.html
I = { 5 }

Doc 25
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/26722.html
𝒟 = { d }

Doc 26
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/12373.html
A = { x }

Doc 27
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/22411.html
N = { S }

Doc 28
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/12224.html
i = { i }

Doc 29
0.7742
0.0000
2.0000
0.7742
testing/wikipedia/v3/23663.html
C = { i }

Doc 30
0.7742
-1.0000
2.0000
1.5484
testing/wikipedia/v3/08127.html
S = { S k }
C = { C k i }

Doc 31
0.7742
-1.0000
2.0000
1.5484
testing/wikipedia/v3/04251.html
G 2 = { 1 }
G 4 = { 1 }

Doc 32
0.7742
-1.0000
2.0000
1.5484
testing/wikipedia/v3/09331.html
P = { P i }
X = { n i }

Doc 33
0.7742
-1.0000
2.0000
1.5484
testing/wikipedia/v3/24940.html
C = { C k }
S = { S k } k

Doc 34
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/05792.html
Ω 1 = { ¬ }

Doc 35
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/15003.html
C x = { x }

Doc 36
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/13409.html
S 2 = { 1 }

Doc 37
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/27344.html
X = { x i }

Doc 38
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/14189.html
L 0 = { 0 }

Doc 39
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/03194.html
X 0 = { * }

Doc 40
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/27546.html
W = { 1 }

Doc 41
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/04480.html
I * = { c }

Doc 42
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/22568.html
0 B = { o }

Doc 43
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/07303.html
X = { ¬ A }

Doc 44
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/07361.html
Q = { P 4 }

Doc 45
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/15932.html
L = { }

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

Doc 47
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/08991.html
P = { P 1 }

Doc 48
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/23504.html
S 0 = { 2 }

Doc 49
0.7742
-1.0000
2.0000
0.7742
testing/wikipedia/v3/11311.html
A = { a j }

Doc 50
0.7742
-2.0000
3.0000
0.7742
testing/wikipedia/v3/00327.html
2 = { } .

Doc 51
0.7742
-2.0000
2.0000
2.3226
testing/wikipedia/v3/02030.html
𝐡 = { h [ i ] }
𝐬 = { s [ j ] }
𝐮 = { u [ j ] }
Doc 52
0.7742
-2.0000
2.0000
1.5484
testing/wikipedia/v3/00298.html
G ( n ) = { e }
G ( α ) = { e }

Doc 53
0.7742
-2.0000
2.0000
1.5484
testing/wikipedia/v3/10342.html
S = { S i j }
T = { T i j }

Doc 54
0.7742
-2.0000
2.0000
0.7742
testing/wikipedia/v3/24263.html
O = { X Y }

Doc 55
0.7742
-2.0000
2.0000
0.7742
testing/wikipedia/v3/04303.html
T k V = { 0 }

Doc 56
0.7742
-2.0000
2.0000
0.7742
testing/wikipedia/v3/02221.html
G ( n ) = { 1 }

Doc 57
0.7742
-2.0000
2.0000
0.7742
testing/wikipedia/v3/11905.html
G = { ρ < 0 }

Doc 58
0.7742
-2.0000
2.0000
0.7742
testing/wikipedia/v3/05306.html
i = { 1 k }

Doc 59
0.7742
-2.0000
2.0000
0.7742
testing/wikipedia/v3/00666.html
a ¯ 0 = { a }

Doc 60
0.7742
-2.0000
2.0000
0.7742
testing/wikipedia/v3/06651.html
B = { b i j }

Doc 61
0.7742
-2.0000
2.0000
0.7742
testing/wikipedia/v3/29936.html
S 2 = { s 2 }

Doc 62
0.7742
-3.0000
3.0000
0.7742
testing/wikipedia/v3/26565.html
F = { A B C }

Doc 63
0.7742
-4.0000
3.0000
0.7742
testing/wikipedia/v3/24904.html
F = { ϕ i } i J

Doc 64
0.7742
-6.0000
3.0000
0.7742
testing/wikipedia/v3/06110.html
F = { m L |  m L }

Doc 65
0.6154
-1.0000
2.0000
1.2308
testing/wikipedia/v3/10948.html
V - { } .
x { x } .

Doc 66
0.6154
-1.0000
2.0000
0.6154
testing/wikipedia/v3/08242.html
{ 0 } .

Doc 67
0.6154
-2.0000
2.0000
0.6154
testing/wikipedia/v3/22247.html
M 1 × { 1 } .

Doc 68
0.5455
0.0000
2.0000
0.5455
testing/wikipedia/v3/08338.html
{ y } .

Doc 69
0.5455
-1.0000
2.0000
0.5455
testing/wikipedia/v3/23239.html
{ 𝐑 r } .

Doc 70
0.5455
-2.0000
2.0000
0.5455
testing/wikipedia/v3/08319.html
k { τ p } .

Doc 71
0.5455
-3.0000
2.0000
1.0909
testing/wikipedia/v3/26848.html
J ( S ) = { 0 }
𝒵 ( M ) = { 0 }

Doc 72
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/21919.html
{ α ( f n ) } .

Doc 73
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/07188.html
𝒫 = 𝔐 { } .

Doc 74
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/03755.html
( exp ) = { 0 }

Doc 75
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/21412.html
g ( ϵ ) = { ϵ }

Doc 76
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/10250.html
FV ( S ) = { f }

Doc 77
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/24574.html
F K { y } .

Doc 78
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/02327.html
sup n { a n } .

Doc 79
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/09160.html
𝒱 ( x ) = { X }

Doc 80
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/15416.html
{ 0 } = { 0 }

Doc 81
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/16697.html
{ } x X .

Doc 82
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/04204.html
{ f ( t ) } .

Doc 83
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/07732.html
F = { W }