{"schema_version":"ocme-public-explorer-results-v1","locale":"zh-Hant","filters":{"batch":"batch-20261003-advance-20261004-r02-counterexample-foundations","page":"3"},"total":100,"page":3,"page_count":4,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261003-advance-20261004-r02-counterexample-0026","number":3551,"title":{"zh-Hant":"第 3551 題：有限論域的數值最小反例","en":"Question 3551: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"e5fecf96a06c3eeaf3252a3ec40f088f9c138c0444ac616b3bf79a2b782e9ace","derivation_sha256":"573f51be71dd507b25a984c3afd044c0e9e00473b4eeccbb8540a1c437eee90b"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0027","number":3552,"title":{"zh-Hant":"第 3552 題：有限論域的數值最小反例","en":"Question 3552: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"608077792e0cbd8c558019d9a74171c62fd8eb9a94e6c938cfa55baa58da7a0c","derivation_sha256":"daceca63fd4daaa3750c46a85bb5838169817610838212d528a0962fe52e6d1e"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0028","number":3553,"title":{"zh-Hant":"第 3553 題：有限論域的數值最小反例","en":"Question 3553: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"b077030b174adad0fd31767f61182e1a411ee04aa9ee815704708efc09986d45","derivation_sha256":"d1a05059cf5267d2f3c6b4a4e4f237cb081eb3cce7c0dc8204a50661f623e8b3"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0029","number":3554,"title":{"zh-Hant":"第 3554 題：有限論域的數值最小反例","en":"Question 3554: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"1d74ae7d8136f8f40bf4ad2364b6a81992277f590825b6c9bafda599343524e8","derivation_sha256":"5b9db3f8cc8605402f0bb528e06015d540a23c5e188f62ac7d1ac50ac1804b4d"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0030","number":3555,"title":{"zh-Hant":"第 3555 題：有限論域的數值最小反例","en":"Question 3555: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"30834cc01cc343522d0207ed6a6f3da0ed1ea3bf51768bb9a1ca21599eced084","derivation_sha256":"e518379d1bc589506a0ab3a7c65984c3ec505bbcb8256f9fbe1a41f24f4af8f4"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0031","number":3556,"title":{"zh-Hant":"第 3556 題：有限論域的數值最小反例","en":"Question 3556: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"0a8da269e3b8390be41fcaf4250eaea6fa898345e1820b8963a87240ee74e293","derivation_sha256":"f55c49959bbde2e3cefc9290a8db83307d6849c81a81cec2fa8017bd2588fa8a"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0032","number":3557,"title":{"zh-Hant":"第 3557 題：有限論域的數值最小反例","en":"Question 3557: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"2f0f19da8c5fe0ba6b9fcdc0a35b7730412662db03d839ee7d61d513d8c78813","derivation_sha256":"eb1685901b4ec86cc92c9b9448d95f51a909ebccc4108ea6f97ca80b52c64ab9"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0033","number":3558,"title":{"zh-Hant":"第 3558 題：有限論域的數值最小反例","en":"Question 3558: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"a74a220ddcdc019132c8badea4000bc726037848ffc20a9b7e60d3d51d7945a2","derivation_sha256":"0c90321f18d7348ec36e87893ec2da1814012b3059a6621215df8e6096deab29"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0034","number":3559,"title":{"zh-Hant":"第 3559 題：有限論域的數值最小反例","en":"Question 3559: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8ae61624ba9f350da6179d579e8bb645a403d9ed0d6555b90d83e293da93e672","derivation_sha256":"f0b06c80bed6dab6df83262e0b2b6cf6a03184862168e9dd7e64253536ea8a0a"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0035","number":3560,"title":{"zh-Hant":"第 3560 題：有限論域的數值最小反例","en":"Question 3560: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"fc44d95d33aeebfd12ff45548855d814820387808730c91446e4dc5657b98ee3","derivation_sha256":"854ed10fd90a05f634f3b40175e95d4ccab66338d9903efd28db2979eeb525cd"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0036","number":3561,"title":{"zh-Hant":"第 3561 題：有限論域的數值最小反例","en":"Question 3561: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"9b41c00258bd744e3f162f161e6941e437ac3dfedaac8dc9ff136f19c6a413e7","derivation_sha256":"d3c28ecaa2e72c4f64e383466257cce5a7dd006da23c30bd923ef153078639b6"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0037","number":3562,"title":{"zh-Hant":"第 3562 題：有限論域的數值最小反例","en":"Question 3562: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"5496b9acb3118aa3b6f11b24401db75533ea5e861c368abb214d763542b9597e","derivation_sha256":"83279f6fab571efa40de1af1b04a0c3cb232a5b9fd413923370d919fb2d2ace8"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0038","number":3563,"title":{"zh-Hant":"第 3563 題：有限論域的數值最小反例","en":"Question 3563: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"812250036d0dd7496925df118c4636a4b97d030991611be8a9618f2c5055f5be","derivation_sha256":"98d126b15b09834bb83658450a7a3895c3f8a86c47671680546848e2133c7c44"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0039","number":3564,"title":{"zh-Hant":"第 3564 題：有限論域的數值最小反例","en":"Question 3564: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"4bcdee364dc551907e8f31e4b4bb227bbe33e9147d0c16553ee53aed2bc64420","derivation_sha256":"952ec0e404efc25d0c4ffb814f4ec591408f6eb55e0375516221c06140058074"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0040","number":3565,"title":{"zh-Hant":"第 3565 題：有限論域的數值最小反例","en":"Question 3565: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"36ca3baedf362e97e6ba5a28224701ff2493826609d4efedd1b1393f6826c0dc","derivation_sha256":"6fdd1a5df16584ade7dd1014074f15ceb9b61500f713fdc9a975b03d1ae30947"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0041","number":3566,"title":{"zh-Hant":"第 3566 題：有限論域的數值最小反例","en":"Question 3566: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8cd9c0a27e625329bb41957e4d1075bdc54248d38d816fab38e55787b3dfa22a","derivation_sha256":"7e8e9b10f1f4c7b1e2a48aa6179e234bd23811586f91bdca841d79b90e8b703b"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0042","number":3567,"title":{"zh-Hant":"第 3567 題：有限論域的數值最小反例","en":"Question 3567: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"e537af4934aeb60f295ca5a9caff09cee6cd17ebfca51f427f2d121a0b5d64cc","derivation_sha256":"acaed3a08068a7a09f8dd484234e871c247359763f75fcfc354db249a0d91484"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0043","number":3568,"title":{"zh-Hant":"第 3568 題：有限論域的數值最小反例","en":"Question 3568: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"407245ac1e3a72ef78f346efc0a2fe4e5ccc43eea9ecb161d7cd00ff992801de","derivation_sha256":"f692f22ff560ffb7d988b5fdbb165bcc93e458450fd078a44a93544ae9fbdf1a"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0044","number":3569,"title":{"zh-Hant":"第 3569 題：有限論域的數值最小反例","en":"Question 3569: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"9264a7ded2c6d56600242e5ccc8f1127fff840be95ddfeef7aa356552cfd1e91","derivation_sha256":"441875c680331211a337ace4629bc370865fbc9b888abc2d82e51076df5fcaa5"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0045","number":3570,"title":{"zh-Hant":"第 3570 題：有限論域的數值最小反例","en":"Question 3570: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"7b170da87399a160d0b7e488983be6c3e12bace5627faea46a4aa7d7681eb918","derivation_sha256":"00b8d43074c08d5e5678ca30fbf8cf82f6891a1d314b6ee296a949293174506b"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0046","number":3571,"title":{"zh-Hant":"第 3571 題：有限論域的數值最小反例","en":"Question 3571: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"95367f9237d974df2755eaaedb512713d9e123cfdb5f990590e82406e38a5dda","derivation_sha256":"2301bbdd086a6c3ab0d3879f012636cc419331d6be05939d1d6c53460b3ae8b5"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0047","number":3572,"title":{"zh-Hant":"第 3572 題：有限論域的數值最小反例","en":"Question 3572: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"7b9ffad09d1eeb454053d5f18630176fcd5eca0ca58db6cf3533ebf7c050f121","derivation_sha256":"f88319311c78b0df03bbeabf5cfd5d2bc2ade9bbc7f4c67d1234ef51a752ce57"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0048","number":3573,"title":{"zh-Hant":"第 3573 題：有限論域的數值最小反例","en":"Question 3573: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"943457af52678b6d4908f9cb04a7a02019ec1f325918b1dda57f6be971497419","derivation_sha256":"95c625c7518a3e9b24e15fb8f561b53adfc46d5e8be3a7dda3dce26ba573ebf4"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0049","number":3574,"title":{"zh-Hant":"第 3574 題：有限論域的數值最小反例","en":"Question 3574: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"8727da34f545a1499f8eb260b27b5db3ffbc32ef0c8f0dbc849e0a36e83ac819","derivation_sha256":"b3c537145e31bf1949b66816639c9341010e127c06a698af57c6648d5242dd61"},{"question_id":"q-20261003-advance-20261004-r02-counterexample-0050","number":3575,"title":{"zh-Hant":"第 3575 題：有限論域的數值最小反例","en":"Question 3575: Least Counterexample in a Finite Domain"},"family_id":"qf-counterexample-first-witness","batch_id":"batch-20261003-advance-20261004-r02-counterexample-foundations","mko_ids":["mko-counterexample"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"4b395599b000ec6a7481588c081b2fa260f888d65f93001a84dfaf712e264432","derivation_sha256":"f3b92910882d920cef94694ddc437af29e8721526fb0239b4ee38126edee231a"}]}