{"schema_version":"ocme-public-explorer-results-v1","locale":"en","filters":{"family":"qf-ext18-formal-context-inventory"},"total":25,"page":1,"page_count":1,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0026","number":8876,"title":{"zh-Hant":"第 8876 題：形式陳述pipeline狀態","en":"Question 8876: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"cd4dc78d3396c49dab94067da951c0d1e3a9a13233796277c4720b3a5786e413","derivation_sha256":"acce0dd75fbddf7a640f2b79fa0fb992d91f68fee8995c53eea4d72122772555"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0027","number":8877,"title":{"zh-Hant":"第 8877 題：形式陳述pipeline狀態","en":"Question 8877: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"c60fbafecba5fb9be33621f5b20552e7787a55adb67b368c4f71e61967426ec7","derivation_sha256":"dd0a1cb6d07524d8a3d496155cf93318ffbed086c170faf9a7050aa90f6748e2"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0028","number":8878,"title":{"zh-Hant":"第 8878 題：形式陳述pipeline狀態","en":"Question 8878: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"60444cb7bf43b348b2a0967929afe48a6c468cfce748772d98506ffb2d3af8e4","derivation_sha256":"27e5a253af53552bd28c3241239400c5fd4472c0395e7292a9ca68d81121d657"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0029","number":8879,"title":{"zh-Hant":"第 8879 題：形式陳述pipeline狀態","en":"Question 8879: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"1624ebc7f2b6b7769f05d09171a97acccfe451d1adc5dbb4972b37a3ac3fcf64","derivation_sha256":"cfbaf40108b2d71756385de06244a0b574290cca6dd077717605b6badc8deaf7"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0030","number":8880,"title":{"zh-Hant":"第 8880 題：形式陳述pipeline狀態","en":"Question 8880: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"cb91142041664e120f62e67637d6ccbff58118d3aaaa3fe79b51442e5165ff25","derivation_sha256":"bd5de82559bd1670399227b5f5374c117052b1441a0319303f346bc1b3b4de9e"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0031","number":8881,"title":{"zh-Hant":"第 8881 題：形式陳述pipeline狀態","en":"Question 8881: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"c8adf808704e70d36abad58ce34d71100d7bc085ffdcf149777b640b42420500","derivation_sha256":"d36f90f6467a68bd91663895cc2be32c8eda05f5d59dd29ec5d7f1728d9a047a"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0032","number":8882,"title":{"zh-Hant":"第 8882 題：形式陳述pipeline狀態","en":"Question 8882: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"1e660b1539df762a43a564322ad8ffc74d70fd305af87643d977ba2fd8545582","derivation_sha256":"fcac4a4e6324b7fc571996150dace8607200ceccc9215f903d9b83b712811705"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0033","number":8883,"title":{"zh-Hant":"第 8883 題：形式陳述pipeline狀態","en":"Question 8883: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"9e2729fcf00b8f4a5e2efbce80f8d97b96ac9087bfa6e9bfa83ed5dd1512ec0b","derivation_sha256":"5f0f9ae2af487c4697e7e933c6d6567db931953623d2967fbb00c9b509b8251a"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0034","number":8884,"title":{"zh-Hant":"第 8884 題：形式陳述pipeline狀態","en":"Question 8884: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8945495d45c1d9c8783b57d7e7e65ecf83f5d6efb3287ef938fc820b35f85fc7","derivation_sha256":"030c1e7bee473b1256eafdd0794b3369655337421c44c566b4f6ab967df87be1"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0035","number":8885,"title":{"zh-Hant":"第 8885 題：形式陳述pipeline狀態","en":"Question 8885: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"24cae644cad0d4fbe1758eb3c46b97c96e4c465534a74a776b359a7d37ac8b94","derivation_sha256":"fc6262946d32e3922fea22bbdc10f0b1bc5a111cd67a5d9d9ae363073fd62233"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0036","number":8886,"title":{"zh-Hant":"第 8886 題：形式陳述pipeline狀態","en":"Question 8886: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"dad51dd87505cce4115a465468fd9381eaa1c30587344550553de3c72d7485ba","derivation_sha256":"dfae1435040c6e672e88ba13839f63a4eb4e4f31d1d45312b2a432f4a04b40e2"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0037","number":8887,"title":{"zh-Hant":"第 8887 題：形式陳述pipeline狀態","en":"Question 8887: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"797ac0cdf0e3e133c99a4aaf700e73a2c4b1418b7ff83a3a6445a77fee546cc3","derivation_sha256":"dcf754827ebb0bb3db1a54deadbbb02daa4eef54aa2f5779a132c385345b0c5f"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0038","number":8888,"title":{"zh-Hant":"第 8888 題：形式陳述pipeline狀態","en":"Question 8888: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"7658ce745483f1f88e4fa9837489674d3d35d52c5516d1eb17cc4508fe2c97f5","derivation_sha256":"5098ece59ef533051059b551c7dd14bf2d40f51466d4a7ad23d04a3a2938029c"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0039","number":8889,"title":{"zh-Hant":"第 8889 題：形式陳述pipeline狀態","en":"Question 8889: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"5cd4aac8df85ef17d048201ea26acfc8fbf9e5b894faff766e0c09f495f206aa","derivation_sha256":"5d9246d0679489557b0476948cb5fa28c2f09c46f873bc30bb566f66d72edc4b"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0040","number":8890,"title":{"zh-Hant":"第 8890 題：形式陳述pipeline狀態","en":"Question 8890: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8c0877eed83debc759e016cb95b8c5b6f82956220e87d80a0aa70b41d25b2dcc","derivation_sha256":"b2eafbf59f26b8a0746f8543ca904f0e74b293659488a1b0656860f72d92baa9"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0041","number":8891,"title":{"zh-Hant":"第 8891 題：形式陳述pipeline狀態","en":"Question 8891: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"18bb61281971834dd620cfbcbe15ec3f69a86e67157511f719a906045108ec46","derivation_sha256":"8955093d005f23f85d80563ca4b8ea23b0c87f1c9a01aea3dae0b0dfbdba0ba8"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0042","number":8892,"title":{"zh-Hant":"第 8892 題：形式陳述pipeline狀態","en":"Question 8892: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"a8e5e16add6c3ffe0f38580c7cc030339ae04e3837c1407467e3897a210ec840","derivation_sha256":"d6a50242b091d32559a30d1cda304f8b66c0ff6a9fe295c0be1a0769f9169588"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0043","number":8893,"title":{"zh-Hant":"第 8893 題：形式陳述pipeline狀態","en":"Question 8893: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"3b6d698ba4f30cc306a5ff22f1854c47b47521da78b36a7c55c709426e3b0959","derivation_sha256":"e445c88f88f2bda42cae256f1e28d8349f42d97f1758b121df232693163d54e0"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0044","number":8894,"title":{"zh-Hant":"第 8894 題：形式陳述pipeline狀態","en":"Question 8894: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"434e8382ff920c3f03ef51887f1e01bef92011b1080044e1538efd8122e30fb0","derivation_sha256":"012ed6969d2ce9c5f5216298e51c8768286063ca8631984e804085bf44988702"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0045","number":8895,"title":{"zh-Hant":"第 8895 題：形式陳述pipeline狀態","en":"Question 8895: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"fbeeb258c6bc9f258c997eb8bacf4ab843bc7a87cb6ee6b2e0f1adce8cc8181a","derivation_sha256":"2eed0b178346485e27450299170fa29070a1a8532e063e9dfd89bc76779c597d"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0046","number":8896,"title":{"zh-Hant":"第 8896 題：形式陳述pipeline狀態","en":"Question 8896: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"79babe391a157f485877d0303690b1ae08e38b9f93a4f0ae47f34a4ae20dace3","derivation_sha256":"0f4f0cc43c0070cd2c4ab0ebe95b8828488bf70286a05e1e7e90b762a45a77a7"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0047","number":8897,"title":{"zh-Hant":"第 8897 題：形式陳述pipeline狀態","en":"Question 8897: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"193de4675ed8ca0ebf2c84105de4bf8c806df00c426c43a06a7e24704766fa0e","derivation_sha256":"f9c31b950a5ffd9303ab5a2034b9cace423232f1f7e8a1fac07e29c25b25ba9d"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0048","number":8898,"title":{"zh-Hant":"第 8898 題：形式陳述pipeline狀態","en":"Question 8898: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"7a9e2db39322b3285527ad8273b264823ff3191ecca662c60bbd9df28cdefce3","derivation_sha256":"d64c7a91f0d7dae283077718ea81b279cc6686b9e428dccac7babf54121eb695"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0049","number":8899,"title":{"zh-Hant":"第 8899 題：形式陳述pipeline狀態","en":"Question 8899: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"cf17b62deb9026bda55d077b2c6c0ee946a15f9901a984592e5d2e7a3b8219d8","derivation_sha256":"8b5b26ac92a03aa50d424ebc9ab42f61332ed532fe39d9f00dc11b808cd84c0d"},{"question_id":"q-20261013-advance-20261018-r07-lean-formal-statement-0050","number":8900,"title":{"zh-Hant":"第 8900 題：形式陳述pipeline狀態","en":"Question 8900: Synthetic Required and Available Context Names"},"family_id":"qf-ext18-formal-context-inventory","batch_id":"batch-20261013-advance-20261018-r07-lean-formal-statement-foundations","mko_ids":["mko-lean-formal-statement"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"7dd2573749bde56ab20b3621104d08addcb3cf129e4bbd744f4ef99bda8cd0e1","derivation_sha256":"43ab5565e6b38b8b6a6c7cbc6489ab95ce33574af267afa085eebc21386a8557"}]}