(complementary_latticesnil 3318702826"" (skolem!)"" (decompose-equality)"" (expand * "dual" "o" )"" (rewrite "complement_complement" )"" (rewrite "complement_complement" ) nil nil )) nil ))nil ))nil ))nil )"[T -> T]" complementary_lattices nil )nil booleans nil )nil booleans nil )nil defined_types nil )"bool" complementary_orders nil )"bool" bounded_orders nil )"(lattice?[T])" complementary_lattices nil )nil complementary_lattices nil )nil complementary_orders nil )"T3" function_props nil ))nil 3318704200"" (skolem!)"" (expand * "dual" "o" )"" (lemma "le_complement" )"" (inst - "<=" "C!1(t!1)" "H!1(C!1(t!1))" "C!1" )"" (rewrite "complement_complement" ) (("" (prop) nil nil ))nil ))nil ))nil ))nil ))nil )"T3" function_props nil )"[T -> T]" complementary_lattices nil )nil booleans nil )nil booleans nil )nil defined_types nil )"bool" bounded_orders nil )"(lattice?[T])" complementary_lattices nil )"bool" complementary_orders nil )nil complementary_orders nil )nil complementary_orders nil )nil complementary_lattices nil ))nil 3318704371"" (skolem!)"" (expand * "dual" "o" )"" (lemma "le_complement" )"" (inst - "<=" "H!1(C!1(t!1))" "C!1(t!1)" "C!1" )"" (rewrite "complement_complement" ) (("" (prop) nil nil ))nil ))nil ))nil ))nil ))nil )"T3" function_props nil )"[T -> T]" complementary_lattices nil )nil booleans nil )nil booleans nil )nil defined_types nil )"bool" bounded_orders nil )"(lattice?[T])" complementary_lattices nil )"bool" complementary_orders nil )nil complementary_orders nil )nil complementary_orders nil )nil complementary_lattices nil ))nil 3318704401"" (skolem!)"" (expand * "dual" "o" )"" (lemma "le_complement" )"" (inst - "<=" "t!1" "H!1(t!1)" "C!1" )"" (rewrite "complement_complement" ) (("" (prop) nil nil ))nil ))nil ))nil ))nil ))nil )"T3" function_props nil )"[T -> T]" complementary_lattices nil )nil booleans nil )nil booleans nil )nil defined_types nil )"bool" bounded_orders nil )"(lattice?[T])" complementary_lattices nil )"bool" complementary_orders nil )nil complementary_orders nil )nil complementary_orders nil )nil complementary_lattices nil ))nil 3318704698"" (skolem!)"" (expand * "dual" "o" )"" (lemma "le_complement" )"" (inst - "<=" "H!1(t!1)" "t!1" "C!1" )"" (rewrite "complement_complement" ) (("" (prop) nil nil ))nil ))nil ))nil ))nil ))nil )"T3" function_props nil )"[T -> T]" complementary_lattices nil )nil booleans nil )nil booleans nil )nil defined_types nil )"bool" bounded_orders nil )"(lattice?[T])" complementary_lattices nil )"bool" complementary_orders nil )nil complementary_orders nil )nil complementary_orders nil )nil complementary_lattices nil ))quality 100%
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.0Bemerkung:
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
