id: fd1b97f9f4414644a23c46979c234d95
parent_id: 651f68928c524fd99f39048f0ab8d267
item_type: 1
item_id: c66c0433c6a14de9b9a40e5a7316e382
item_updated_time: 1696516254329
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"lations.\"],[1,\"\\\n\\\nThen, we are left with a polymorphic first-order problem. We now need to encode polymorphic types.\\\n\\\n\"],[0,\"\\\n### Pro\"]],\"start1\":17425,\"start2\":17425,\"length1\":16,\"length2\":118}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-10-05T14:40:00.079Z
created_time: 2023-10-05T14:40:00.079Z
type_: 13