tangent
Not Supported
2
≤
s
e
q
s
≤
6
Search
Returned 37 matches (100 formulae, 256 docs)
Lookup 17.096 ms, Re-ranking 55.623 ms
Found 86238 tuple postings, 40827 formulae, 58688 documents
[ formulas ]
[ documents ]
[ documents-by-formula ]
Doc 1
0.3636
-1.0000
4.0000
0.3636
testing/NTCIR/xhtml5/9/1311.3177/1311.3177_1_18.xhtml
2
≤
s
≤
q
Doc 2
0.3636
-1.0000
4.0000
0.3636
testing/NTCIR/xhtml5/6/0911.4218/0911.4218_1_69.xhtml
2
≤
s
≤
q
Doc 3
0.3636
-1.0000
4.0000
0.3636
testing/NTCIR/xhtml5/6/0911.4218/0911.4218_1_5.xhtml
2
≤
s
≤
q
Doc 4
0.3636
-1.0000
3.0000
1.0123
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_141.xhtml
2
≤
s
≤
S
2
≤
s
<
s
′
≤
A
2
≤
s
≤
s
′
≤
A
Doc 5
0.3636
-1.0000
3.0000
1.0123
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_120.xhtml
2
≤
s
≤
S
2
≤
s
<
s
′
≤
A
2
≤
s
≤
s
′
≤
A
Doc 6
0.3636
-1.0000
3.0000
0.7273
testing/NTCIR/xhtml5/9/1212.0740/1212.0740_1_29.xhtml
2
≤
s
≤
i
2
≤
s
≤
p
-
1
Doc 7
0.3636
-1.0000
3.0000
0.7273
testing/NTCIR/xhtml5/7/1101.3540/1101.3540_1_73.xhtml
2
≤
s
≤
m
2
≤
s
≤
n
Doc 8
0.3636
-1.0000
3.0000
0.7273
testing/NTCIR/xhtml5/4/math0612461/math0612461_1_13.xhtml
2
≤
s
≤
r
2
≤
s
≤
r
.
Doc 9
0.3636
-1.0000
3.0000
0.6880
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_126.xhtml
2
≤
s
≤
A
2
≤
s
<
s
′
≤
A
Doc 10
0.3636
-1.0000
3.0000
0.6880
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_145.xhtml
2
≤
s
≤
S
2
≤
s
<
s
′
≤
A
Doc 11
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0411063/math0411063_1_39.xhtml
2
≤
s
≤
m
Doc 12
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/hep-th9210117/hep-th9210117_1_6.xhtml
2
≤
s
≤
N
Doc 13
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1011.1199/1011.1199_1_93.xhtml
2
≤
s
≤
k
Doc 14
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1208.0394/1208.0394_1_44.xhtml
2
≤
s
≤
n
Doc 15
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/1212.2690/1212.2690_1_48.xhtml
2
≤
s
≤
n
Doc 16
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1007.4312/1007.4312_1_19.xhtml
2
≤
s
≤
k
Doc 17
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0910.0386/0910.0386_1_64.xhtml
2
≤
s
≤
n
Doc 18
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1307.7363/1307.7363_1_49.xhtml
2
≤
s
≤
m
Doc 19
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1208.0394/1208.0394_1_7.xhtml
2
≤
s
≤
n
Doc 20
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1007.4312/1007.4312_1_15.xhtml
2
≤
s
≤
k
Doc 21
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0309080/math0309080_1_57.xhtml
2
≤
s
≤
t
Doc 22
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0803.4338/0803.4338_1_103.xhtml
2
≤
s
≤
r
Doc 23
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/math0703619/math0703619_1_22.xhtml
2
≤
s
≤
l
Doc 24
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0411340/math0411340_1_137.xhtml
2
≤
s
≤
t
Doc 25
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1107.5777/1107.5777_1_77.xhtml
2
≤
s
≤
k
Doc 26
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1307.7363/1307.7363_1_50.xhtml
2
≤
s
≤
m
Doc 27
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1206.6327/1206.6327_1_105.xhtml
2
≤
s
≤
k
Doc 28
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0812.4434/0812.4434_1_327.xhtml
2
≤
s
≤
m
Doc 29
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1206.6327/1206.6327_1_91.xhtml
2
≤
s
≤
n
Doc 30
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1307.2954/1307.2954_1_32.xhtml
2
≤
s
≤
d
Doc 31
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0812.4434/0812.4434_1_351.xhtml
2
≤
s
≤
m
Doc 32
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_128.xhtml
2
≤
s
≤
A
Doc 33
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0911.5724/0911.5724_1_19.xhtml
2
≤
s
≤
p
Doc 34
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/10/solv-int9705016/solv-int9705016_1_19.xhtml
2
≤
s
≤
r
Doc 35
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1212.1974/1212.1974_1_66.xhtml
2
≤
s
≤
ℓ
Doc 36
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0404287/math0404287_1_87.xhtml
2
≤
s
≤
r
Doc 37
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/1109.4472/1109.4472_1_16.xhtml
2
≤
s
≤
r
Doc 38
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/math0607465/math0607465_1_68.xhtml
2
≤
s
≤
t
Doc 39
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_74.xhtml
2
≤
s
≤
A
Doc 40
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0901.3658/0901.3658_1_47.xhtml
2
≤
s
≤
k
Doc 41
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0811.0830/0811.0830_1_20.xhtml
2
≤
s
≤
n
Doc 42
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/10/hep-th9607122/hep-th9607122_1_1.xhtml
2
≤
s
≤
N
Doc 43
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0811.0830/0811.0830_1_58.xhtml
2
≤
s
≤
n
Doc 44
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1208.5861/1208.5861_1_13.xhtml
2
≤
s
≤
n
Doc 45
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/1109.4472/1109.4472_1_6.xhtml
2
≤
s
≤
r
Doc 46
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0811.0830/0811.0830_1_60.xhtml
2
≤
s
≤
n
Doc 47
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/math0607465/math0607465_1_6.xhtml
2
≤
s
≤
c
Doc 48
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0811.0830/0811.0830_1_47.xhtml
2
≤
s
≤
n
Doc 49
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/1109.4472/1109.4472_1_7.xhtml
2
≤
s
≤
r
Doc 50
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0803.1453/0803.1453_1_19.xhtml
2
≤
s
≤
k
Doc 51
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1107.0377/1107.0377_1_50.xhtml
2
≤
s
≤
r
Doc 52
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/hep-th9112028/hep-th9112028_1_3.xhtml
2
≤
s
≤
N
Doc 53
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0404287/math0404287_1_88.xhtml
2
≤
s
≤
r
Doc 54
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/math0703815/math0703815_1_68.xhtml
2
≤
s
≤
∞
Doc 55
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0803.1453/0803.1453_1_43.xhtml
2
≤
s
≤
k
Doc 56
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0812.2156/0812.2156_1_124.xhtml
2
≤
s
≤
k
Doc 57
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1006.0154/1006.0154_1_17.xhtml
2
≤
s
≤
N
Doc 58
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0901.1874/0901.1874_1_151.xhtml
2
≤
s
≤
∞
Doc 59
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0309383/math0309383_1_141.xhtml
2
≤
s
≤
d
Doc 60
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0803.1453/0803.1453_1_25.xhtml
2
≤
s
≤
k
Doc 61
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1212.3265/1212.3265_1_24.xhtml
2
≤
s
≤
m
Doc 62
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1107.4286/1107.4286_1_8.xhtml
2
≤
s
≤
∞
Doc 63
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0901.3658/0901.3658_1_45.xhtml
2
≤
s
≤
k
Doc 64
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/math0703707/math0703707_1_45.xhtml
2
≤
s
≤
d
Doc 65
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0602195/math0602195_1_63.xhtml
2
≤
s
≤
t
Doc 66
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/hep-th0403215/hep-th0403215_1_54.xhtml
2
≤
s
≤
N
Doc 67
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0811.0830/0811.0830_1_49.xhtml
2
≤
s
≤
n
Doc 68
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/11/math9908096/math9908096_1_1.xhtml
2
≤
s
≤
∞
Doc 69
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0908.3035/0908.3035_1_114.xhtml
2
≤
s
≤
ℓ
Doc 70
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0910.0905/0910.0905_1_40.xhtml
2
≤
s
≤
r
Doc 71
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0910.0905/0910.0905_1_39.xhtml
2
≤
s
≤
r
Doc 72
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0911.5724/0911.5724_1_132.xhtml
2
≤
s
≤
p
Doc 73
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1104.3279/1104.3279_1_41.xhtml
2
≤
s
≤
p
Doc 74
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/2/math0204031/math0204031_1_67.xhtml
2
≤
s
≤
m
Doc 75
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/2/math0011225/math0011225_1_43.xhtml
2
≤
s
≤
k
Doc 76
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1208.6533/1208.6533_1_61.xhtml
2
≤
s
≤
∞
Doc 77
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/1109.4472/1109.4472_1_58.xhtml
2
≤
s
≤
r
Doc 78
0.3636
-1.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0804.1974/0804.1974_1_100.xhtml
2
≤
s
≤
m
Doc 79
0.3636
-2.0000
4.0000
0.3636
testing/NTCIR/xhtml5/9/1311.3177/1311.3177_1_29.xhtml
2
≤
s
≤
q
:
Doc 80
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1210.4245/1210.4245_1_39.xhtml
2
≤
s
≤
d
.
Doc 81
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1012.1769/1012.1769_1_55.xhtml
2
≤
s
≤
c
w
Doc 82
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1101.2765/1101.2765_1_8.xhtml
2
≤
s
≤
t
,
Doc 83
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1012.1769/1012.1769_1_56.xhtml
2
≤
s
≤
c
w
Doc 84
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_60.xhtml
2
≤
s
i
≤
A
Doc 85
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1012.1769/1012.1769_1_52.xhtml
2
≤
s
≤
c
w
Doc 86
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0704.1851/0704.1851_1_119.xhtml
2
≤
s
≤
n
,
Doc 87
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1105.4314/1105.4314_1_5.xhtml
2
≤
s
≤
t
,
Doc 88
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math-ph0512049/math-ph0512049_1_92.xhtml
(
2
≤
s
≤
d
)
Doc 89
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0309399/math0309399_1_92.xhtml
2
≤
s
≤
n
1
Doc 90
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1107.3356/1107.3356_1_49.xhtml
2
≤
s
≤
g
.
Doc 91
0.3636
-2.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1005.4233/1005.4233_1_40.xhtml
2
≤
s
≤
k
,
Doc 92
0.3636
-3.0000
4.0000
0.3636
testing/NTCIR/xhtml5/4/math0609830/math0609830_1_123.xhtml
2
≤
s
≤
q
-
1
Doc 93
0.3636
-3.0000
4.0000
0.3636
testing/NTCIR/xhtml5/2/math0206129/math0206129_1_61.xhtml
b
+
2
≤
s
≤
q
Doc 94
0.3636
-3.0000
4.0000
0.3636
testing/NTCIR/xhtml5/2/math0206129/math0206129_1_57.xhtml
b
+
2
≤
s
≤
q
Doc 95
0.3636
-3.0000
4.0000
0.3636
testing/NTCIR/xhtml5/2/math0206129/math0206129_1_56.xhtml
b
+
2
≤
s
≤
q
Doc 96
0.3636
-3.0000
4.0000
0.3636
testing/NTCIR/xhtml5/8/1205.0236/1205.0236_1_184.xhtml
2
≤
s
≤
q
-
1
Doc 97
0.3636
-3.0000
4.0000
0.3636
testing/NTCIR/xhtml5/6/0911.4218/0911.4218_1_23.xhtml
2
≤
s
≤
q
-
1
Doc 98
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1306.3278/1306.3278_1_121.xhtml
2
≤
s
≤
N
-
1
Doc 99
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1308.0401/1308.0401_1_26.xhtml
2
≤
s
≤
{\sfdiam}
(
Γ
)
Doc 100
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/10/math9803125/math9803125_1_124.xhtml
2
≤
s
≤
m
-
1
Doc 101
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0610940/math0610940_1_94.xhtml
2
≤
s
≤
n
-
d
Doc 102
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1212.1974/1212.1974_1_77.xhtml
2
≤
s
≤
τ
g
o
Doc 103
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1010.2549/1010.2549_1_15.xhtml
2
≤
s
≤
r
-
2
Doc 104
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/2/math0208163/math0208163_1_40.xhtml
2
≤
s
≤
m
-
1
Doc 105
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/hep-th0512085/hep-th0512085_1_59.xhtml
2
≤
s
≤
p
-
1
Doc 106
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/10/math9811091/math9811091_1_63.xhtml
2
≤
s
≤
t
+
1
Doc 107
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1206.6327/1206.6327_1_18.xhtml
2
≤
s
≤
k
-
2
Doc 108
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0910.1017/0910.1017_1_21.xhtml
t
/
2
≤
s
≤
t
Doc 109
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1204.5565/1204.5565_1_96.xhtml
d
+
2
≤
s
≤
n
Doc 110
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1206.6327/1206.6327_1_9.xhtml
2
≤
s
≤
n
-
2
Doc 111
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0610940/math0610940_1_88.xhtml
2
≤
s
≤
n
-
d
Doc 112
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1204.4908/1204.4908_1_302.xhtml
2
≤
s
≤
n
-
1
Doc 113
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/hep-th0512085/hep-th0512085_1_56.xhtml
2
≤
s
≤
p
-
1
Doc 114
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/math9810154/math9810154_1_76.xhtml
2
≤
s
≤
n
-
1
Doc 115
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1212.1974/1212.1974_1_67.xhtml
2
≤
s
≤
τ
g
o
Doc 116
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1212.1974/1212.1974_1_16.xhtml
2
≤
s
≤
τ
g
o
Doc 117
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1106.4463/1106.4463_1_88.xhtml
2
≤
s
<
t
≤
6
Doc 118
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1306.5289/1306.5289_1_60.xhtml
2
≤
s
≤
n
-
2
Doc 119
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/5/0705.3087/0705.3087_1_116.xhtml
2
≤
s
≤
d
-
1
Doc 120
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0610940/math0610940_1_29.xhtml
2
≤
s
≤
m
-
1
Doc 121
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1106.4463/1106.4463_1_36.xhtml
2
≤
s
≤
n
-
1
Doc 122
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1302.5569/1302.5569_1_28.xhtml
2
≤
s
≤
k
-
1
Doc 123
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0610940/math0610940_1_90.xhtml
2
≤
s
≤
n
-
d
Doc 124
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1304.1990/1304.1990_1_45.xhtml
2
≤
s
≤
d
-
1
Doc 125
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/hep-th0512085/hep-th0512085_1_58.xhtml
2
≤
s
≤
p
-
1
Doc 126
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1210.2543/1210.2543_1_51.xhtml
2
≤
s
≤
l
-
1
Doc 127
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0610940/math0610940_1_25.xhtml
2
≤
s
≤
m
-
1
Doc 128
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/2/math0207192/math0207192_1_28.xhtml
2
≤
s
≤
k
-
1
Doc 129
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/10/math9803125/math9803125_1_113.xhtml
2
≤
s
≤
m
-
1
Doc 130
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1204.4908/1204.4908_1_300.xhtml
2
≤
s
≤
n
-
1
Doc 131
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/2/math0212170/math0212170_1_9.xhtml
s
,
2
≤
s
≤
j
Doc 132
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1110.2235/1110.2235_1_25.xhtml
2
≤
s
≤
diam
(
Γ
)
Doc 133
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1203.3259/1203.3259_1_116.xhtml
2
-
m
≤
s
≤
t
Doc 134
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1204.4908/1204.4908_1_272.xhtml
2
≤
s
≤
n
-
1
Doc 135
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1006.4936/1006.4936_1_90.xhtml
1
/
2
≤
s
≤
K
Doc 136
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/10/math9803125/math9803125_1_114.xhtml
2
≤
s
≤
m
-
1
Doc 137
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1207.2936/1207.2936_1_285.xhtml
2
≤
s
≤
A
(
q
)
Doc 138
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1008.0272/1008.0272_1_60.xhtml
2
≤
s
≤
ν
-
1
Doc 139
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1306.0140/1306.0140_1_292.xhtml
2
≤
c
≤
s
≤
6
Doc 140
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/math9810178/math9810178_1_34.xhtml
2
≤
s
≤
k
+
2
Doc 141
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0309383/math0309383_1_142.xhtml
2
≤
s
≤
d
+
1
Doc 142
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/2/math0105030/math0105030_1_75.xhtml
2
≤
s
≤
m
+
2
Doc 143
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/math0310383/math0310383_1_15.xhtml
2
≤
s
≤
t
-
1
Doc 144
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0302001/math0302001_1_19.xhtml
t
/
2
≤
s
≤
t
Doc 145
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/9/1308.0401/1308.0401_1_148.xhtml
2
≤
s
≤
{\sfdiam}
(
Γ
)
Doc 146
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1207.2936/1207.2936_1_284.xhtml
2
≤
s
≤
A
(
q
)
Doc 147
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/math0310383/math0310383_1_20.xhtml
2
≤
s
≤
t
-
1
Doc 148
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/0907.0578/0907.0578_1_39.xhtml
2
≤
s
≤
κ
+
1
Doc 149
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1204.4908/1204.4908_1_276.xhtml
2
≤
s
≤
n
-
1
Doc 150
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0608453/math0608453_1_16.xhtml
2
≤
s
≤
ω
(
G
)
Doc 151
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/6/0905.4555/0905.4555_1_17.xhtml
2
≤
s
≤
n
-
1
Doc 152
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/8/1204.4908/1204.4908_1_274.xhtml
2
≤
s
≤
n
-
1
Doc 153
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/2/math0212170/math0212170_1_10.xhtml
s
,
2
≤
s
≤
k
Doc 154
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/7/1106.2825/1106.2825_1_38.xhtml
2
≤
s
≤
r
-
1
Doc 155
0.3636
-3.0000
3.0000
0.3636
testing/NTCIR/xhtml5/10/math9811091/math9811091_1_62.xhtml
2
≤
s
≤
t
+
1
Doc 156
0.3636
-3.0000
2.0000
0.3636
testing/NTCIR/xhtml5/9/1401.3645/1401.3645_1_243.xhtml
2
≤
r
≤
s
≤
t
Doc 157
0.3636
-3.0000
2.0000
0.3636
testing/NTCIR/xhtml5/9/1304.0126/1304.0126_1_52.xhtml
2
≤
k
≤
s
≤
n
Doc 158
0.3636
-4.0000
3.0000
0.3636
testing/NTCIR/xhtml5/1/1310.8378/1310.8378_1_83.xhtml
2
k
-
1
≤
s
≤
t
Doc 159
0.3636
-4.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0304244/math0304244_1_74.xhtml
(
2
≤
s
≤
r
-
1
)
Doc 160
0.3636
-4.0000
3.0000
0.3636
testing/NTCIR/xhtml5/3/math0304244/math0304244_1_83.xhtml
(
2
≤
s
≤
r
-
1
)
Doc 161
0.3636
-4.0000
3.0000
0.3636
testing/NTCIR/xhtml5/4/math0609054/math0609054_1_93.xhtml
∙
2
≤
s
≤
m
+
1
Doc 162
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/hep-th9302014/hep-th9302014_1_65.xhtml
s
≤
6
Doc 163
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1303.1682/1303.1682_1_176.xhtml
s
≤
6
Doc 164
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/6/0812.1634/0812.1634_1_345.xhtml
s
≤
6
Doc 165
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/11/math9909137/math9909137_1_164.xhtml
s
≤
6
Doc 166
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/3/cs0304021/cs0304021_1_32.xhtml
s
e
q
Doc 167
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/2/math0210365/math0210365_1_18.xhtml
s
≤
6
Doc 168
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1208.1387/1208.1387_1_15.xhtml
s
≤
6
Doc 169
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1105.0808/1105.0808_1_57.xhtml
s
≤
6
Doc 170
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1208.1387/1208.1387_1_82.xhtml
s
≤
6
Doc 171
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0609014/math0609014_1_87.xhtml
s
≤
6
Doc 172
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0609014/math0609014_1_135.xhtml
s
≤
6
Doc 173
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1112.3205/1112.3205_1_84.xhtml
s
≤
6
Doc 174
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1303.6914/1303.6914_1_48.xhtml
s
≤
6
Doc 175
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0505624/math0505624_1_57.xhtml
s
≤
6
Doc 176
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1112.3205/1112.3205_1_83.xhtml
s
≤
6
Doc 177
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1108.4178/1108.4178_1_55.xhtml
s
≤
6
Doc 178
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1105.0808/1105.0808_1_13.xhtml
s
≤
6
Doc 179
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1212.0718/1212.0718_1_75.xhtml
s
≤
6
Doc 180
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1102.1053/1102.1053_1_22.xhtml
s
≤
6
Doc 181
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1105.0808/1105.0808_1_7.xhtml
s
≤
6
Doc 182
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1303.1682/1303.1682_1_171.xhtml
s
≤
6
Doc 183
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/5/0806.2787/0806.2787_1_43.xhtml
s
e
q
Doc 184
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1212.0718/1212.0718_1_74.xhtml
s
≤
6
Doc 185
0.3243
0.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1401.7979/1401.7979_1_245.xhtml
s
≤
6
Doc 186
0.3243
-2.0000
3.0000
0.6486
testing/NTCIR/xhtml5/5/0705.3087/0705.3087_1_117.xhtml
2
≤
s
≤
4
2
≤
s
≤
6
Doc 187
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/2/hep-th0010240/hep-th0010240_1_21.xhtml
2
≤
s
≤
25
Doc 188
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/2/hep-th0010240/hep-th0010240_1_15.xhtml
2
≤
s
≤
25
Doc 189
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1204.6515/1204.6515_1_238.xhtml
2
≤
s
≤
3
Doc 190
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/1/1303.1676/1303.1676_1_90.xhtml
2
≤
s
≤
4
Doc 191
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1106.2869/1106.2869_1_75.xhtml
1
≤
s
≤
6
Doc 192
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1203.5722/1203.5722_1_129.xhtml
2
≤
s
≤
6
Doc 193
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1303.1682/1303.1682_1_220.xhtml
2
≤
s
≤
3
Doc 194
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1304.1729/1304.1729_1_101.xhtml
2
≤
s
≤
4
Doc 195
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1303.1682/1303.1682_1_188.xhtml
5
≤
s
≤
6
Doc 196
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/1/math0607465/math0607465_1_3.xhtml
2
≤
s
≤
17
Doc 197
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1007.2805/1007.2805_1_2.xhtml
2
≤
s
≤
5
Doc 198
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/5/0810.4517/0810.4517_1_75.xhtml
2
≤
s
≤
3
Doc 199
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1101.0577/1101.0577_1_85.xhtml
2
≤
s
≤
6
Doc 200
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1110.4714/1110.4714_1_29.xhtml
2
≤
s
≤
182
Doc 201
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1101.0577/1101.0577_1_86.xhtml
2
≤
s
≤
7
Doc 202
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/2/hep-th0012043/hep-th0012043_1_54.xhtml
0
≤
s
≤
6
Doc 203
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/5/0810.4517/0810.4517_1_29.xhtml
1
≤
s
≤
6
Doc 204
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1101.0577/1101.0577_1_80.xhtml
2
≤
s
≤
7
Doc 205
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1101.0577/1101.0577_1_79.xhtml
2
≤
s
≤
7
Doc 206
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1212.3895/1212.3895_1_55.xhtml
2
≤
s
≤
5
Doc 207
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/3/math0406494/math0406494_1_508.xhtml
2
≤
s
≤
3
Doc 208
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1111.5725/1111.5725_1_66.xhtml
2
≤
s
≤
3
Doc 209
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/6/1003.1064/1003.1064_1_5.xhtml
2
≤
s
≤
14
Doc 210
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1005.5030/1005.5030_1_6.xhtml
2
≤
s
≤
4
Doc 211
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1311.5268/1311.5268_1_41.xhtml
2
≤
s
≤
4
Doc 212
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/6/1002.0104/1002.0104_1_16.xhtml
2
≤
s
≤
4
Doc 213
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/1/1202.2973/1202.2973_1_30.xhtml
2
≤
s
≤
7
Doc 214
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/1302.4212/1302.4212_1_8.xhtml
2
≤
s
≤
6
Doc 215
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/1/1201.4297/1201.4297_1_11.xhtml
2
≤
s
≤
7
Doc 216
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/2/hep-th0010240/hep-th0010240_1_16.xhtml
2
≤
s
≤
25
Doc 217
0.3243
-2.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1104.3994/1104.3994_1_9.xhtml
4
≤
s
≤
6
Doc 218
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1104.3994/1104.3994_1_136.xhtml
(
2
≤
s
≤
4
)
Doc 219
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/5/math0703815/math0703815_1_5.xhtml
2
≤
s
≤
+
∞
Doc 220
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/5/0808.0890/0808.0890_1_37.xhtml
-
1
≤
s
≤
6
Doc 221
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1106.0203/1106.0203_1_77.xhtml
2
≤
s
′
≤
s
Doc 222
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/5/0704.3028/0704.3028_1_4.xhtml
2
≤
s
≤
+
∞
Doc 223
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1106.2666/1106.2666_1_100.xhtml
-
2
≤
s
≤
2
Doc 224
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1207.2936/1207.2936_1_262.xhtml
2
≤
s
1
≤
s
Doc 225
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1111.1332/1111.1332_1_14.xhtml
2
≤
s
≤
[
β
]
Doc 226
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1009.0933/1009.0933_1_17.xhtml
-
2
≤
s
≤
0
Doc 227
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1008.4408/1008.4408_1_64.xhtml
1
≤
s
≤
6
,
Doc 228
0.3243
-3.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0508631/math0508631_1_124.xhtml
2
≤
s
i
≤
50
Doc 229
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0505479/math0505479_1_43.xhtml
1
/
2
≤
s
≤
1
Doc 230
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0505479/math0505479_1_40.xhtml
1
/
2
≤
s
≤
1
Doc 231
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0505479/math0505479_1_41.xhtml
1
/
2
≤
s
≤
1
Doc 232
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0505479/math0505479_1_33.xhtml
1
/
2
≤
s
≤
1
Doc 233
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0505479/math0505479_1_45.xhtml
1
/
2
≤
s
≤
1
Doc 234
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0505479/math0505479_1_18.xhtml
1
/
2
≤
s
≤
1
Doc 235
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0505479/math0505479_1_32.xhtml
1
/
2
≤
s
≤
1
Doc 236
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/1/math9810178/math9810178_1_20.xhtml
2
≤
s
≤
2
n
2
Doc 237
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/9/hep-th9112028/hep-th9112028_1_202.xhtml
2
≤
s
≤
7
/
2
Doc 238
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0505479/math0505479_1_24.xhtml
1
/
2
≤
s
≤
1
Doc 239
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1010.4991/1010.4991_1_11.xhtml
1
/
2
≤
s
≤
1
Doc 240
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1210.1191/1210.1191_1_181.xhtml
1
/
2
≤
s
≤
1
Doc 241
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/6/1002.2698/1002.2698_1_70.xhtml
1
/
2
≤
s
≤
1
Doc 242
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1010.4991/1010.4991_1_12.xhtml
1
/
2
≤
s
≤
1
Doc 243
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1004.3358/1004.3358_1_67.xhtml
2
≤
s
≤
2
j
d
Doc 244
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/1/math9810178/math9810178_1_40.xhtml
2
≤
s
≤
2
n
2
Doc 245
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/8/1112.2556/1112.2556_1_115.xhtml
3
/
2
≤
s
≤
2
Doc 246
0.3243
-4.0000
3.0000
0.3243
testing/NTCIR/xhtml5/7/1107.0847/1107.0847_1_28.xhtml
1
/
2
≤
s
≤
1
Doc 247
0.3243
-5.0000
3.0000
0.3243
testing/NTCIR/xhtml5/10/solv-int9804014/solv-int9804014_1_57.xhtml
2
≤
s
≤
(
n
-
1
)
Doc 248
0.3243
-5.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_143.xhtml
2
≤
s
<
s
′
≤
A
Doc 249
0.3243
-5.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_130.xhtml
2
≤
s
<
s
′
≤
A
Doc 250
0.3243
-5.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_142.xhtml
2
≤
s
≤
s
′
≤
A
Doc 251
0.3243
-5.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_123.xhtml
2
≤
s
<
s
′
≤
A
Doc 252
0.3243
-5.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_124.xhtml
2
≤
s
<
s
′
≤
A
Doc 253
0.3243
-5.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_121.xhtml
2
≤
s
≤
s
′
≤
A
Doc 254
0.3243
-5.0000
3.0000
0.3243
testing/NTCIR/xhtml5/4/math0609799/math0609799_1_122.xhtml
2
≤
s
<
s
′
≤
A
Doc 255
0.3243
-5.0000
3.0000
0.3243
testing/NTCIR/xhtml5/6/0907.4933/0907.4933_1_14.xhtml
r
/
2
≤
s
≤
2
r
Doc 256
0.3243
-5.0000
3.0000
0.3243
testing/NTCIR/xhtml5/6/0907.4188/0907.4188_1_36.xhtml
r
/
2
≤
s
≤
2
r