| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/algebra/ (PVS Prover Version 6.0.9©) Datei vom 28.9.2014 mit Größe 532 B |
|
Quelle division_ring_def.prfSprache: 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.9 Sekunden (vorverarbeitet am 2026-06-14) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09