{"schema_version":"ocme-public-explorer-results-v1","locale":"zh-Hant","filters":{"batch":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations"},"total":100,"page":1,"page_count":4,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0026","number":9901,"title":{"zh-Hant":"第 9901 題：合成證明項判定","en":"Question 9901: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"621a21c4cb16665696c1c01ce374a034e3fe648f58f1ceb4ebf2f4d39cfa11c9","derivation_sha256":"fe25b24320b635f37d5ad99f2ba9c1767ebe7f0490b2ac4f2c7a47aa85d53ab8"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0027","number":9902,"title":{"zh-Hant":"第 9902 題：合成證明項判定","en":"Question 9902: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"22180bc4b2f829827aeedb64f87dfd3665866e45f456f715eaaa1c9545712dbd","derivation_sha256":"bf30dd7f2d2dca2ea3b8f0cd9e33c575dbbdd45c3223de20548fb9d84e4a589b"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0028","number":9903,"title":{"zh-Hant":"第 9903 題：合成證明項判定","en":"Question 9903: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f53d91e665563f3e436a6434e3edf65519e40e994485b987bb4fd256297b6b87","derivation_sha256":"26553a484d5b96b1fe1becaac2dddc3d11a99ae34c326509d812f806ec89bde1"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0029","number":9904,"title":{"zh-Hant":"第 9904 題：合成證明項判定","en":"Question 9904: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"0219b3589d8212320687838f73868a55a155a55bc7f4fb0bb39a4181f5feb15d","derivation_sha256":"77b75b5b36aeebd10e49ba4cf0079605be70e98bd1f308c0cc778d43b89e857f"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0030","number":9905,"title":{"zh-Hant":"第 9905 題：合成證明項判定","en":"Question 9905: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"08c39d11ecf967563043af6c3e55681ee40679836882d0d7cd5f064c958be3a8","derivation_sha256":"2e49f8eecbaf7c256c3ef1d3b826f15c405ece6e005daaeee74ca208288d7eeb"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0031","number":9906,"title":{"zh-Hant":"第 9906 題：合成證明項判定","en":"Question 9906: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"d0b3552997462ac9a9b4ca5450ac8365d920b86d9bedb504d9742f7d51aaac4e","derivation_sha256":"61a48790ebd4315806dbd7bfd4b1bcdf008515285f5366b32c4f519e9d290fed"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0032","number":9907,"title":{"zh-Hant":"第 9907 題：合成證明項判定","en":"Question 9907: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"87051255f9853baf3b67c6058358fec330fd63c4fa4c67f0149e181992699c2c","derivation_sha256":"25c0101c1e8f23b78f815fbaf2daf3d78a974cea914b7c27fb837bbd83b14b3b"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0033","number":9908,"title":{"zh-Hant":"第 9908 題：合成證明項判定","en":"Question 9908: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"c93e2861bb5b15f3c9afa8b5ae701d6a9c6a9d145823015ef3d4c7e5e840d1dc","derivation_sha256":"d70525015e7d824c746a07c9d854a006540ba487c43821b413090b59a3de7ed2"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0034","number":9909,"title":{"zh-Hant":"第 9909 題：合成證明項判定","en":"Question 9909: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"3a8390c36ddabb6385a5de10a344b41ec24acdabe6e3c7692723e279fd442072","derivation_sha256":"02fb1598b13d7a34daafadb005c3addcc9cb9491a5987e7e29e8afd20582342d"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0035","number":9910,"title":{"zh-Hant":"第 9910 題：合成證明項判定","en":"Question 9910: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"f1ef2de8c10226ddc8e7c59ae7adfdcd0c3ebc3b255679424cde529aacf15dcb","derivation_sha256":"d8fdc1ba584906bc795e76e984c95982a906a52c07d3606df12e8f26a835e2b9"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0036","number":9911,"title":{"zh-Hant":"第 9911 題：合成證明項判定","en":"Question 9911: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"57bd562c8126ddbd6d808273f1055953ef7ec8dd211bd4edb347116464597e69","derivation_sha256":"ec45e39ba4273edebaa5fc69db5421b4517dd64e68e791728cdd65730c7d03e1"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0037","number":9912,"title":{"zh-Hant":"第 9912 題：合成證明項判定","en":"Question 9912: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"6ecdec70f3c7abf0a558b59c8ce003185dea34c21e5cbf3fb442330921524764","derivation_sha256":"7da218a6df4356469bba2c4d4aed26ff348a7f6c8f847e4594d226701ebef45d"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0038","number":9913,"title":{"zh-Hant":"第 9913 題：合成證明項判定","en":"Question 9913: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"c0ab3969c0e16bf8a4371d68ab768e4488489cb05ba8ecfd1825379bd5b39eee","derivation_sha256":"f613505a7131e6fbbdc1906d1e78ed7e82f2e14d1f7f2a41b1638090f00a3bd5"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0039","number":9914,"title":{"zh-Hant":"第 9914 題：合成證明項判定","en":"Question 9914: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"310185944942b601bea000e95866107970c420120d0388f8f6d470b8762783b0","derivation_sha256":"c25299088b3194cfd73ffdcbe0542cacd990faa3723cf4e64bd47ff89ec7c51f"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0040","number":9915,"title":{"zh-Hant":"第 9915 題：合成證明項判定","en":"Question 9915: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"7b52da623570959d513049082db05dafa8c5fee72b5b6721eaf5e8d182d270a5","derivation_sha256":"1c6f4761d447d7e5238211fba91996755f069b50c190de3fef1330f5c1d6fffc"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0041","number":9916,"title":{"zh-Hant":"第 9916 題：合成證明項判定","en":"Question 9916: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"5f3ebf66a0c43098b15346308df5f805abaa97c2dd5e76e130ec3bac0ce542e7","derivation_sha256":"bf6f53d70aaf5561d8f3385ecc81054d6e42fe052049213e8f3cf6b8ef4df21d"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0042","number":9917,"title":{"zh-Hant":"第 9917 題：合成證明項判定","en":"Question 9917: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"1aed9b2fb6e17544a0e4eb2e1f5cf5d5861dc94deecb7cac5ec09d41a3c2df6b","derivation_sha256":"8b11d0fbf58785f40fdfd2b662534d847a54d7e77e800ec3214e08e0d7459989"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0043","number":9918,"title":{"zh-Hant":"第 9918 題：合成證明項判定","en":"Question 9918: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"4273a2aac3ef6566f17a7e8279b7ffb237c0e1e169705edc3406b3acce69460d","derivation_sha256":"63bab4b60ac6c98fdbaf6e945469e28b5f35c2faa2f7489eae64f9328bf7ecb7"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0044","number":9919,"title":{"zh-Hant":"第 9919 題：合成證明項判定","en":"Question 9919: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8e7746f43d4b0997fffc41fc6bdf401ad2172a7256b36e64b4acc3edf0497791","derivation_sha256":"4ff684faf476b1ea00723df2b8efcad6cd6f94c326ac57303e9087500dca92c9"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0045","number":9920,"title":{"zh-Hant":"第 9920 題：合成證明項判定","en":"Question 9920: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"47ac0a9db0158a456e7f04bfd65fc0f6c807ca4675d664da0befd91f3ecfc551","derivation_sha256":"a2bd89a848a4ddf297bfd2570975a23af95eaebdce19c2dbffe6be63385322b8"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0046","number":9921,"title":{"zh-Hant":"第 9921 題：合成證明項判定","en":"Question 9921: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"6c405d84c13f636540d8de1075586b84897f114f52f5ec4fc8245237eb65060d","derivation_sha256":"6998de4fd7f18137d31a2d5305213acd6a5669b1c8e8c24bf5ed63b61c0ac271"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0047","number":9922,"title":{"zh-Hant":"第 9922 題：合成證明項判定","en":"Question 9922: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"172ec88cefad71fa68215b2992bfb49d85f2902f0b6b07be0f661bda4f4388ad","derivation_sha256":"41c1d77ec4bc5bea35ed80ba22a7f7aa04b11f26882437a74edf978d2199820a"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0048","number":9923,"title":{"zh-Hant":"第 9923 題：合成證明項判定","en":"Question 9923: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8cc80498d810f679679f2c31a487a4a7adc6a89fda37baedd73327f490fd5776","derivation_sha256":"8acfae6ac84f3e62844119853236b4db73fac0fddba7eac76c3380cf3e24e5c3"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0049","number":9924,"title":{"zh-Hant":"第 9924 題：合成證明項判定","en":"Question 9924: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"6926671a7d21ed3ea5b7d11183d768a6a4c1397c1d73946605eba5b3be406beb","derivation_sha256":"b1f7c85123b73b191c727f9e7fc59daa5ded3fb3dbd189dc73eebf620fd58fc7"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0050","number":9925,"title":{"zh-Hant":"第 9925 題：合成證明項判定","en":"Question 9925: Synthetic Free Variables before Type Inference"},"family_id":"qf-ext19-proofterm-context-use","batch_id":"batch-20261013-advance-20261019-r07-lean-proof-term-foundations","mko_ids":["mko-lean-proof-term"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"436eb6afb68b09968d08aa5d6d81b0849a6e0296015b209a175d247ce37a58c2","derivation_sha256":"0d8d5a88ff056a0be31a5673e3f8f4af527e6f551fc1df448b52bb328d5ae067"}]}