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 ]

Doc 1
1.0000
0.0000
5.0000
2.0000
testing/wikipedia/v3/16784.html
z * x y
( x y ) = sup { z z * x y } .

Doc 2
1.0000
-10.0000
5.0000
2.7063
testing/wikipedia/v3/18080.html
( x y ) = sup { z z * x y } .
x y
x y z .
0 * x = 0
1 * x = x

Doc 3
0.6154
-1.0000
2.0000
1.1608
testing/wikipedia/v3/15132.html
a < x b
x y

Doc 4
0.6154
-1.0000
2.0000
0.6154
testing/wikipedia/v3/29994.html
a x b

Doc 5
0.6154
-1.0000
2.0000
0.6154
testing/wikipedia/v3/17351.html
a x b

Doc 6
0.6154
-1.0000
2.0000
0.6154
testing/wikipedia/v3/02777.html
a x b

Doc 7
0.6154
-2.0000
2.0000
0.6154
testing/wikipedia/v3/03865.html
a x b .

Doc 8
0.6154
-2.0000
2.0000
0.6154
testing/wikipedia/v3/14155.html
Y d x δ E

Doc 9
0.6154
-2.0000
2.0000
0.6154
testing/wikipedia/v3/02260.html
Y d x δ E

Doc 10
0.6154
-2.0000
2.0000
0.6154
testing/wikipedia/v3/15789.html
( a x b )

Doc 11
0.6154
-4.0000
3.0000
0.6154
testing/wikipedia/v3/03331.html
{ x E x y }

Doc 12
0.6154
-7.0000
3.0000
0.6154
testing/wikipedia/v3/21360.html
x = { y X : x y }

Doc 13
0.6154
-8.0000
3.0000
0.6154
testing/wikipedia/v3/27880.html
{ ( x , y ) X 2 | x y }

Doc 14
0.6154
-9.0000
3.0000
0.6154
testing/wikipedia/v3/21954.html
x 1 y 1 , , x k y k

Doc 15
0.5455
0.0000
3.0000
2.7273
testing/wikipedia/v3/01019.html
x y
x + y
x 1 y
x 2 y
x i y

Doc 16
0.5455
0.0000
3.0000
1.9441
testing/wikipedia/v3/23919.html
x y
z x z y
x z y z
0 y

Doc 17
0.5455
0.0000
3.0000
1.6364
testing/wikipedia/v3/10665.html
x y
x P y
x Q y
Doc 18
0.5455
0.0000
3.0000
1.6364
testing/wikipedia/v3/05220.html
x y
¬ ( x y )
x y y y
Doc 19
0.5455
0.0000
3.0000
1.0909
testing/wikipedia/v3/07275.html
x y
x y }

Doc 20
0.5455
0.0000
3.0000
1.0909
testing/wikipedia/v3/24546.html
x y
x S y

Doc 21
0.5455
0.0000
3.0000
1.0909
testing/wikipedia/v3/15654.html
x y
α x α y

Doc 22
0.5455
0.0000
3.0000
1.0909
testing/wikipedia/v3/02130.html
x y
x i y i

Doc 23
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/00600.html
x y

Doc 24
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/10008.html
x y

Doc 25
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/03738.html
x y

Doc 26
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/02488.html
x y

Doc 27
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/23321.html
x y

Doc 28
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/01620.html
x y

Doc 29
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/03813.html
x y

Doc 30
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/22024.html
x y

Doc 31
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/01530.html
x y

Doc 32
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/04234.html
x y

Doc 33
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/00773.html
x y

Doc 34
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/06554.html
x y

Doc 35
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/00776.html
x y

Doc 36
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/06451.html
x y

Doc 37
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/14990.html
x y

Doc 38
0.5455
0.0000
3.0000
0.5455
testing/wikipedia/v3/19480.html
x y

Doc 39
0.5455
0.0000
2.0000
0.5455
testing/wikipedia/v3/20842.html
x α

Doc 40
0.5455
0.0000
2.0000
0.5455
testing/wikipedia/v3/05036.html
x a

Doc 41
0.5455
0.0000
2.0000
0.5455
testing/wikipedia/v3/04245.html
x K

Doc 42
0.5455
-1.0000
2.0000
1.6364
testing/wikipedia/v3/14711.html
A x b
A 1 x b 1
A 2 x b 2
Doc 43
0.5455
-1.0000
2.0000
0.5455
testing/wikipedia/v3/28341.html
A x b

Doc 44
0.5455
-1.0000
2.0000
0.5455
testing/wikipedia/v3/04781.html
R x c

Doc 45
0.5455
-1.0000
2.0000
0.5455
testing/wikipedia/v3/09379.html
A x b

Doc 46
0.5455
-1.0000
2.0000
0.5455
testing/wikipedia/v3/22960.html
A x b

Doc 47
0.5455
-1.0000
2.0000
0.5455
testing/wikipedia/v3/05242.html
T x h

Doc 48
0.5455
-1.0000
2.0000
0.5455
testing/wikipedia/v3/22965.html
A x b

Doc 49
0.5455
-2.0000
3.0000
1.0909
testing/wikipedia/v3/00131.html
0 x y
0 y x

Doc 50
0.5455
-2.0000
3.0000
0.5455
testing/wikipedia/v3/09530.html
x i y i

Doc 51
0.5455
-2.0000
2.0000
0.8531
testing/wikipedia/v3/24649.html
x i k
0 y j 1

Doc 52
0.5455
-2.0000
2.0000
0.5455
testing/wikipedia/v3/04657.html
0 x U

Doc 53
0.5455
-2.0000
2.0000
0.5455
testing/wikipedia/v3/12362.html
p = A * x

