Now you are in the subtree of Misc public knowledge tree.
Correctness Criteria for Replicated Database Systems with Snapshot Isolation Replicas
Export
Export will produce a single file with all the subgraph content. It will have *.html extension and will be viewable with/printable from your browser. The source text (except for a few html tags) will remain in markdown, just as you created it. You can convert it easily into format of your choosing, for details see Export from Knowen node.