{"schema_version":"ocme-public-explorer-results-v1","locale":"zh-Hant","filters":{"mko":"mko-proof","page":"2"},"total":200,"page":2,"page_count":8,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261009-advance-20261013-r04-proof-0026","number":6226,"title":{"zh-Hant":"第 6226 題：三個目標的型別與推導深度","en":"Question 6226: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"afc9533130ba2f0eaa29634509ae1289f6b3f524a61eb0981e97299c482f6973","derivation_sha256":"1549ddf0ef1eb848f8132ce546a8d6710e387b1b115d8920c4486d49c1bab79b"},{"question_id":"q-20261009-advance-20261013-r04-proof-0027","number":6227,"title":{"zh-Hant":"第 6227 題：三個目標的型別與推導深度","en":"Question 6227: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"8b03b33303456231a1aae057d9822476df804c23fdffdf8c1b2b91f6c1b3b477","derivation_sha256":"11ea2a55ced3c8d096c12f77f5c027549b06ddd52c6e44bc0d86e08978f60d25"},{"question_id":"q-20261009-advance-20261013-r04-proof-0028","number":6228,"title":{"zh-Hant":"第 6228 題：三個目標的型別與推導深度","en":"Question 6228: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"328ce1f457e5c7a2baa7508bbd5b5a94b211beaf25de59cfab4cc30b2562a0c2","derivation_sha256":"559deb51d93f208ffb66ef12f2308826ca7ff2a9dec734ea656e19f6434b0427"},{"question_id":"q-20261009-advance-20261013-r04-proof-0029","number":6229,"title":{"zh-Hant":"第 6229 題：三個目標的型別與推導深度","en":"Question 6229: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"fc297c5659c94f6c47372ad8ed2a1468cd05a8858ec5f0c5589ee4204ce68d03","derivation_sha256":"47883652cff133670a2b0296c22c6132b1ae4d60b43a59d2ba96b0357297cd86"},{"question_id":"q-20261009-advance-20261013-r04-proof-0030","number":6230,"title":{"zh-Hant":"第 6230 題：三個目標的型別與推導深度","en":"Question 6230: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"2b0a7cb0468edb5e5e5110ee2c2cb4db63a61c03e4b1e9893f9ecdcdb3cda222","derivation_sha256":"0e935bb25dca8276df180118ab59ede22a194319f2b309477575467b951013d0"},{"question_id":"q-20261009-advance-20261013-r04-proof-0031","number":6231,"title":{"zh-Hant":"第 6231 題：三個目標的型別與推導深度","en":"Question 6231: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"2fd0b4e185e10fe6f373d9297e74a829bde837657ed23dd7c0e9933bd66ca1ec","derivation_sha256":"05e5ef927dc99728c9915cde469c9940a5fe6e76e74333a34033dfd31172b942"},{"question_id":"q-20261009-advance-20261013-r04-proof-0032","number":6232,"title":{"zh-Hant":"第 6232 題：三個目標的型別與推導深度","en":"Question 6232: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"2025cd245d00628776b769cf68c9ceb77f93a8b174f261ca8f58e7df7373cb68","derivation_sha256":"717f7118a2a3567901549cff18f4f9ac48b94214da8358da8b1d723365121ba6"},{"question_id":"q-20261009-advance-20261013-r04-proof-0033","number":6233,"title":{"zh-Hant":"第 6233 題：三個目標的型別與推導深度","en":"Question 6233: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"32c7227bcd4710fdd9f1e81d252a2efd474cfb03261df88691f855387425d751","derivation_sha256":"de2c6c5be37c9551c7e2f8c4ff794e6a42a9e8be1c1392c2965a93df027378c8"},{"question_id":"q-20261009-advance-20261013-r04-proof-0034","number":6234,"title":{"zh-Hant":"第 6234 題：三個目標的型別與推導深度","en":"Question 6234: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"523ec0e69ef81149738308384c28447949f6b27d8a56b1080255ae7924b33b74","derivation_sha256":"20cf279b97fb373434e114b97cdd04c87a6d4825f29e41ff591c748ae4102979"},{"question_id":"q-20261009-advance-20261013-r04-proof-0035","number":6235,"title":{"zh-Hant":"第 6235 題：三個目標的型別與推導深度","en":"Question 6235: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"493818762534d2fec07734b486dfb4cd882503f604d1bf6f34160c7c373e23f5","derivation_sha256":"6a5b5719b94e13fb50d671fe168e8bd72eae57cc405eab7f6987bad05059a16f"},{"question_id":"q-20261009-advance-20261013-r04-proof-0036","number":6236,"title":{"zh-Hant":"第 6236 題：三個目標的型別與推導深度","en":"Question 6236: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"d4d82ae59858c5b198527c46e74b9b455d57eb633f388b78e52ff5dbd23dd67e","derivation_sha256":"d4d4a5169c8726abd6230fb397c7f982de2a24436f6a96db0d9facbac59e2cf9"},{"question_id":"q-20261009-advance-20261013-r04-proof-0037","number":6237,"title":{"zh-Hant":"第 6237 題：三個目標的型別與推導深度","en":"Question 6237: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"50fed4846144ab0fbe44f86df17fd999652b81e16a1bf45c3ff7f3556f261fa6","derivation_sha256":"c1c6af0e52312338a4229ba11295f4079626fccbcae843af12ca7753c850b8a5"},{"question_id":"q-20261009-advance-20261013-r04-proof-0038","number":6238,"title":{"zh-Hant":"第 6238 題：三個目標的型別與推導深度","en":"Question 6238: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"5d651a302798ffdb88a5c5acf8267750bdc5829b7aaaa3c6bd6105f518b8128c","derivation_sha256":"426b1627d0c5f3dea03e9f36d6769a899f65811683a9d20abbcd5546e2d1b17a"},{"question_id":"q-20261009-advance-20261013-r04-proof-0039","number":6239,"title":{"zh-Hant":"第 6239 題：三個目標的型別與推導深度","en":"Question 6239: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"dd3dce7e412a65196a07e17198c60bbf2740230d668e6f6df20943a2baa1ba60","derivation_sha256":"7785d3fa3a643e0f812552e6e1f8660fcf7529e7ec16b7b756f22e963ad19f77"},{"question_id":"q-20261009-advance-20261013-r04-proof-0040","number":6240,"title":{"zh-Hant":"第 6240 題：三個目標的型別與推導深度","en":"Question 6240: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"14cf72a8b5fb693136f577e07bea8b2a2f77186d528c1e5d3a7cef734183f05e","derivation_sha256":"f9f9365a9f30f4824472e54c5977e026c944484f7b1b80484387df0b309969b7"},{"question_id":"q-20261009-advance-20261013-r04-proof-0041","number":6241,"title":{"zh-Hant":"第 6241 題：三個目標的型別與推導深度","en":"Question 6241: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"71feaefdcf7baa297386239b73d77960d089ea71680275f7702a758e6a36694b","derivation_sha256":"a4e3730d1eb4b7cf5e7873031d7159f3dcba8108ab5c38eae5eb3bc54faf27dd"},{"question_id":"q-20261009-advance-20261013-r04-proof-0042","number":6242,"title":{"zh-Hant":"第 6242 題：三個目標的型別與推導深度","en":"Question 6242: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"e283ef9d7fe9092a515dbf33a527792e26fe35ecf58ac2a7d3eca80e779333ce","derivation_sha256":"e637f3dcfee0195309a38dc5119743b067b6c409430752a809675d6511fc21e3"},{"question_id":"q-20261009-advance-20261013-r04-proof-0043","number":6243,"title":{"zh-Hant":"第 6243 題：三個目標的型別與推導深度","en":"Question 6243: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"efcd51d8763e7c5885fb177a1b33523d925c26ec83be3f92f6540fb227731926","derivation_sha256":"35b24a2c3c25ec272577c0a837dcf72fa440b1807df49c2a633c090fb3f83ef3"},{"question_id":"q-20261009-advance-20261013-r04-proof-0044","number":6244,"title":{"zh-Hant":"第 6244 題：三個目標的型別與推導深度","en":"Question 6244: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"dcc287ba03848b0477ef3c7fa52fc442b93bdd219da91859493426bab7ec07ff","derivation_sha256":"55713d8e3c61dfb08c717529f95fa2d332c1b27fee8ae46b12793375e6c282f0"},{"question_id":"q-20261009-advance-20261013-r04-proof-0045","number":6245,"title":{"zh-Hant":"第 6245 題：三個目標的型別與推導深度","en":"Question 6245: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"e96576a90016a117d1901ea77c09f17d5ad70566e70654911b917b33b225ca8f","derivation_sha256":"9671029adc2ce76e4ff3844c0eee6eb4f44c19f1e15de39e2401fe7183503e75"},{"question_id":"q-20261009-advance-20261013-r04-proof-0046","number":6246,"title":{"zh-Hant":"第 6246 題：三個目標的型別與推導深度","en":"Question 6246: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"12cae3cacd1255eb2ad7fdb071e3d494d3f951884931e1878a66f541af3d9fac","derivation_sha256":"b5828eb617662a19ee73b0049a153dd7965d5245da153b39240ef3baa65d45d8"},{"question_id":"q-20261009-advance-20261013-r04-proof-0047","number":6247,"title":{"zh-Hant":"第 6247 題：三個目標的型別與推導深度","en":"Question 6247: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"7831166beaf2052c2ec533d8e22dcf896dff7f563d9fed9d8dd3ac8d30c709aa","derivation_sha256":"b7d3ecce81220d1d2093d4d5c8b38559e7f6aa7eeb200e9daee53dbcd56619cd"},{"question_id":"q-20261009-advance-20261013-r04-proof-0048","number":6248,"title":{"zh-Hant":"第 6248 題：三個目標的型別與推導深度","en":"Question 6248: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"a3cab092cc3ea2aa9c4d92808c27ccc1435e5a3a090c74171ee5178fbd1f1dcb","derivation_sha256":"04c9c27f71ec821ffec3a25ed4a2512726684a94ef4aa1eb90895e74a856864c"},{"question_id":"q-20261009-advance-20261013-r04-proof-0049","number":6249,"title":{"zh-Hant":"第 6249 題：三個目標的型別與推導深度","en":"Question 6249: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"cd5254c201bb689b66d6aefc46174e2421af6b0b9c7b238f05ef281428a7ea91","derivation_sha256":"115571a32f356e7c213fa5e81edca0b6c4afdc24bd7fba3bb63e50c57a679571"},{"question_id":"q-20261009-advance-20261013-r04-proof-0050","number":6250,"title":{"zh-Hant":"第 6250 題：三個目標的型別與推導深度","en":"Question 6250: Typed MP Goals and Minimum Depths"},"family_id":"qf-density13-proof-horn-goal-check","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":"0725c1d4ec5acf9aab51adc0b0a167b021953fbb94fbe9a5b52f9772c8b4f13f","derivation_sha256":"598ad2f27704f836cb533f8e6f1899c29a0cb61b09afe5c15edd7dba3bdfbc07"}]}