Returned 63 matches (100 formulae, 102 docs)
    Lookup 0.831 ms, Re-ranking 37.736 ms
    Found 746 tuple postings, 537 formulae, 354 documents
[ formulas ] [ documents ] [ documents-by-formula ]

z * x y
Doc 1
1.0000, 0.0000, 5.0000, 2.0000
testing/wikipedia/v3/16784.html
( x y ) = sup { z z * x y } .
Doc 1
1.0000, 0.0000, 5.0000, 2.0000
testing/wikipedia/v3/16784.html
Doc 2
1.0000, -10.0000, 5.0000, 2.7063
testing/wikipedia/v3/18080.html
a x b
Doc 4
0.6154, -1.0000, 2.0000, 0.6154
testing/wikipedia/v3/29994.html
Doc 5
0.6154, -1.0000, 2.0000, 0.6154
testing/wikipedia/v3/17351.html
Doc 6
0.6154, -1.0000, 2.0000, 0.6154
testing/wikipedia/v3/02777.html
a < x b
Doc 3
0.6154, -1.0000, 2.0000, 1.1608
testing/wikipedia/v3/15132.html
Y d x δ E
Doc 8
0.6154, -2.0000, 2.0000, 0.6154
testing/wikipedia/v3/14155.html
Doc 9
0.6154, -2.0000, 2.0000, 0.6154
testing/wikipedia/v3/02260.html
a x b .
Doc 7
0.6154, -2.0000, 2.0000, 0.6154
testing/wikipedia/v3/03865.html
( a x b )
Doc 10
0.6154, -2.0000, 2.0000, 0.6154
testing/wikipedia/v3/15789.html
{ x E x y }
Doc 11
0.6154, -4.0000, 3.0000, 0.6154
testing/wikipedia/v3/03331.html
x = { y X : x y }
Doc 12
0.6154, -7.0000, 3.0000, 0.6154
testing/wikipedia/v3/21360.html
{ ( x , y ) X 2 | x y }
Doc 13
0.6154, -8.0000, 3.0000, 0.6154
testing/wikipedia/v3/27880.html
x 1 y 1 , , x k y k
Doc 14
0.6154, -9.0000, 3.0000, 0.6154
testing/wikipedia/v3/21954.html
x y
Doc 2
1.0000, -10.0000, 5.0000, 2.7063
testing/wikipedia/v3/18080.html
Doc 3
0.6154, -1.0000, 2.0000, 1.1608
testing/wikipedia/v3/15132.html
Doc 15
0.5455, 0.0000, 3.0000, 2.7273
testing/wikipedia/v3/01019.html
Doc 16
0.5455, 0.0000, 3.0000, 1.9441
testing/wikipedia/v3/23919.html
Doc 17
0.5455, 0.0000, 3.0000, 1.6364
testing/wikipedia/v3/10665.html
Doc 18
0.5455, 0.0000, 3.0000, 1.6364
testing/wikipedia/v3/05220.html
Doc 19
0.5455, 0.0000, 3.0000, 1.0909
testing/wikipedia/v3/07275.html
Doc 20
0.5455, 0.0000, 3.0000, 1.0909
testing/wikipedia/v3/24546.html
Doc 21
0.5455, 0.0000, 3.0000, 1.0909
testing/wikipedia/v3/15654.html
Doc 22
0.5455, 0.0000, 3.0000, 1.0909
testing/wikipedia/v3/02130.html
Doc 23
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/00600.html
Doc 24
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/10008.html
Doc 25
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/03738.html
Doc 26
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/02488.html
Doc 27
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/23321.html
Doc 28
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/01620.html
Doc 29
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/03813.html
Doc 30
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/22024.html
Doc 31
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/01530.html
Doc 32
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/04234.html
Doc 33
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/00773.html
Doc 34
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/06554.html
Doc 35
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/00776.html
Doc 36
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/06451.html
Doc 37
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/14990.html
Doc 38
0.5455, 0.0000, 3.0000, 0.5455
testing/wikipedia/v3/19480.html
x K
Doc 41
0.5455, 0.0000, 2.0000, 0.5455
testing/wikipedia/v3/04245.html
x a
Doc 40
0.5455, 0.0000, 2.0000, 0.5455
testing/wikipedia/v3/05036.html
x α
Doc 39
0.5455, 0.0000, 2.0000, 0.5455
testing/wikipedia/v3/20842.html
x Q y
Doc 17
0.5455, 0.0000, 3.0000, 1.6364
testing/wikipedia/v3/10665.html
x i y
Doc 15
0.5455, 0.0000, 3.0000, 2.7273
testing/wikipedia/v3/01019.html
x P y
Doc 17
0.5455, 0.0000, 3.0000, 1.6364
testing/wikipedia/v3/10665.html
x + y
Doc 15
0.5455, 0.0000, 3.0000, 2.7273
testing/wikipedia/v3/01019.html
x S y
Doc 20
0.5455, 0.0000, 3.0000, 1.0909
testing/wikipedia/v3/24546.html
x 2 y
Doc 15
0.5455, 0.0000, 3.0000, 2.7273
testing/wikipedia/v3/01019.html
x 1 y
Doc 15
0.5455, 0.0000, 3.0000, 2.7273
testing/wikipedia/v3/01019.html
x y }
Doc 19
0.5455, 0.0000, 3.0000, 1.0909
testing/wikipedia/v3/07275.html
T x h
Doc 47
0.5455, -1.0000, 2.0000, 0.5455
testing/wikipedia/v3/05242.html
A x b
Doc 42
0.5455, -1.0000, 2.0000, 1.6364
testing/wikipedia/v3/14711.html
Doc 43
0.5455, -1.0000, 2.0000, 0.5455
testing/wikipedia/v3/28341.html
Doc 45
0.5455, -1.0000, 2.0000, 0.5455
testing/wikipedia/v3/09379.html
Doc 46
0.5455, -1.0000, 2.0000, 0.5455
testing/wikipedia/v3/22960.html
Doc 48
0.5455, -1.0000, 2.0000, 0.5455
testing/wikipedia/v3/22965.html
R x c
Doc 44
0.5455, -1.0000, 2.0000, 0.5455
testing/wikipedia/v3/04781.html
0 x y
Doc 49
0.5455, -2.0000, 3.0000, 1.0909
testing/wikipedia/v3/00131.html
¬ ( x y )
Doc 18
0.5455, 0.0000, 3.0000, 1.6364
testing/wikipedia/v3/05220.html
x i y i
Doc 22
0.5455, 0.0000, 3.0000, 1.0909
testing/wikipedia/v3/02130.html
Doc 50
0.5455, -2.0000, 3.0000, 0.5455
testing/wikipedia/v3/09530.html
x c κ x
Doc 55
0.5455, -2.0000, 2.0000, 0.5455
testing/wikipedia/v3/15500.html
A x b .
Doc 54
0.5455, -2.0000, 2.0000, 0.5455
testing/wikipedia/v3/16228.html
α x α y
Doc 21
0.5455, 0.0000, 3.0000, 1.0909
testing/wikipedia/v3/15654.html
z x z y
Doc 16
0.5455, 0.0000, 3.0000, 1.9441
testing/wikipedia/v3/23919.html
x z y z
Doc 16
0.5455, 0.0000, 3.0000, 1.9441
testing/wikipedia/v3/23919.html
x i k
Doc 51
0.5455, -2.0000, 2.0000, 0.8531
testing/wikipedia/v3/24649.html
0 x U
Doc 52
0.5455, -2.0000, 2.0000, 0.5455
testing/wikipedia/v3/04657.html
p = A * x
Doc 53
0.5455, -2.0000, 2.0000, 0.5455
testing/wikipedia/v3/12362.html
0 y π
Doc 56
0.5455, -2.0000, 1.0000, 0.5455
testing/wikipedia/v3/01021.html
Doc 57
0.5455, -2.0000, 1.0000, 0.5455
testing/wikipedia/v3/17871.html
0 y x
Doc 49
0.5455, -2.0000, 3.0000, 1.0909
testing/wikipedia/v3/00131.html
x y z .
Doc 2
1.0000, -10.0000, 5.0000, 2.7063
testing/wikipedia/v3/18080.html
1 + x e x
Doc 62
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/06439.html
A 1 x b 1
Doc 42
0.5455, -1.0000, 2.0000, 1.6364
testing/wikipedia/v3/14711.html
A 2 x b 2
Doc 42
0.5455, -1.0000, 2.0000, 1.6364
testing/wikipedia/v3/14711.html
x K λ x e
Doc 60
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/28352.html
x p 2 x
Doc 59
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/30350.html
x 3 x L
Doc 58
0.5455, -3.0000, 2.0000, 0.8531
testing/wikipedia/v3/01096.html
B 0 = I * x
Doc 61
0.5455, -3.0000, 2.0000, 0.5455
testing/wikipedia/v3/15520.html
- A x A
Doc 63
0.5455, -3.0000, 1.0000, 2.3916
testing/wikipedia/v3/28239.html
x y y y
Doc 18
0.5455, 0.0000, 3.0000, 1.6364
testing/wikipedia/v3/05220.html
x y y x
Doc 64
0.5455, -4.0000, 3.0000, 1.6364
testing/wikipedia/v3/10057.html
x y x y
Doc 65
0.5455, -4.0000, 3.0000, 0.5455
testing/wikipedia/v3/03749.html
x y y x .
Doc 66
0.5455, -5.0000, 3.0000, 2.4895
testing/wikipedia/v3/14683.html
x y x y y x
Doc 64
0.5455, -4.0000, 3.0000, 1.6364
testing/wikipedia/v3/10057.html
Doc 67
0.5455, -8.0000, 3.0000, 0.5455
testing/wikipedia/v3/06434.html
x y ϕ ( x ) ϕ ( y )
Doc 64
0.5455, -4.0000, 3.0000, 1.6364
testing/wikipedia/v3/10057.html
x y g ( x ) g ( y )
Doc 68
0.5455, -8.0000, 3.0000, 0.5455
testing/wikipedia/v3/03970.html
x = y ( x y y x )
Doc 69
0.5455, -9.0000, 3.0000, 0.5455
testing/wikipedia/v3/11435.html
x y  if and only if  f ( x ) f ( y ) .
Doc 70
0.5455, -9.0000, 3.0000, 0.5455
testing/wikipedia/v3/06513.html
{ ( x , y ) x y x y }
Doc 71
0.5455, -10.0000, 3.0000, 0.5455
testing/wikipedia/v3/12224.html
x < y ( x y x y ) .
Doc 66
0.5455, -5.0000, 3.0000, 2.4895
testing/wikipedia/v3/14683.html
( x z z y ) x y .
Doc 66
0.5455, -5.0000, 3.0000, 2.4895
testing/wikipedia/v3/14683.html
( x y y x ) x = y .
Doc 66
0.5455, -5.0000, 3.0000, 2.4895
testing/wikipedia/v3/14683.html
x , x y F ( x ) G ( y )
Doc 73
0.5455, -11.0000, 3.0000, 0.5455
testing/wikipedia/v3/12388.html
¬ ( ¬ ( x y ) ¬ ( y x ) ) .
Doc 72
0.5455, -11.0000, 3.0000, 0.5455
testing/wikipedia/v3/22255.html
y / x 1.
Doc 74
0.3529, -2.0000, 2.0000, 0.3529
testing/wikipedia/v3/11644.html
x 7
Doc 80
0.3077, -1.0000, 2.0000, 0.3077
testing/wikipedia/v3/26658.html
x 2
Doc 75
0.3077, -1.0000, 2.0000, 0.6154
testing/wikipedia/v3/12326.html
x 10
Doc 76
0.3077, -1.0000, 2.0000, 0.3077
testing/wikipedia/v3/05652.html
x 0
Doc 77
0.3077, -1.0000, 2.0000, 0.3077
testing/wikipedia/v3/07026.html
Doc 79
0.3077, -1.0000, 2.0000, 0.3077
testing/wikipedia/v3/14115.html
0 y
Doc 16
0.5455, 0.0000, 3.0000, 1.9441
testing/wikipedia/v3/23919.html
Doc 81
0.3077, -1.0000, 2.0000, 0.3077
testing/wikipedia/v3/16108.html
4 * x
Doc 78
0.3077, -1.0000, 2.0000, 0.3077
testing/wikipedia/v3/25067.html
x * * x
Doc 82
0.3077, -2.0000, 2.0000, 0.3077
testing/wikipedia/v3/15507.html
x x .
Doc 66
0.5455, -5.0000, 3.0000, 2.4895
testing/wikipedia/v3/14683.html
z * ( 𝐬 j )
Doc 91
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/27924.html
0 x 2
Doc 88
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/30347.html
0.1 x 1
Doc 63
0.5455, -3.0000, 1.0000, 2.3916
testing/wikipedia/v3/28239.html
0 x 4
Doc 93
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/03349.html
 0 < x 1
