| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/orders/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 870 B |
|
Quelle order_strength.prf Sprache: Lisp |
|||||||||
|
(order_strength
(stronger_reflexive 0 (stronger_reflexive-1 nil 3314716647 ("" (grind) nil nil) ((T formal-type-decl nil order_strength nil) (member const-decl "bool" sets nil) (subset? const-decl "bool" sets nil) (reflexive? const-decl "bool" relations nil)) shostak)) (weaker_irreflexive 0 (weaker_irreflexive-1 nil 3314716652 ("" (grind) nil nil) ((T formal-type-decl nil order_strength nil) (member const-decl "bool" sets nil) (subset? const-decl "bool" sets nil) (irreflexive? const-decl "bool" relations nil)) shostak)) (weaker_antisymmetric 0 (weaker_antisymmetric-1 nil 3314716655 ("" (grind :if-match all) nil nil) ((T formal-type-decl nil order_strength nil) (member const-decl "bool" sets nil) (subset? const-decl "bool" sets nil) (antisymmetric? const-decl "bool" relations nil)) shostak))) ¤ Dauer der Verarbeitung: 0.19 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28