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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]intersection_axiom1.p2024-10-04 18:33 276  
[TXT]intersection_axiom2.p2024-10-04 18:33 276  
[TXT]intersection_axiom3.p2024-10-04 18:33 323  
[TXT]member_of_both_is_member_of_intersection.p2024-10-04 18:33 304  
[TXT]member_of_intersection_is_member_of_set1.p2024-10-04 18:33 279  
[TXT]member_of_intersection_is_member_of_set2.p2024-10-04 18:33 279  
[TXT]membership_in_subsets.p2024-10-04 18:33 232  
[TXT]set_equal_sets_are_subsets1.p2024-10-04 18:33 200  
[TXT]set_equal_sets_are_subsets2.p2024-10-04 18:33 200  
[TXT]subsets_are_set_equal_sets.p2024-10-04 18:33 203  
[TXT]subsets_axiom1.p2024-10-04 18:33 210  
[TXT]subsets_axiom2.p2024-10-04 18:33 214  

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