Doc 85
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/06573.html
0 x 1
Doc 84
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/00136.html
Doc 86
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/07431.html
Doc 89
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/04627.html
Doc 90
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/12246.html
0 x 5
Doc 63
0.5455, -3.0000, 1.0000, 2.3916
testing/wikipedia/v3/28239.html
2 < x 3
Doc 75
0.3077, -1.0000, 2.0000, 0.6154
testing/wikipedia/v3/12326.html
y 1 y 2
Doc 87
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/10137.html
0 y 5
Doc 63
0.5455, -3.0000, 1.0000, 2.3916
testing/wikipedia/v3/28239.html
 0 y < 8
Doc 83
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/00548.html
0 * x = 0
Doc 2
1.0000, -10.0000, 5.0000, 2.7063
testing/wikipedia/v3/18080.html
1 * x = x
Doc 2
1.0000, -10.0000, 5.0000, 2.7063
testing/wikipedia/v3/18080.html
0 y 3
Doc 63
0.5455, -3.0000, 1.0000, 2.3916
testing/wikipedia/v3/28239.html
x i x j
Doc 92
0.3077, -3.0000, 2.0000, 0.3077
testing/wikipedia/v3/26269.html
0.4 x 23 0.5
Doc 95
0.3077, -4.0000, 2.0000, 0.3077
testing/wikipedia/v3/13729.html
1 x 1 10
Doc 94
0.3077, -4.0000, 2.0000, 0.6154
testing/wikipedia/v3/16169.html
0 x i 1.
Doc 100
0.3077, -4.0000, 2.0000, 0.3077
testing/wikipedia/v3/14717.html
0 x i 1
Doc 63
0.5455, -3.0000, 1.0000, 2.3916
testing/wikipedia/v3/28239.html
Doc 101
0.3077, -4.0000, 2.0000, 0.3077
testing/wikipedia/v3/27117.html
5 x 2 12.
Doc 94
0.3077, -4.0000, 2.0000, 0.6154
testing/wikipedia/v3/16169.html
- 3 y 3
Doc 63
0.5455, -3.0000, 1.0000, 2.3916
testing/wikipedia/v3/28239.html
x * M x 0
Doc 96
0.3077, -4.0000, 2.0000, 0.3077
testing/wikipedia/v3/01213.html
ln x x - 1
Doc 97
0.3077, -4.0000, 2.0000, 0.3077
testing/wikipedia/v3/09854.html
- 1 x 1
Doc 98
0.3077, -4.0000, 2.0000, 0.3077
testing/wikipedia/v3/14670.html
0 y j 1
Doc 51
0.5455, -2.0000, 2.0000, 0.8531
testing/wikipedia/v3/24649.html
0 x x 2
Doc 58
0.5455, -3.0000, 2.0000, 0.8531
testing/wikipedia/v3/01096.html
y j * y L
Doc 99
0.3077, -4.0000, 2.0000, 0.3077
testing/wikipedia/v3/12488.html
0 x 1 , 0 y 1
Doc 102
0.3077, -9.0000, 2.0000, 0.3077
testing/wikipedia/v3/17051.html