id: 0b65464d7cfa412f9db14a9e10dfa1dd
parent_id: b2cc312897c44c2795b6d199093e98e1
item_type: 1
item_id: c66c0433c6a14de9b9a40e5a7316e382
item_updated_time: 1708531855617
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"n 3:\\\n\\t- \"],[1,\"~~\"],[0,\"Mention \"]],\"start1\":1689,\"start2\":1689,\"length1\":16,\"length2\":18},{\"diffs\":[[0,\"ly 2000s\"],[1,\"~~\"],[0,\"\\\n\\t- \"],[1,\"work out challenges (a tricolon would be ideal ;)\\\n\\t- clearer mention of SOTA?\\\n- Section 4:\\\n\\t- work out learning methods\\\n\\t- mention currently used tech (MaSh/MeSh for Sledgehammer, k-nn, Naive Bayes for CoqHammer)\"],[0,\"\\\n\\\n# Pape\"]],\"start1\":1741,\"start2\":1741,\"length1\":20,\"length2\":234}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2024-02-21T16:10:55.686Z
created_time: 2024-02-21T16:10:55.686Z
type_: 13