id: 149b04507bbb41a2b53284beb2c3fe27
parent_id: 96c5eddde45443b79b39b81dcd8bf72d
item_type: 1
item_id: fc9e4d47857b4515a6b6531b36cf3691
item_updated_time: 1683565656546
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"'s 16-39\"],[1,\"\\\n\\\n## On soundness/completeness\\\n\\\nThe use of \\\"sound\\\" and \\\"complete\\\" seems to differ between papers, or small nuances make them mean the opposite in certain scenarios.\\\n\\\nClassically, the terms refer to a correspondence between proof systems and semantic truth, namely\\\n\\\nSoundness: `M |- phi` implies M |= phi\\\nM |= phi implies M |- phi\"]],\"start1\":3302,\"start2\":3302,\"length1\":8,\"length2\":337}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-05-08T17:07:38.207Z
created_time: 2023-05-08T17:07:38.207Z
type_: 13