Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/TOP016-1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	topological_space_17.p	2024-10-04 18:29	388
	separation_88.p	2024-10-04 18:29	381
	basis_for_topology_31.p	2024-10-04 18:29	377
	topological_space_16.p	2024-10-04 18:29	365
	basis_for_topology_30.p	2024-10-04 18:29	360
	topological_space_15.p	2024-10-04 18:29	355
	topological_space_13.p	2024-10-04 18:29	355
	basis_for_topology_29.p	2024-10-04 18:29	352
	subspace_topology_46.p	2024-10-04 18:29	335
	topological_space_14.p	2024-10-04 18:29	332
	topological_space_12.p	2024-10-04 18:29	332
	basis_for_topology_36.p	2024-10-04 18:29	316
	boundary_72.p	2024-10-04 18:29	300
	interior_52.p	2024-10-04 18:29	299
	limit_point_68.p	2024-10-04 18:29	296
	topological_space_10.p	2024-10-04 18:29	286
	hausdorff_80.p	2024-10-04 18:29	286
	topology_generated_41.p	2024-10-04 18:29	274
	hausdorff_76.p	2024-10-04 18:29	274
	hausdorff_75.p	2024-10-04 18:29	267
	hausdorff_74.p	2024-10-04 18:29	267
	compact_space_105.p	2024-10-04 18:29	267
	limit_point_65.p	2024-10-04 18:29	255
	connected_set_95.p	2024-10-04 18:29	255
	open_covering_99.p	2024-10-04 18:29	251
	closure_58.p	2024-10-04 18:29	251
	compact_set_109.p	2024-10-04 18:29	250
	subspace_topology_45.p	2024-10-04 18:29	249
	closure_56.p	2024-10-04 18:29	246
	basis_for_topology_35.p	2024-10-04 18:29	245
	limit_point_67.p	2024-10-04 18:29	244
	intersection_of_members_4.p	2024-10-04 18:29	244
	closure_57.p	2024-10-04 18:29	244
	topology_generated_38.p	2024-10-04 18:29	243
	topological_space_11.p	2024-10-04 18:29	240
	closure_55.p	2024-10-04 18:29	238
	subspace_topology_44.p	2024-10-04 18:29	237
	topology_generated_37.p	2024-10-04 18:29	235
	boundary_71.p	2024-10-04 18:29	234
	union_of_members_3.p	2024-10-04 18:29	233
	finer_topology_27.p	2024-10-04 18:29	233
	topology_generated_39.p	2024-10-04 18:29	232
	neighborhood_62.p	2024-10-04 18:29	229
	limit_point_66.p	2024-10-04 18:29	223
	compact_space_102.p	2024-10-04 18:29	223
	subspace_topology_42.p	2024-10-04 18:29	221
	compact_space_103.p	2024-10-04 18:29	219
	closed_set_23.p	2024-10-04 18:29	215
	basis_for_topology_34.p	2024-10-04 18:29	215
	basis_for_topology_33.p	2024-10-04 18:29	215
	subspace_topology_43.p	2024-10-04 18:29	214
	intersection_of_members_5.p	2024-10-04 18:29	214
	connected_space_91.p	2024-10-04 18:29	213
	intersection_of_members_6.p	2024-10-04 18:29	208
	compact_space_101.p	2024-10-04 18:29	207
	basis_for_topology_32.p	2024-10-04 18:29	207
	boundary_70.p	2024-10-04 18:29	206
	separation_86.p	2024-10-04 18:29	205
	connected_set_94.p	2024-10-04 18:29	205
	interior_49.p	2024-10-04 18:29	204
	compact_space_104.p	2024-10-04 18:29	203
	union_of_members_2.p	2024-10-04 18:29	202
	interior_50.p	2024-10-04 18:29	201
	compact_set_108.p	2024-10-04 18:29	200
	topology_generated_40.p	2024-10-04 18:29	199
	separation_85.p	2024-10-04 18:29	198
	separation_84.p	2024-10-04 18:29	198
	open_set_20.p	2024-10-04 18:29	198
	interior_51.p	2024-10-04 18:29	197
	connected_space_90.p	2024-10-04 18:29	197
	separation_83.p	2024-10-04 18:29	196
	separation_82.p	2024-10-04 18:29	196
	interior_47.p	2024-10-04 18:29	196
	boundary_69.p	2024-10-04 18:29	196
	union_of_members_1.p	2024-10-04 18:29	194
	closure_53.p	2024-10-04 18:29	194
	open_covering_98.p	2024-10-04 18:29	193
	separation_81.p	2024-10-04 18:29	192
	hausdorff_79.p	2024-10-04 18:29	192
	hausdorff_78.p	2024-10-04 18:29	192
	hausdorff_77.p	2024-10-04 18:29	192
	topological_space_8.p	2024-10-04 18:29	189
	interior_48.p	2024-10-04 18:29	189
	topological_space_7.p	2024-10-04 18:29	188
	separation_87.p	2024-10-04 18:29	188
	neighborhood_59.p	2024-10-04 18:29	188
	closure_54.p	2024-10-04 18:29	187
	closed_set_22.p	2024-10-04 18:29	187
	limit_point_63.p	2024-10-04 18:29	186
	open_covering_97.p	2024-10-04 18:29	184
	neighborhood_61.p	2024-10-04 18:29	184
	open_covering_96.p	2024-10-04 18:29	182
	connected_set_92.p	2024-10-04 18:29	182
	topological_space_9.p	2024-10-04 18:29	181
	problem_11_153.p	2024-10-04 18:29	181
	limit_point_64.p	2024-10-04 18:29	179
	compact_set_106.p	2024-10-04 18:29	179
	basis_for_topology_28.p	2024-10-04 18:29	178
	neighborhood_60.p	2024-10-04 18:29	177
	finer_topology_26.p	2024-10-04 18:29	177
	connected_set_93.p	2024-10-04 18:29	176
	finer_topology_25.p	2024-10-04 18:29	175
	finer_topology_24.p	2024-10-04 18:29	175
	connected_space_89.p	2024-10-04 18:29	174
	compact_set_107.p	2024-10-04 18:29	173
	compact_space_100.p	2024-10-04 18:29	171
	open_set_19.p	2024-10-04 18:29	170
	closed_set_21.p	2024-10-04 18:29	170
	open_set_18.p	2024-10-04 18:29	166
	hausdorff_73.p	2024-10-04 18:29	162
	problem_11_151.p	2024-10-04 18:29	124
	problem_11_152.p	2024-10-04 18:29	117