|
(protocol
(protocol_rw 0
(protocol_rw-1 nil 3396695250
(";;; Proof protocol_rw-1 for formula k_protocol.protocol_rw"
(skosimp*)
((";;; Proof protocol_rw-1 for formula k_protocol.protocol_rw"
(expand "protocol")
((";;; Proof protocol_rw-1 for formula k_protocol.protocol_rw"
(propax) nil))))
";;; developed with shostak decision procedures")
((protocol const-decl "bool" protocol nil)
(protocol const-decl "bool" protocol nil))
nil)))
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
