{"schema_version":"ocme-public-explorer-results-v1","locale":"en","filters":{"mko":"mko-lean-proof-term","page":"2"},"total":100,"page":2,"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-0076","number":9926,"title":{"zh-Hant":"第 9926 題：合成證明項判定","en":"Question 9926: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"c092ee6eb45d5021e1261c8a5fa29b2b4d4cbf4f097cdfa27f8b390ffa4a4af4","derivation_sha256":"9e80f17a96a8eead20aaf68fb5d9b18df4d362da43a1311cd3a7280fc06a81ea"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0077","number":9927,"title":{"zh-Hant":"第 9927 題：合成證明項判定","en":"Question 9927: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"45b85ec58bf623e5f14156eacda7ace6f8441d9b4f77e1b7a3d6fa6c84fe8fc6","derivation_sha256":"f509974c8e83cc5cd17b52feacba4fcd1eb4f42391f1bb99c7a4920c10e5a9d3"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0078","number":9928,"title":{"zh-Hant":"第 9928 題：合成證明項判定","en":"Question 9928: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"3fc0888494048392cf6d7a4576c61d4eda84442520c86869b30b96b58d2067dc","derivation_sha256":"7abf9557d382440b49b5a40ae427fa1f063accf90bbc2c5ad67357dc86a976a0"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0079","number":9929,"title":{"zh-Hant":"第 9929 題：合成證明項判定","en":"Question 9929: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"d78269482032f1c7d46e90702daa9dd41b0f1aa41dd8e84ed77e4150047e6de4","derivation_sha256":"162b3caa1140721ebe8e71e5c69548cf5efa1010cdeec1c818826f811f0202f8"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0080","number":9930,"title":{"zh-Hant":"第 9930 題：合成證明項判定","en":"Question 9930: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"13a523c2d270266b38be29e23ac7a04fb6f844727526f1e30628e11caf63f997","derivation_sha256":"4224fb94aa6f7ecfd7c804d22f1ba3d24d3c856c2f689a92d46331e1e9a8ecec"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0081","number":9931,"title":{"zh-Hant":"第 9931 題：合成證明項判定","en":"Question 9931: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"5d48f18e75a7ba1026a5ddbf926de0f66d63941d16797d71f335132684cf9b59","derivation_sha256":"87b2b32d255930650b6acc6779c8d61569ff29b87e8c8d38cee22e31f1f936e8"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0082","number":9932,"title":{"zh-Hant":"第 9932 題：合成證明項判定","en":"Question 9932: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"39bc915f7e5e2928a392c241bfb9e7a30cc0ffa92ec9bde34aa3a174bab355ad","derivation_sha256":"417eb632514cd1d4a5d64eb8d41a493c8c3c57acb7e35f4cb363d18dd1e49d67"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0083","number":9933,"title":{"zh-Hant":"第 9933 題：合成證明項判定","en":"Question 9933: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"a9dffdda1ec968e441ef4841d9c95fa855416727158b266725e378c502f8bdb5","derivation_sha256":"fc1c2f76ba44287368f6fee4c3bcb2b3ad96ab64aed64ba4fafcbff8d693d895"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0084","number":9934,"title":{"zh-Hant":"第 9934 題：合成證明項判定","en":"Question 9934: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"52ec218a04801094441c69ad5580b6d1d5a94d15497ea2b5f48921296813866c","derivation_sha256":"33b0f820da11dc5bbce0a45e0ea318fe881516faaaa31982c60460126117d68a"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0085","number":9935,"title":{"zh-Hant":"第 9935 題：合成證明項判定","en":"Question 9935: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"1ac912789f762c63c502ab9ce99b8fbc24b61aff39b2c9984d99ebd539f52f9c","derivation_sha256":"34f1ce77a0f2312cfdb7806c6cfb843aca028ca8fe6d8a7b792d438aec74e89f"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0086","number":9936,"title":{"zh-Hant":"第 9936 題：合成證明項判定","en":"Question 9936: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"6c76c1ec66f6e25e19661c9360754dd73896adf2f9d7c31f65a1f128068bf81d","derivation_sha256":"0192d6d8c76cb5a5a706046b4be3e5ac9aa9f59820dd45c30d81e82a98c465b5"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0087","number":9937,"title":{"zh-Hant":"第 9937 題：合成證明項判定","en":"Question 9937: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"96b58e8d7d8c570022e86400e0c10ee5982bad2513e941e209c49f548069ea7e","derivation_sha256":"3518172d29eafd322163711ddb26f500c7085b1a4fc4fca87a69144abc23ee89"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0088","number":9938,"title":{"zh-Hant":"第 9938 題：合成證明項判定","en":"Question 9938: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"9923a61a78c5544ddc770cfe86ff4ae841f81c5278df24be99547bdad84bd9dc","derivation_sha256":"49dbf7eccf7824d27762acabac5d25fa8772cbe2dbc6b24a4e0ba047d48b71fa"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0089","number":9939,"title":{"zh-Hant":"第 9939 題：合成證明項判定","en":"Question 9939: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"0dbce0cbd9699c0926736439d4cf8acb2a22f641f9b6f9ab43833104577493fd","derivation_sha256":"bb96bd5c0b6d6798a1ae63ff235bb1d0f89fc859b385910d5502bf2e4c19414f"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0090","number":9940,"title":{"zh-Hant":"第 9940 題：合成證明項判定","en":"Question 9940: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"57966795f6912d00b081a651739915c84fac6d031a7a664094614f6224b33085","derivation_sha256":"0808db7892191f1c224ea066cb11b3508c4fa69d3c46807e1c24ea2decfc81cd"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0091","number":9941,"title":{"zh-Hant":"第 9941 題：合成證明項判定","en":"Question 9941: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"d4ca676e89f3b4ad5ee7f4312448c6bfa22b6170f9e35096dd0016d6564c8baa","derivation_sha256":"9ea17981e2b17477f2e479eb99671785ddbfcea11f61a4598eca9884244a50c2"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0092","number":9942,"title":{"zh-Hant":"第 9942 題：合成證明項判定","en":"Question 9942: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"c1abbc95e44570a05ef9b1e70491fa84ebb2854b5f08d088397807aacf2a4186","derivation_sha256":"66e125cffcaadf43f669fddc0d1b9aa3ec4aa9cf59d292ab8b0da02237e2b6b7"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0093","number":9943,"title":{"zh-Hant":"第 9943 題：合成證明項判定","en":"Question 9943: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"f4c95ee921be31efbd5ef4d0a1ed14aa7460accbf9d4d6bc80a9a6b168e769c1","derivation_sha256":"f37dd276491a5dbf0038248cae0ea2733ec2786b751999d58433f06007c5ee4c"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0094","number":9944,"title":{"zh-Hant":"第 9944 題：合成證明項判定","en":"Question 9944: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"4e029619a57d1c7de23674a963548d298556dec46569e300be9f0c7c612aae02","derivation_sha256":"56217c57775c0a6b4b4711f8cbb20bf798da2738b182928096d079e21fd38f64"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0095","number":9945,"title":{"zh-Hant":"第 9945 題：合成證明項判定","en":"Question 9945: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"90ba444b40b9be0db51b02c82443e3d009ec8d93a94eba8f18e084939c64c7f8","derivation_sha256":"14a177aa4d0bc537bb92179c29923e09c5e67326212cdfed3a9ca1037fdfbd4b"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0096","number":9946,"title":{"zh-Hant":"第 9946 題：合成證明項判定","en":"Question 9946: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"d7e98b806009b57f310e6cb2bc25e8a84ab75efa042dfc930ab6d13c9e6a0b27","derivation_sha256":"647955ecc866be7353f0fe0d8d21992913ad2051a573263f3073955e6c22b139"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0097","number":9947,"title":{"zh-Hant":"第 9947 題：合成證明項判定","en":"Question 9947: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"c39e14eb36ecac34fa3dd4bbb6b60e9731b3b846ad38e123a27eea57dec892d5","derivation_sha256":"2b84e45d67518d6d7087e4a108b68481f0864dbee8f31440ec80a87d24547803"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0098","number":9948,"title":{"zh-Hant":"第 9948 題：合成證明項判定","en":"Question 9948: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"9b24197b447c7811eae748341e4ed34bfd1a965cf1a866d0084c6ce0c3ccf184","derivation_sha256":"d4776c85a25c0c9f91e5442bb05a225ae67b295c4e9e99707cf47eeb5992c70f"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0099","number":9949,"title":{"zh-Hant":"第 9949 題：合成證明項判定","en":"Question 9949: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"d949c9d24f89ca27d5fc0ec646c4c58d0f444f2543bae8b95f092636a0691d62","derivation_sha256":"b7045d64f427359ab130d4a63d7ef15d9f2805ee4f2e3137c6080f0409174212"},{"question_id":"q-20261013-advance-20261019-r07-lean-proof-term-0100","number":9950,"title":{"zh-Hant":"第 9950 題：合成證明項判定","en":"Question 9950: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag"},"family_id":"qf-ext19-proofterm-kernel-receipt","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":"0bf1af20609a249666d6eba69508cfdf9bba260322109c0834074dd3cf121c3c","derivation_sha256":"9d5b564928763e81f273a42b98294e4502cf79125dc8dc67731c428b4082e784"}]}