id: 7b10e57059d2425d84843dde16c1f9b8
parent_id: 40473d215d7340999075c429b822f599
item_type: 1
item_id: c66c0433c6a14de9b9a40e5a7316e382
item_updated_time: 1695992338977
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"ation.\\\n\\\n\"],[1,\"### Standard translations\\\nThe authors give three options for translating sorted FOL to unsorted FOL from \\\"automated reasoning folklore\\\" (lol):\\\n  - Sort predicates (type guards in EMPT); \\\\forall M. Pmonkey(M) -> owns(M, banana1(M)) etc\\\n  - Sort functions (type tags in EMPT)\\\n  - Sort erasure (type erasure? in EMPT) **unsound**\\\n \\\n \\\n\\\n\"],[0,\"\\\n\\\n## Arc\"]],\"start1\":9586,\"start2\":9586,\"length1\":16,\"length2\":348}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-09-29T12:59:33.435Z
created_time: 2023-09-29T12:59:33.435Z
type_: 13