Thanks to Stuart Allen, Eli Barzilay, Mark Bickford, Robert Constable, Rich Eaton, Amanda Holland-Minkley, Lori Lorigo, Alexey Kopylov and Alexey Nogin for providing the verbalizations.
DATAFILES.TAR.gz: all the files in
this directory, as a 24K gzipped tarball
absval_eq1
absval_eq1.n
absval_eq2
absval_eq2.n
absval_eq3
absval_eq3.n
absval_eq4
absval_eq4.n
absval_eq5
absval_eq5.n
absval_eq6
absval_eq6.n
absval_eq7
absval_eq7.n
add_mono_wrt_lt.1
add_mono_wrt_lt.1n
add_mono_wrt_lt.2
add_mono_wrt_lt.2n
add_mono_wrt_lt.3
add_mono_wrt_lt.3n
div_bounds_1.1
div_bounds_1.1n
div_bounds_1.2
div_bounds_1.2n
div_bounds_1.3n
div_fun_sat_div_nrel.1
div_fun_sat_div_nrel.1n
div_fun_sat_div_nrel.2
div_fun_sat_div_nrel.2n
div_fun_sat_div_nrel.3
div_fun_sat_div_nrel.3n
div_fun_sat_div_nrel.4
div_fun_sat_div_nrel.4n
div_fun_sat_div_nrel.5
div_fun_sat_div_nrel.5n
div_lbound_1.1
div_lbound_1.1n
div_lbound_1.2
div_lbound_1.2n
div_lbound_1.3
div_lbound_1.3n
div_lbound_1.4
div_lbound_1.4n
div_lbound_1.5
div_lbound_1.5n
div_lbound_1.6
div_lbound_1.6n
div_unique.1
div_unique.1n
div_unique.2
div_unique.2n
div_unique.3
div_unique.3n
div_unique.4
div_unique.4n
div_unique.n
int1
int1.n
int2
int2.n
int3
int3.dot
int3.n
int4
int4.n
int5
int5.n
int_lower_well_founded
int_lower_well_founded.1
int_lower_well_founded.1n
int_lower_well_founded.2
int_lower_well_founded.2n
int_lower_well_founded.3
int_lower_well_founded.3n
int_lower_well_founded.4
int_lower_well_founded.4n
minus_functionality_wrt_le.1
minus_functionality_wrt_le.1n
minus_functionality_wrt_le.2
minus_functionality_wrt_le.2n
minus_functionality_wrt_le.3
minus_functionality_wrt_le.3n
mul_cancel_in_eq.1
mul_cancel_in_eq.1n
mul_cancel_in_eq.2
mul_cancel_in_eq.2n
mul_cancel_in_eq.3
mul_cancel_in_eq.3n
mul_cancel_in_eq.4
mul_cancel_in_eq.4n
mul_cancel_in_le.1
mul_cancel_in_le.1n
mul_cancel_in_le.2
mul_cancel_in_le.2n
mul_cancel_in_le.3
mul_cancel_in_le.3n
mul_cancel_in_le.4
mul_cancel_in_le.4n
mul_preserves_lt.1
mul_preserves_lt.1n
mul_preserves_lt.2
mul_preserves_lt.2n
mul_preserves_lt.3
mul_preserves_lt.3n
mul_preserves_lt.4
mul_preserves_lt.4n
mul_preserves_lt.5
mul_preserves_lt.5n
mul_preserves_lt.6
mul_preserves_lt.6n
multiply_functionality_wrt_le.1
multiply_functionality_wrt_le.1n
multiply_functionality_wrt_le.2
multiply_functionality_wrt_le.2n
multiply_functionality_wrt_le.3
multiply_functionality_wrt_le.3n
ndiff.n
ndiff1
ndiff1.n
ndiff2.n
ndiff3
ndiff3.n
ndiff4
ndiff4.n
ndiff5
ndiff5.n
ndiff6
ndiff6.n
ndiff7
ndiff7.n
ndiff_ndiff_eq_imin
ndiff_ndiff_eq_imin.1
ndiff_ndiff_eq_imin.1n
ndiff_ndiff_eq_imin.2
ndiff_ndiff_eq_imin.2n
ndiff_ndiff_eq_imin.3
ndiff_ndiff_eq_imin.3n
ndiff_ndiff_eq_imin.4
ndiff_ndiff_eq_imin.4n
ndiff_ndiff_eq_imin.5
ndiff_ndiff_eq_imin.5n
ndiff_ndiff_eq_imin.6
ndiff_ndiff_eq_imin.6n
ndiff_ndiff_eq_imin.n
pos_mul_arg_bounds.1
pos_mul_arg_bounds.1n
pos_mul_arg_bounds.2
pos_mul_arg_bounds.2n
pos_mul_arg_bounds.3
pos_mul_arg_bounds.3n
pos_mul_arg_bounds.4
pos_mul_arg_bounds.4n
pos_mul_arg_bounds.5
pos_mul_arg_bounds.5n
pos_mul_arg_bounds.6
pos_mul_arg_bounds.6n
pos_mul_arg_bounds.7
pos_mul_arg_bounds.7n
rem_3_to_1
rem_3_to_1.1
rem_3_to_1.1n
rem_3_to_1.2
rem_3_to_1.2n
rem_3_to_1.3
rem_3_to_1.3n
rem_3_to_1.4
rem_3_to_1.4n
rem_3_to_1.n
rem_4_to_1.1
rem_4_to_1.1n
rem_4_to_1.2
rem_4_to_1.2n
rem_4_to_1.3
rem_4_to_1.3n
rem_4_to_1.4
rem_4_to_1.4n
rem_addition.1
rem_addition.1n
rem_addition.2
rem_addition.2n
rem_addition.3
rem_addition.3n
rem_addition.4
rem_addition.4n
rem_addition.5
rem_addition.5n
rem_addition.6
rem_addition.6n
rem_addition.7
rem_addition.7n
rem_antisym
rem_antisym.1
rem_antisym.1n
rem_antisym.2
rem_antisym.2n
rem_antisym.3
rem_antisym.3n
rem_antisym.4
rem_antisym.4n
rem_antisym.5
rem_antisym.5n
rem_antisym.6
rem_antisym.6n
rem_antisym.7
rem_antisym.7n
rem_antisym.n
rem_base_case.1
rem_base_case.1n
rem_base_case.2
rem_base_case.2n
rem_base_case.3
rem_base_case.3n
rem_base_case_z.1
rem_base_case_z.1n
rem_base_case_z.2
rem_base_case_z.2n
rem_base_case_z.3
rem_base_case_z.3n
rem_base_case_z.4
rem_base_case_z.4n
rem_base_case_z.5
rem_base_case_z.5n
rem_base_case_z.6
rem_base_case_z.6n
rem_base_case_z.7
rem_base_case_z.7n
rem_bounds_z.1
rem_bounds_z.1n
rem_bounds_z.2
rem_bounds_z.2n
rem_bounds_z.3
rem_bounds_z.3n
rem_bounds_z.4
rem_bounds_z.4n
rem_bounds_z.5
rem_bounds_z.5n
rem_bounds_z.6
rem_bounds_z.6n
rem_bounds_z.7
rem_bounds_z.7n
rem_bounds_z.8
rem_bounds_z.8n
rem_bounds_z.9
rem_bounds_z.9n
rem_sym
rem_sym.1
rem_sym.1n
rem_sym.2
rem_sym.2n
rem_sym.3
rem_sym.3n
rem_sym.4
rem_sym.4n
rem_sym.5
rem_sym.5n
rem_sym.n
rem_sym_2.1
rem_sym_2.1n
rem_sym_2.2
rem_sym_2.2n
rem_sym_2.3
rem_sym_2.3n
rem_sym_2.4
rem_sym_2.4n
rem_sym_2.5
rem_sym_2.5n
rem_sym_2.6
rem_sym_2.6n
rem_sym_2.7
rem_sym_2.7n
rem_sym_2.8
rem_sym_2.8n
rem_sym_2.n
rem_to_div.1
rem_to_div.1n
rem_to_div.2
rem_to_div.2n
rem_to_div.3
rem_to_div.3n
zero_ann_b.1
zero_ann_b.1n
zero_ann_b.2
zero_ann_b.2n
zero_ann_b.3
zero_ann_b.3n
Nuprl Verbalization Data Main Page
NLP at
Cornell
The Nuprl project