| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/sets_aux/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 515 B |
|
Quelle sets_lemmas_extra.prf Sprache: Lisp |
|||||||||
|
(sets_lemmas_extra
(disjoint_commutative 0 (disjoint_commutative-1 nil 3319898742 ("" (skosimp) (("" (expand "disjoint?") (("" (rewrite "intersection_commutative") nil nil)) nil)) nil) ((disjoint? const-decl "bool" sets nil) (T formal-type-decl nil sets_lemmas_extra nil) (set type-eq-decl nil sets nil) (bool nonempty-type-eq-decl nil booleans nil) (boolean nonempty-type-decl nil booleans nil) (intersection_commutative formula-decl nil sets_lemmas nil)) shostak))) ¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28