chapter AFP
session CoSMed = Bounded_Deducibility_Security +
options [timeout = 1200]
sessions
Fresh_Identifiers
directories
Post_Confidentiality
Friend_Confidentiality
Friend_Request_Confidentiality
Traceback_Properties
theories
System_Specification
Post
Friend
Friend_Request
Post_Visibility_Traceback
Friend_Traceback
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.8 Sekunden
(vorverarbeitet am 2026-06-10)
¤
*© Formatika GbR, Deutschland
