Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/scott/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 8.10.2014 mit Größe 2 kB image not shown  

Quelle  scott.dep   Sprache: unbekannt

 
Spracherkennung für: .dep vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

/top,partial_function_props,scott,scott_continuity,fun_preds_partial,pointwise_orders_aux,scott_identity_continuity,scott_composition_continuity,fixpoints,admissible,dual_fixpoints,scott_product
topology/continuity,basis,continuity_def,topology,composition_continuity,prelude_sets_aux,identity_continuity,topology_def,topology_prelim,constant_continuity
structures/const_fun_def
algebra/semigroup_def,monad_def,monoid_def,groupoid_def,groupoid,monoid,monad,semigroup
sets_aux/countability
orders/relations_extra,lattices,bounded_orders,minmax_orders,bounded_integers,bounded_order_props,product_orders,lift_props,ordered_subset,directed_orders,pointwise_orders,relation_iterate,skolemization,integer_enumerations,total_lattices,non_empty_bounded_sets,upper_semilattices,partial_order_props,bounded_sets,directed_order_props,chain,indexed_sets_extra,lower_semilattices,closure_ops
finite_sets/finite_sets_minmax,finite_sets_inductions
top:partial_function_props,scott,scott_continuity,pointwise_orders_aux,scott_identity_continuity,scott_composition_continuity,fixpoints,admissible,dual_fixpoints,scott_product
partial_function_props:orders@lift_props
scott:orders@directed_orders,topology@topology_def,orders@directed_order_props,topology@topology
scott_continuity:fun_preds_partial,topology@continuity_def,topology@continuity,structures@const_fun_def,topology@constant_continuity,orders@directed_orders,orders@pointwise_orders,scott
fun_preds_partial:
pointwise_orders_aux:orders@pointwise_orders,orders@directed_orders,scott_continuity
scott_identity_continuity:orders@directed_orders,scott_continuity,topology@identity_continuity
scott_composition_continuity:orders@directed_orders,scott_continuity,topology@composition_continuity
fixpoints:orders@directed_orders,orders@directed_order_props,algebra@monoid,scott,orders@chain,fun_preds_partial,scott_continuity
admissible:orders@directed_orders,fixpoints,scott,scott_continuity
dual_fixpoints:orders@directed_orders,orders@product_orders,fixpoints,admissible,scott_continuity
scott_product:orders@product_orders,scott

[ Dauer der Verarbeitung: 0.116 Sekunden  ]