|
(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)))
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
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.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
