(converse_zornnil 3315006945"" (lemma "zorn" )"" (prop)"1" (skolem!)"1" (inst? +)"1" (expand * "maximal?" "minimal?" "member" "converse" ) nil nil ))nil ))nil )"2" (skolem-typepred)"2" (inst - "ch!1" )"1" expand * "bounded_below?" "lower_bound?" "bounded_above?" "upper_bound?" "converse" )nil nil )"2" expand * "chain?" "total_order?" "partial_order?" "preorder?" "restrict" "dichotomous?" "converse" )"2" (skosimp)"2" (inst?) (("2" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil ))nil ))nil )"bool" minmax_orders nil )"bool" minmax_orders nil )"chain[T, converse(<=)]" converse_zorn nil )"bool" bounded_orders nil )"bool" bounded_orders nil )"bool" bounded_orders nil )"bool" bounded_orders nil )"(reflexive?[S])" nil )"(antisymmetric?[S])" nil )"(transitive?[S])" nil )"(preorder?[S])" nil )"(partial_order?[S])" nil )"R" restrict nil )"bool" orders nil )"bool" orders nil )nil chain nil )"bool" chain nil )set type-eq-decl nil sets nil )NOT const-decl "[bool -> bool]" booleans nil )nil zorn nil )nil converse_zorn nil )nil booleans nil )nil booleans nil )nil defined_types nil )"pred[[T2, T1]]" relation_defs nil )"bool" orders nil )"(partial_order?[T])" converse_zorn nil ))quality 100%
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
