(kuratowskinil 3315007192"" (typepred "<=" )"" (lemma "zorn" )"" (split)"1" (skolem-typepred)"1" (inst + "t!1" )"1" expand * "fullset" "maximal?" "maximal_chain?" "strict_subset?" "chain_incl" "member" )nil nil ))nil ))nil )"2" (skolem!)"2" (inst + "chain_union(ch!1)" )"2" expand * "bounded_above?" "upper_bound?" "chain_incl" "subset?" "member" )"2" (inst + "chain_union(ch!1)" )"2" (skosimp*)"2" (expand * "chain_union" "Union" )"2" (inst + "r!1" )"2" (expand "extend" ) (("2" (propax) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" chain_chain nil )nil chain_chain nil )"bool" chain nil )set type-eq-decl nil sets nil ) (zorn formula-decl nil zorn nil )"bool" bounded_orders nil )"bool" sets nil )"bool" sets nil )"bool" bounded_orders nil )"R" extend nil )"bool" booleans nil )"chain[subchain, chain_incl]" kuratowskinil )"(ch!1)" kuratowski nil )"set" sets nil )"subchain" chain_chain nil )nil chain_chain nil )"set" sets nil )"bool" minmax_orders nil )"bool" chain nil )"bool" sets nil )nil chain nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil kuratowski nil )nil defined_types nil )"bool" orders nil )"(partial_order?[T])" kuratowski nil ))quality 100%
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
