{"schema_version":"ocme-public-explorer-results-v1","locale":"zh-Hant","filters":{"mko":"mko-lean-proof-term","page":"3"},"total":100,"page":3,"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-0001","number":9951,"title":{"zh-Hant":"第 9951 題：合成證明項判定","en":"Question 9951: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"0fc5edfe16042927a001de0519f39cbc952594901011f9431b423a1b37984437","derivation_sha256":"001de427592055e745c4b362e59ae46ff65d380fa6d630a50daf4240733c1044"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0002","number":9952,"title":{"zh-Hant":"第 9952 題：合成證明項判定","en":"Question 9952: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"40a72cb72042396bed656012cddccbfca4149beb57e96388e40628572671fe10","derivation_sha256":"f76545dbdb79ab7d1fec97adca989b1158daec1007e073ac032a346ca7feccf7"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0003","number":9953,"title":{"zh-Hant":"第 9953 題：合成證明項判定","en":"Question 9953: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"3ff9ad0fb8893e8f0d0a94649b005cd1f50bf93e45cefece38dbd974b6e1c6d7","derivation_sha256":"f60831168c3786e7a24609fae58f10aa328315631a9ea4555e2cb385a702e9de"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0004","number":9954,"title":{"zh-Hant":"第 9954 題：合成證明項判定","en":"Question 9954: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"b46bb43060211f68a774e95cd43f1dcde6d462aebbbcf817fa712e446f4d3598","derivation_sha256":"1e944e3ccf8645c3af8dea3612dc947fbd46c564768d2ad2b62b277549aecc27"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0005","number":9955,"title":{"zh-Hant":"第 9955 題：合成證明項判定","en":"Question 9955: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"50613c308bc1e484acc56b5c227e96931f09406a9209f1c6973209f8d7af2c2a","derivation_sha256":"2a41bad6e178e9db3985a7bf9d7539452ab1ff1a2fd7e51dd08a125ee7720f9d"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0006","number":9956,"title":{"zh-Hant":"第 9956 題：合成證明項判定","en":"Question 9956: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"55ab814593730f45bb9c3f3790487908fe1674401d2cee6971268947ef25cbee","derivation_sha256":"131864fe61c05f2bd89a93ba3ab486a9a77e218553c000d0f321a4ce4d823e1c"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0007","number":9957,"title":{"zh-Hant":"第 9957 題：合成證明項判定","en":"Question 9957: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"784c3a1f8211b83fea79fe047fd0c0fe26bd811e6dda205559016c6e9af0e568","derivation_sha256":"ebf21bf56b85f6b6114bea5dc66e5c61da1cdf28a0d10d132b90bbe3e48935cf"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0008","number":9958,"title":{"zh-Hant":"第 9958 題：合成證明項判定","en":"Question 9958: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"de58b69251b4b09aebfdf41927c202ff9eb44a5ea3f4108b35abdc484a24b97b","derivation_sha256":"2a9d4de18dfbf2f38633e307647952a5fb1c84bb3dc6a85b57c284794277bd15"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0009","number":9959,"title":{"zh-Hant":"第 9959 題：合成證明項判定","en":"Question 9959: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"e73052071947382e0ad142d2ef52f1b6cba34a8a81bb000e49d3f94f93c3050f","derivation_sha256":"9fbd48b1c8a045c8df4ac1da76359e4cfbd5e43d790f3f48d7fece670945251f"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0010","number":9960,"title":{"zh-Hant":"第 9960 題：合成證明項判定","en":"Question 9960: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"86d0c096bfe66ff6678409d2f7553aa7be6548fc17a939d31bcda7e598323f55","derivation_sha256":"1f6fd7e36c8070836673f043fc5d526015932fca8b9311270b6258bb97d30773"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0011","number":9961,"title":{"zh-Hant":"第 9961 題：合成證明項判定","en":"Question 9961: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"12f0d14da945417b89ef1fa215ffd4af2acf2198b72557bd60acfb54315dd689","derivation_sha256":"fbc7e74c8626074a52353b828111c3c924ca2aec8b2813dcc784b61eda383b17"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0012","number":9962,"title":{"zh-Hant":"第 9962 題：合成證明項判定","en":"Question 9962: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"5b1453824dc7218882d3a4fab37e1152bad5e562f1550b434ee38d114398dd78","derivation_sha256":"dd1facf6e163e269e58a41e3e1c68e36b23cbc779ed265909c7359a777a95d59"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0013","number":9963,"title":{"zh-Hant":"第 9963 題：合成證明項判定","en":"Question 9963: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"95b2bf76c828f6699f6fa3ef67844e5d8054268800d5388544f154a250cd6d22","derivation_sha256":"58c5663f843b4812dfbaa0e72254948dd583134e741391c9fa00472cf71c148b"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0014","number":9964,"title":{"zh-Hant":"第 9964 題：合成證明項判定","en":"Question 9964: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"aab17dae22708fa29f90b64f5069ca3efe6204a03533914a7abf06a9d5ed7352","derivation_sha256":"7297f13cff002bd53c8cf5311f496e033165804e21a40147b24010a4d0c91176"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0015","number":9965,"title":{"zh-Hant":"第 9965 題：合成證明項判定","en":"Question 9965: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"e142a29a9440af4a228acdcbe98a4c8e889aa29f3edc2cbd80bbf7d138980f4e","derivation_sha256":"6d8585de27ca32dff4e69f7618aaf26bdcd0c0d3d8ea03246bf13f14968d2a76"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0016","number":9966,"title":{"zh-Hant":"第 9966 題：合成證明項判定","en":"Question 9966: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"630385bf6bb58e1b16fa69f82a3a9888ed65c5f3b03fb249867aaeb2222aa1af","derivation_sha256":"f43cbc315b0441f0d2881c58be848d5ca919bb9f9641d7fda05c12de98486aed"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0017","number":9967,"title":{"zh-Hant":"第 9967 題：合成證明項判定","en":"Question 9967: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"e8a4b20f3960b777eaa75306e30af909a476dbbe83740cb1091092f94271c7ee","derivation_sha256":"f543e772d4f5e777489989e2a2529a0a29eeaa12348d1cc88cb4a902139ddf70"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0018","number":9968,"title":{"zh-Hant":"第 9968 題：合成證明項判定","en":"Question 9968: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"42734e1fc1506cd68377aa7a724336483d004df61b3fe5a67747de1974580fa7","derivation_sha256":"01177a887cd2e93657f5891cdfb45d15b2ac932a42feb1510bb9827077f56a04"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0019","number":9969,"title":{"zh-Hant":"第 9969 題：合成證明項判定","en":"Question 9969: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"6f8a3ab2b1b9e73fb5333efe5d1b78d7a79c17d112b4a187d991efb01889c67a","derivation_sha256":"80c5df14d4f87a8da55f1d63d66e5a183964a734b9243ebce0c968a93a70bc1f"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0020","number":9970,"title":{"zh-Hant":"第 9970 題：合成證明項判定","en":"Question 9970: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"15eb30e56ae73ba933f5ccacff99565341cedf8d9e501b524fc2c5f837a14762","derivation_sha256":"364b8bef40cc3f5530c193e7cbcc3c54b27f6e32fe448b009afb04063f7e8f63"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0021","number":9971,"title":{"zh-Hant":"第 9971 題：合成證明項判定","en":"Question 9971: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"9151640d9651d6741e6aeb5ad98768cce811618c6a4015d10dc7ce5013a4cced","derivation_sha256":"092228ef71c37b5b68e5accd4b235bc1095aeeac71c801e54f698711c7797748"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0022","number":9972,"title":{"zh-Hant":"第 9972 題：合成證明項判定","en":"Question 9972: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"3b5fdd9352c4eea2692c4773a98c620b2cd425f4e79fb5e2deba3a95130ac0bd","derivation_sha256":"0e8acbdc5cdaab28732e032074e332025a34274e76397793e497b92be951963c"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0023","number":9973,"title":{"zh-Hant":"第 9973 題：合成證明項判定","en":"Question 9973: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"30a2a7d32ef79b6cb7384b44d4848b8d73f87b56ff797b6aca76b74058c9d9ba","derivation_sha256":"b6638da4c5ba1d4c8b9158d250598e07fe90e3d19f1616cb123325706bdb73b7"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0024","number":9974,"title":{"zh-Hant":"第 9974 題：合成證明項判定","en":"Question 9974: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"c32cdcccbf7900f81bf711f762f27bf2e3ea614690bdab2797e3cb2b7008febf","derivation_sha256":"917b22aa01d8ee3ce8de6715b3c2419ca50c870e657d01a75a86ddbcc35ba561"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0025","number":9975,"title":{"zh-Hant":"第 9975 題：合成證明項判定","en":"Question 9975: Synthetic Implication/Conjunction Term Type against a Claim"},"family_id":"qf-ext19-proofterm-small-calculus","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":"342ad0ad7ad16fb7e06cc2bf912d99757bd3a12cdfbfe14b0db53b687873cae2","derivation_sha256":"1ea8987259c3817210fde3f8befd0a4e870b28b0425f0eda3dd57738a55b7c87"}]}