| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/algebra/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 532 B |
|
Quelle division_ring_def.prf Sprache: Lisp |
|||||||||
|
(division_ring_def
(division_ring?_TCC1 0 (division_ring?_TCC1-1 nil 3293998727 3293998889 ("" (skosimp*) (("" (typepred "x1!1`1") (("" (typepred "x1!1`2") (("" (postpone) nil nil)) nil)) nil)) nil) unfinished nil 133139 590 t shostak)) (division_ring?_TCC2 0 (division_ring?_TCC2-1 nil 3293998727 3293998727 ("" (postpone) nil nil) unfinished nil 6 0 nil shostak)) (division_ring?_TCC3 0 (division_ring?_TCC3-1 nil 3293998727 3293998727 ("" (postpone) nil nil) unfinished nil 6 0 nil shostak))) ¤ Dauer der Verarbeitung: 0.2 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28