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

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