id: fbf12a0593c442a3bfb46c323c075872
parent_id: 4279660385cc454a8e3cb6d779af1671
item_type: 1
item_id: c66c0433c6a14de9b9a40e5a7316e382
item_updated_time: 1695996409348
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"ul:\\\n\\\n- [\"],[-1,\" \"],[1,\"X\"],[0,\"] Sort i\"]],\"start1\":1326,\"start2\":1326,\"length1\":17,\"length2\":17},{\"diffs\":[[0,\", 2011)\\\n\"],[1,\"\\t- Could be useful - is at least a good introduction to monotonicity.\\\n\"],[0,\"- [X] Th\"]],\"start1\":1409,\"start2\":1409,\"length1\":16,\"length2\":86},{\"diffs\":[[0,\"s us to \"],[-1,\"\\\n\"],[1,\"constrain sorts.\\\n Additionally, any valid or unsatisfiable formula is monotone - because the formula can be satisfied under no domain or all domains, it can become no more satisfied as we add elements to the domain.\\\n \\\n For the precise calculi, see the paper.\"],[0,\"\\\n\\\n## Arc\"]],\"start1\":10490,\"start2\":10490,\"length1\":17,\"length2\":274}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-09-29T14:32:26.670Z
created_time: 2023-09-29T14:32:26.670Z
type_: 13