{"schema_version":"ocme-public-explorer-results-v1","locale":"zh-Hant","filters":{"batch":"batch-20261009-advance-20261013-r04-proof-foundations","page":"3"},"total":100,"page":3,"page_count":4,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261009-advance-20261013-r04-proof-0001","number":6251,"title":{"zh-Hant":"第 6251 題：有限MP的最短推導深度","en":"Question 6251: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f9ecb4cf01d5bdf1f728f86565faaf66f991cc82845594d4026ed977a48d5363","derivation_sha256":"82ce00b05903bfe8f0931f8d479fb7106711799a75b8e8acf548ce4f940349e4"},{"question_id":"q-20261009-advance-20261013-r04-proof-0002","number":6252,"title":{"zh-Hant":"第 6252 題：有限MP的最短推導深度","en":"Question 6252: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f8adf3e26587eacb026b9848cb29faa8dad2a43398bd81429be5986645f8735c","derivation_sha256":"dba38c6befad6cb27c593bdd6a40101790b05dd398e5d56032e4541783cc811c"},{"question_id":"q-20261009-advance-20261013-r04-proof-0003","number":6253,"title":{"zh-Hant":"第 6253 題：有限MP的最短推導深度","en":"Question 6253: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"c07d8f03eb0f5efffacc20f67f2b068a2863931b2012519c77a98caf3cc2d00f","derivation_sha256":"789323f9a04c6dffc656bbc2ae0911725a02661eeb54408443c88a354fb965d9"},{"question_id":"q-20261009-advance-20261013-r04-proof-0004","number":6254,"title":{"zh-Hant":"第 6254 題：有限MP的最短推導深度","en":"Question 6254: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"4bffa989b18c7cc9bf0971b5e7b053efc036cf916cd1e213ba38b0d38a6ad248","derivation_sha256":"e07a45d01ad055732102c4ec1df8e628fb1930398459a2d2652de4e7cba3f0f6"},{"question_id":"q-20261009-advance-20261013-r04-proof-0005","number":6255,"title":{"zh-Hant":"第 6255 題：有限MP的最短推導深度","en":"Question 6255: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"ac8350b1d7d64960f047bc02a5ae724bc1bbc381092dfb85f063774668a5e172","derivation_sha256":"b3ee419e8e16b5aacd156981df959014ed66fc43d44c9b2a531b5ebb6c467e44"},{"question_id":"q-20261009-advance-20261013-r04-proof-0006","number":6256,"title":{"zh-Hant":"第 6256 題：有限MP的最短推導深度","en":"Question 6256: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"7dd14db47fd2007237f793cc0fee6a69a3cd1e22fe648244cfaaf9b3da59fe7e","derivation_sha256":"9ac0adddf7ea97f6b26d613a34e85b478d45b791c6290c94ddb8082a86e562d5"},{"question_id":"q-20261009-advance-20261013-r04-proof-0007","number":6257,"title":{"zh-Hant":"第 6257 題：有限MP的最短推導深度","en":"Question 6257: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"dd6cecdde741c1e3fb9b5ea9d10113742f559a8fc927b1fa3bcd71c3116b0b72","derivation_sha256":"4e610780063f0124a1012672dc50057c3fbe3ef4842196c536f6bd33fc3fe57d"},{"question_id":"q-20261009-advance-20261013-r04-proof-0008","number":6258,"title":{"zh-Hant":"第 6258 題：有限MP的最短推導深度","en":"Question 6258: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"dae0fa12c38206abb21c9094d1c1e26d898d354866772593afdb9362bd1aa4ea","derivation_sha256":"4acf41fe97ac8a2fdfe8ff64dbb117163370eef70cb802dbd1f6d8432fb8b693"},{"question_id":"q-20261009-advance-20261013-r04-proof-0009","number":6259,"title":{"zh-Hant":"第 6259 題：有限MP的最短推導深度","en":"Question 6259: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"a6a2a3cbe74f47844eb057b022503c49f95ddd5080c6767ec6df476119775960","derivation_sha256":"6f0ae1c25bacd54bcb475b3b625d1fc27336ab4eb93e0829a4f2b31b32ecb0c0"},{"question_id":"q-20261009-advance-20261013-r04-proof-0010","number":6260,"title":{"zh-Hant":"第 6260 題：有限MP的最短推導深度","en":"Question 6260: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"5ddcf62fb51b9d89e5a737f317cecc0f7e874a39f04985418fd9245003993b22","derivation_sha256":"152857fac98d43f222d8f7e185642f5327e164b3c1fed8cc3c1134aab731a221"},{"question_id":"q-20261009-advance-20261013-r04-proof-0011","number":6261,"title":{"zh-Hant":"第 6261 題：有限MP的最短推導深度","en":"Question 6261: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8c36131bccc3037b92b08c62c32ed9a776842cd67b3deb07093299a924212601","derivation_sha256":"cccc2427c06c1dd3cdeb4224785c84abb94edbf278af01a72e0a6dc13b6b0168"},{"question_id":"q-20261009-advance-20261013-r04-proof-0012","number":6262,"title":{"zh-Hant":"第 6262 題：有限MP的最短推導深度","en":"Question 6262: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"4e68fee1ebaa214f69c9e747c8f7684ad2202bda0f7757eb72ec9eb88f0a95d4","derivation_sha256":"057426882ae5889bba0878a8d647342e1afa78787adef68677976af91cbbd75e"},{"question_id":"q-20261009-advance-20261013-r04-proof-0013","number":6263,"title":{"zh-Hant":"第 6263 題：有限MP的最短推導深度","en":"Question 6263: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"3d94aaff78b6826ffc5f483c80c6dd4b929b90c244aa5c2ff49c3e48c8b4c37b","derivation_sha256":"30b3151a26f23a6404ede8364e1f4609c14494ab58e91094f1cb5626671f286b"},{"question_id":"q-20261009-advance-20261013-r04-proof-0014","number":6264,"title":{"zh-Hant":"第 6264 題：有限MP的最短推導深度","en":"Question 6264: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"9a10371673a93556332fb0857a405a96c871ab07d1079d36346c5b3847c3aad6","derivation_sha256":"7573a59ae30f70355332c3b442be7bb73ede37004f6f5b616f8e74b28ff3e166"},{"question_id":"q-20261009-advance-20261013-r04-proof-0015","number":6265,"title":{"zh-Hant":"第 6265 題：有限MP的最短推導深度","en":"Question 6265: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"7d4d8cb035013d10fe9fadad115f56143c36574d8abf79a5a8c511b57883b7b1","derivation_sha256":"f0aafd1c9f370b7885f757276e60cb8ffd42410c2c34150d82e859ffb9520ed3"},{"question_id":"q-20261009-advance-20261013-r04-proof-0016","number":6266,"title":{"zh-Hant":"第 6266 題：有限MP的最短推導深度","en":"Question 6266: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"ac417f3b47a7106f6fb4f6f086441cd66376c2ee358bde0448c017cc9966ff06","derivation_sha256":"cc23ff8e816fb05d74618f9cce76d84c510f0459eb4ef4ee0adf226c0b56f3e5"},{"question_id":"q-20261009-advance-20261013-r04-proof-0017","number":6267,"title":{"zh-Hant":"第 6267 題：有限MP的最短推導深度","en":"Question 6267: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"ced3400169ae3be78dd67d4005be6b9691859d5d3eb19175fc974207e1786012","derivation_sha256":"fb4f900c193821375671d2952b812096827f4781337ebf2ff4c5ac3a0ff20911"},{"question_id":"q-20261009-advance-20261013-r04-proof-0018","number":6268,"title":{"zh-Hant":"第 6268 題：有限MP的最短推導深度","en":"Question 6268: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"ca1c10b86bcf5dca71aba63a0b9443e783be587809a658fd42cb803a0b4813d4","derivation_sha256":"fcbd96adbae1826be7f614dcdabef6887be7807d26564537b2e5af643049dbb9"},{"question_id":"q-20261009-advance-20261013-r04-proof-0019","number":6269,"title":{"zh-Hant":"第 6269 題：有限MP的最短推導深度","en":"Question 6269: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"d1acb2abbf792e708cdbd3c7bf98cdbf9b948b2ed73eac9165c7c82c805421f2","derivation_sha256":"bdf2952158a021fece5d83dd362613d48a596fe5c8651fa51ba57d304e51212c"},{"question_id":"q-20261009-advance-20261013-r04-proof-0020","number":6270,"title":{"zh-Hant":"第 6270 題：有限MP的最短推導深度","en":"Question 6270: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"4605ce45bab21d05a847de5d139a36818ec002a0c75c23fdb82eb77d78bdaa18","derivation_sha256":"eac469eaa9008625fe8b925adbdab9938aae7e83302812e3a67946c074baded1"},{"question_id":"q-20261009-advance-20261013-r04-proof-0021","number":6271,"title":{"zh-Hant":"第 6271 題：有限MP的最短推導深度","en":"Question 6271: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"49bcadc1f1142181ec4bc0454e5738c26e19d6862301bed78650e11ff2f89e13","derivation_sha256":"8b12094e60ebb6f6e1b24d3e14953d2ca34bc3cef2e6034a25ecb36b4e3f5975"},{"question_id":"q-20261009-advance-20261013-r04-proof-0022","number":6272,"title":{"zh-Hant":"第 6272 題：有限MP的最短推導深度","en":"Question 6272: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"9e826373b584c39bb69db12d60dd274c48825d680e3bdf31be5ebdd7500dc428","derivation_sha256":"c7e233ba4254576d8c99e99466ae22f2769187514172acb59833eaabcdb603a4"},{"question_id":"q-20261009-advance-20261013-r04-proof-0023","number":6273,"title":{"zh-Hant":"第 6273 題：有限MP的最短推導深度","en":"Question 6273: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"e3155996303b1db7018db0a6f55f4c25c8c99a7464eb98780f9e2d86faf76af2","derivation_sha256":"c2a9310a5761b544510564b40163c5f4c414c86ff5cc01f962592182566424d8"},{"question_id":"q-20261009-advance-20261013-r04-proof-0024","number":6274,"title":{"zh-Hant":"第 6274 題：有限MP的最短推導深度","en":"Question 6274: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"64be13dcf7b4cdfca49a658da124ed5583ab22a3bfe0458e28c4c57db8254049","derivation_sha256":"a6e1896ed60de2f34840ba8f558c1dd5efd885fc4224716910610bf8f8c045b2"},{"question_id":"q-20261009-advance-20261013-r04-proof-0025","number":6275,"title":{"zh-Hant":"第 6275 題：有限MP的最短推導深度","en":"Question 6275: All Minimum Depths in a Given MP Protocol"},"family_id":"qf-density13-proof-horn-min-depths","batch_id":"batch-20261009-advance-20261013-r04-proof-foundations","mko_ids":["mko-proof"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"37351f9164c80317608bf4f925d0514110e00a2f36ce20a14962e0b0d745be0f","derivation_sha256":"d6a3dd6d3c8c7c25c0236b2ffeb03a42ebf7c4eb2e096adbd8e8112301021fab"}]}