(relational_choice_propertiesnil 3569913521 ("" (grind) nil nil )"bool" nil )"bool" relational_choice nil )nil relational_choice_properties nil )nil relational_choice_properties nil )nil booleans nil )nil booleans nil )nil defined_types nil ))nil 3569913791"" (flatten)"" (expand "fun_choice" )"" (expand "rel_unique_choice" )"" (skolem! 1)"" (inst -1 "R!1" )"" (flatten)"" (prop)"" (skolem-typepred)"" (inst 1 "LAMBDA(t:T,u:U):u=f!1(t)" )"" (skolem-typepred)"" (inst 1 "f!1(t!1)" )"" (split)"1" (inst -1 "t!1" ) nil nil )"2" (inst?)"2" (skolem! 1)"2" "2" replace -1 1 rl)"2" (propax) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" relational_choice nil )"[T, T -> boolean]" equalities nil )nil defined_types nil )nil booleans nil )nil booleans nil )nil relational_choice_properties nil )nil relational_choice_properties nil )"bool" relational_choice nil ))nil 3569913534"" (flatten)"" (auto-rewrite-defs :always? t)"" assert :let-reduce? t :cases-rewrite? nil :ignore-typepreds?nil )"" (skolem-typepred)"" (flatten)"" assert :let-reduce? t :quant-simp? nil nil :ignore-typepreds? nil nil )"" (inst? :if-match t :polarity? nil )"" (replace *)"" assert :let-reduce? t :quant-simp? nil nil :ignore-typepreds?nil :cases-rewrite? nil )"" (inst? :if-match t :polarity? nil )"" (skolem-typepred)"" (replace *)"" assert :let-reduce? t :quant-simp? nil nil nil nil )"" (skolem-typepred)"" (flatten) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil defined_types nil )nil booleans nil )nil booleans nil )nil relational_choice_properties nil )nil relational_choice_properties nil )"bool" relational_choice nil )"bool" relation_implication nil )"bool" relational_choice nil ))nil "" (flatten)"" (expand "parametric_definite_description" )"" (expand "rel_choice" )"" (expand "fun_choice" )"" (skosimp*) (("" (grind) nil nil )) nil )) nil ))nil ))nil ))nil )"bool" nil )"bool" relational_choice nil )"bool" relation_implication nil )nil relational_choice_properties nil )nil relational_choice_properties nil )nil booleans nil )nil booleans nil )nil defined_types nil )"bool" relational_choice nil ))nil "" (flatten)"" (prop)"1" (rewrite "fun_choice_impl_rel_choice" ) nil nil )"2" (rewrite "fun_choice_impl_description" ) nil nil ))nil ))nil )nil nil )nil nil ))nil "" (grind) nil nil )"bool" nil )"bool" relational_choice nil )"bool" relational_choice nil )nil relational_choice_properties nil )nil relational_choice_properties nil )nil booleans nil )nil booleans nil )nil defined_types nil ))nil "" (flatten)"" (prop)"1" (rewrite "fun_choice_impl_rel_unique_choice" ) nil nil )"2" (rewrite "fun_choice_impl_description" ) nil nil ))nil ))nil )nil nil )nil nil ))nil 3569929474"" (prop)"" (expand "fun_choice" )"" (skosimp*)"" (expand "rel_unique_choice" )"" (inst -2 "R!1" )"" (prop)"" (skolem!)"" (expand "parametric_definite_description" )"" (inst -2 "R1!1" )"" (prop)"1" (skolem! -1)"1" (inst 1 "f!1" )"1" (skolem! 1)"1" (inst -1 "t!1" )"1" "t!1" )"1" "1" "1" "f!1(t!1)" )"1" "1" replace -1 1 rl)"1" (propax) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (skosimp*)"2" (inst?)"2" (skolem!)"2" (prop)"2" "u!1" )"2" (prop) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" relational_choice nil )"bool" relational_choice nil )"bool" nil )nil defined_types nil )nil booleans nil )nil booleans nil )nil relational_choice_properties nil )nil relational_choice_properties nil ))nil "" (flatten)"" (rewrite "description_rel_unique_choice_imp_funct_choice" ) nil nil ))nil )nil nil ))nil 3570044635"" (flatten)"" (expand "conditional_relational_choice" )"" (expand "proof_irrelevance" )"" (expand "rel_unique_choice" )"" (skolem!)"" (skolem!)"" (prop)"" (inst -1 "R!1" )"" (prop)"1" (skolem!)"1" (inst 1 "R1!1" )"1" (skolem!)"1" (inst?) (("1" (flatten) nil nil )) nil ))nil ))nil ))nil )"2" (inst 2 "R!1" )"2" (skolem!)"2" (skolem!)"2" (bddsimp)"2" (assert )"2" "2" replace 1 -1 rl)"2" assert )"2" "P!1(t!2)" )nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" relational_choicenil )"bool" relational_choice nil )nil relational_choice_properties nil )nil relational_choice_properties nil )nil booleans nil )nil booleans nil )nil defined_types nil )"bool" relational_choice nil ))nil "" (flatten)"" (expand "conditional_relational_choice" )"" (skolem! 1)"" (skolem! 1)"" (prop)"" (expand "rel_unique_choice" )"" (inst -1 "LAMBDA(t:T,u:U):P!1(t) IMPLIES R!1(t,u)" )"" (prop)"1" (skolem!)"1" (inst 1 "R1!1" )"1" (skolem! 1)"1" (prop)"1" (inst?)"1" (skolem!)"1" "1" "u!1" )"1" (prop) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (expand "independence_of_premises" )"2" (inst -1 "P!1" )"2" (skolem! 1)"2" (inst -1 "P!1(t!1)" )"2" (prop)"1" (assert )"1" "1" "1" "R!1" )"1" "1" "1" "1" (prop) nil nil ))nil ))nil ))nil ))nil )"2" "R!1" )"2" "2" "2" "2" "1" (assert ) nil nil )"2" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (inst 1 "t!1" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" relational_choicenil )"bool" relational_choice nil )"bool" relational_choice nil )"[bool, bool -> bool]" booleans nil )nil defined_types nil )nil booleans nil )nil booleans nil )nil relational_choice_properties nil )nil relational_choice_properties nil ))nil 3569914637"" (prop)"1" (rewrite "fun_choice_impl_rel_unique_choice" ) nil nil )"2" (rewrite "fun_choice_impl_description" ) nil nil )"3" (rewrite "description_rel_unique_choice_imp_funct_choice" )nil nil ))nil )nil nil )nil nil )nil 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.17Bemerkung:
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