Doc 54
0.5455
-2.0000
2.0000
0.5455
testing/wikipedia/v3/16228.html
A x b .

Doc 55
0.5455
-2.0000
2.0000
0.5455
testing/wikipedia/v3/15500.html
x c κ x

Doc 56
0.5455
-2.0000
1.0000
0.5455
testing/wikipedia/v3/01021.html
0 y π

Doc 57
0.5455
-2.0000
1.0000
0.5455
testing/wikipedia/v3/17871.html
0 y π

Doc 58
0.5455
-3.0000
2.0000
0.8531
testing/wikipedia/v3/01096.html
x 3 x L
0 x x 2

Doc 59
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/30350.html
x p 2 x

Doc 60
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/28352.html
x K λ x e

Doc 61
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/15520.html
B 0 = I * x

Doc 62
0.5455
-3.0000
2.0000
0.5455
testing/wikipedia/v3/06439.html
1 + x e x

Doc 63
0.5455
-3.0000
1.0000
2.3916
testing/wikipedia/v3/28239.html
- A x A
0.1 x 1
0 x 5
0 y 3
0 y 5
0 x i 1
- 3 y 3

Doc 64
0.5455
-4.0000
3.0000
1.6364
testing/wikipedia/v3/10057.html
x y y x
x y x y y x
x y ϕ ( x ) ϕ ( y )
Doc 65
0.5455
-4.0000
3.0000
0.5455
testing/wikipedia/v3/03749.html
x y x y

Doc 66
0.5455
-5.0000
3.0000
2.4895
testing/wikipedia/v3/14683.html
x y y x .
x < y ( x y x y ) .
( x z z y ) x y .
( x y y x ) x = y .
x x .

Doc 67
0.5455
-8.0000
3.0000
0.5455
testing/wikipedia/v3/06434.html
x y x y y x

Doc 68
0.5455
-8.0000
3.0000
0.5455
testing/wikipedia/v3/03970.html
x y g ( x ) g ( y )

Doc 69
0.5455
-9.0000
3.0000
0.5455
testing/wikipedia/v3/11435.html
x = y ( x y y x )

Doc 70
0.5455
-9.0000
3.0000
0.5455
testing/wikipedia/v3/06513.html
x y  if and only if  f ( x ) f ( y ) .

Doc 71
0.5455
-10.0000
3.0000
0.5455
testing/wikipedia/v3/12224.html
{ ( x , y ) x y x y }

Doc 72
0.5455
-11.0000
3.0000
0.5455
testing/wikipedia/v3/22255.html
¬ ( ¬ ( x y ) ¬ ( y x ) ) .

Doc 73
0.5455
-11.0000
3.0000
0.5455
testing/wikipedia/v3/12388.html
x , x y F ( x ) G ( y )

Doc 74
0.3529
-2.0000
2.0000
0.3529
testing/wikipedia/v3/11644.html
y / x 1.

Doc 75
0.3077
-1.0000
2.0000
0.6154
testing/wikipedia/v3/12326.html
x 2
2 < x 3

Doc 76
0.3077
-1.0000
2.0000
0.3077
testing/wikipedia/v3/05652.html
x 10

Doc 77
0.3077
-1.0000
2.0000
0.3077
testing/wikipedia/v3/07026.html
x 0

Doc 78
0.3077
-1.0000
2.0000
0.3077
testing/wikipedia/v3/25067.html
4 * x

Doc 79
0.3077
-1.0000
2.0000
0.3077
testing/wikipedia/v3/14115.html
x 0

Doc 80
0.3077
-1.0000
2.0000
0.3077
testing/wikipedia/v3/26658.html
x 7

Doc 81
0.3077
-1.0000
2.0000
0.3077
testing/wikipedia/v3/16108.html
0 y

Doc 82
0.3077
-2.0000
2.0000
0.3077
testing/wikipedia/v3/15507.html
x * * x

Doc 83
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/00548.html
 0 y < 8

Doc 84
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/00136.html
0 x 1

Doc 85
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/06573.html
 0 < x 1

Doc 86
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/07431.html
0 x 1

Doc 87
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/10137.html
y 1 y 2

Doc 88
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/30347.html
0 x 2

Doc 89
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/04627.html
0 x 1

Doc 90
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/12246.html
0 x 1

Doc 91
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/27924.html
z * ( 𝐬 j )

Doc 92
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/26269.html
x i x j

Doc 93
0.3077
-3.0000
2.0000
0.3077
testing/wikipedia/v3/03349.html
0 x 4

Doc 94
0.3077
-4.0000
2.0000
0.6154
testing/wikipedia/v3/16169.html
1 x 1 10
5 x 2 12.

Doc 95
0.3077
-4.0000
2.0000
0.3077
testing/wikipedia/v3/13729.html
0.4 x 23 0.5

Doc 96
0.3077
-4.0000
2.0000
0.3077
testing/wikipedia/v3/01213.html
x * M x 0

Doc 97
0.3077
-4.0000
2.0000
0.3077
testing/wikipedia/v3/09854.html
ln x x - 1

Doc 98
0.3077
-4.0000
2.0000
0.3077
testing/wikipedia/v3/14670.html
- 1 x 1

Doc 99
0.3077
-4.0000
2.0000
0.3077
testing/wikipedia/v3/12488.html
y j * y L

Doc 100
0.3077
-4.0000
2.0000
0.3077
testing/wikipedia/v3/14717.html
0 x i 1.

Doc 101
0.3077
-4.0000
2.0000
0.3077
testing/wikipedia/v3/27117.html
0 x i 1

Doc 102
0.3077
-9.0000
2.0000
0.3077
testing/wikipedia/v3/17051.html
0 x 1 , 0 y 1