id: b2cc312897c44c2795b6d199093e98e1
parent_id: 5224880170ca41119caa3f7e9bb866f6
item_type: 1
item_id: c66c0433c6a14de9b9a40e5a7316e382
item_updated_time: 1708530498704
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"on 2.2:\\\n\"],[1,\"\\t- Consistent form for ITP and ATP section, ordering\\\n\\t- Separate comparison section?\\\n- Section 3:\\\n\\t- Mention Mizar efforts? Was also in the early 2000s\\\n\"],[0,\"\\t- \\\n\\\n# P\"]],\"start1\":1588,\"start2\":1588,\"length1\":16,\"length2\":168}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2024-02-21T15:50:55.689Z
created_time: 2024-02-21T15:50:55.689Z
type_: 13