{"schemaVersion":1,"target":{"type":"reading","id":"11cb306686b09d600c53fef381fe12e3f456c44061c0e2e38617281a8ec77405","revision":"983a77f9-814a-4969-8414-3556e2d7866e","revisionKind":"publication-id","title":"arXiv cs.AI: Authors propose theorem generation from contradictions","url":"https://escapemeridian.com/readings/arxiv-cs-ai-authors-propose-theorem-generation-from-11cb3066"},"source":{"type":"source","id":"https://arxiv.org/abs/2611.00269","revision":"18c9d9e68c31fa689849561742f6dfebfca0eedee2af32a616054a0d954ded9a","revisionKind":"sha256-source-text","title":"Automated Theorem Generation in First-Order Logic by Construction from Triangular Standard Contradictions","url":"https://arxiv.org/abs/2611.00269"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}