{"version":1,"work":"logical-resolution","title":"Logical Resolution","source_revision":"cdaf825cc0547fe58973b1770b7cba2fff9bcfa4","sources":[{"repository_path":"research/logical-resolution/FORMALIZATION_COVERAGE.md","file_url":"documents/files/24a684207aba409a8c9fd4540cd5252c7dd72f3c/FORMALIZATION_COVERAGE.md","url":"read/logical-resolution/formalization-coverage-092291bd907d.html","sha256":"818031ca0a95d23052302f5d1f215919b2298b26e1e0e896ffd527536934508a","git_blob_sha1":"24a684207aba409a8c9fd4540cd5252c7dd72f3c","size":2944,"source_url":"read/logical-resolution/formalization-coverage-092291bd907d-source.html","passages":0,"macros":{}},{"repository_path":"research/logical-resolution/README.md","file_url":"documents/files/92f5a6b92ebcc5828b5cdd5b158dcd4c465b3b39/README.md","url":"read/logical-resolution/readme-ca8d3640e634.html","sha256":"a67983e581e44be8cefa5e0f5d0856157698c73cab51e6fed20cc9038113509d","git_blob_sha1":"92f5a6b92ebcc5828b5cdd5b158dcd4c465b3b39","size":3055,"source_url":"read/logical-resolution/readme-ca8d3640e634-source.html","passages":0,"macros":{}},{"repository_path":"research/logical-resolution/source_records/PARENT_FORMALIZATION_COVERAGE.md","file_url":"documents/files/a39f08a95a5a888b83444b35858def0032fa80ba/PARENT_FORMALIZATION_COVERAGE.md","url":"read/logical-resolution/parent-formalization-coverage-54c492dd28c5.html","sha256":"ab4d07a88fe7f9ed6f38c98aa1dfe1ae3f3d399a20b6382fcf8ce0bc41487907","git_blob_sha1":"a39f08a95a5a888b83444b35858def0032fa80ba","size":3219,"source_url":"read/logical-resolution/parent-formalization-coverage-54c492dd28c5-source.html","passages":0,"macros":{}}],"pdfs":[],"passages":[],"entries":[]}