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

[ICO]NameLast modifiedSizeDescription

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

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443