(pointwise_orders_auxnil "" (skosimp*)"" (lemma "scott_continuous_dcpo[T1, T2, d1!1, d2!1]" )"" (expand "continuous_pointwise" )"" (expand "restrict" ) (("" (propax) nil nil )) nil )) nil ))nil ))nil )"bool" directed_orders"orders/" )nil defined_types nil )nil booleans nil )nil booleans nil )nil pointwise_orders_aux nil )nil pointwise_orders_aux nil )nil scott_continuity nil )"R" restrict nil )"bool" pointwise_orders_aux nil ))nil ))nil 3353820559"" (skosimp)"" (typepred "p1!1" )"" (typepred "p2!1" )"" (expand "pointed_directed_complete_partial_order?" )"" (flatten)"" (expand "has_least?" )"" (expand "fullset" )"" (skosimp*)"" (inst + "LAMBDA (x:T1): t!1" )"1" (expand "least?" )"1" (expand "lower_bound?" )"1" (skosimp)"1" (expand "continuous_pointwise" )"1" (expand "pointwise" )"1" "1" (inst -2 "r!1(x!1)" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" "const_continuous[T1,scott_open_sets[T1,p1!1], ") "1" (inst - "t!1" )"1" (expand "const_fun" )"1" rewrite "scott_continuous_def[T1, T2, p1!1, p2!1]" )nil nil ))nil ))nil )"2" (rewrite "scott_topology[T2,p2!1]" ) nil nil )"3" (lemma "scott_topology[T1,p1!1]" )"3" (propax) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" "orders/" )nil defined_types nil )nil pointwise_orders_aux nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"(directed_complete_partial_order?[(scott_continuous?[T1, T2, (d1), (d2)])])" nil )"bool" minmax_orders "orders/" )nil constant_continuity "topology/" )nil defined_types nil )nil sets nil )"setofsets[T]" scott nil )"bool" topology_prelim "topology/" )"[S -> T]" const_fun_def "structures/" )nil scott_continuity nil )nil scott nil )"bool" minmax_orders "orders/" )"bool" pointwise_orders "orders/" )"bool" booleans nil )"bool" pointwise_orders_aux nil )"bool" bounded_orders "orders/" )"(pointed_directed_complete_partial_order?[T1])" nil )"(pointed_directed_complete_partial_order?[T2])" nil )"bool" scott_continuity nil )"T2" pointwise_orders_aux nil )"set" sets nil )nil pointwise_orders_aux nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
