| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/Bernstein/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 5 kB |
|
Quellcode-Bibliothek complete_upper_semilattices.prf Sprache: Lisp |
|||||||||
|
(complete_upper_semilattices
(every_set_is_least_bounded_above 0 (every_set_is_least_bounded_above-1 nil 3314557480 ("" (skolem!) (("" (typepred "<=") (("" (expand "complete_upper_semilattice?") (("" (flatten) (("" (inst?) nil nil)) nil)) nil)) nil)) nil) ((<= formal-const-decl "(complete_upper_semilattice?[T])" complete_upper_semilattices nil) (complete_upper_semilattice? const-decl "bool" bounded_orders nil) (pred type-eq-decl nil defined_types nil) (T formal-type-decl nil complete_upper_semilattices nil) (NOT const-decl "[bool -> bool]" booleans nil) (bool nonempty-type-eq-decl nil booleans nil) (boolean nonempty-type-decl nil booleans nil) (set type-eq-decl nil sets nil)) nil))) ¤ 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.8Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
