{"version":1,"work":"model-theory-normalization","title":"Model-Theory Normalization","source_revision":"cdaf825cc0547fe58973b1770b7cba2fff9bcfa4","sources":[{"repository_path":"research/model-theory-normalization/FORMALIZATION_COVERAGE.md","file_url":"documents/files/d7c6ba41026bfed320b3775c6039f331ba40e07d/FORMALIZATION_COVERAGE.md","url":"read/model-theory-normalization/formalization-coverage-951c40869086.html","sha256":"7f8e084736e493aa906eb71983dac4bccaa143ca334c6740a25517fe163fb308","git_blob_sha1":"d7c6ba41026bfed320b3775c6039f331ba40e07d","size":3137,"source_url":"read/model-theory-normalization/formalization-coverage-951c40869086-source.html","passages":0,"macros":{}},{"repository_path":"research/model-theory-normalization/README.md","file_url":"documents/files/d729e4ff94e8247867559c7c3a6abe9a825ff00a/README.md","url":"read/model-theory-normalization/readme-70e931d500cd.html","sha256":"4e6b5b4a3b2441bfb27e59e3be409c218d2ac30a4d041df14c5c3a2bfe903a7b","git_blob_sha1":"d729e4ff94e8247867559c7c3a6abe9a825ff00a","size":1918,"source_url":"read/model-theory-normalization/readme-70e931d500cd-source.html","passages":0,"macros":{}},{"repository_path":"research/model-theory-normalization/RESULTS.md","file_url":"documents/files/3cee2d3bbb09e041d773e4212cd77ca266531e5e/RESULTS.md","url":"read/model-theory-normalization/results-af93afa10757.html","sha256":"dd34ab5f44e1a2b3765bb9cf84454b4bead501831b853fa953bcab24e1105843","git_blob_sha1":"3cee2d3bbb09e041d773e4212cd77ca266531e5e","size":3427,"source_url":"read/model-theory-normalization/results-af93afa10757-source.html","passages":0,"macros":{}}],"pdfs":[],"passages":[],"entries":[]}