{"schema_version":"ocme-public-explorer-results-v1","locale":"en","filters":{"q":"q-20261014-advance-20261029-r01-finite-integral-domain-0070"},"total":1,"page":1,"page_count":1,"question_state":"candidate","english_state":"ai_candidate","canonical_truth_promotion":false,"entries":[{"question_id":"q-20261014-advance-20261029-r01-finite-integral-domain-0070","number":14620,"title":{"zh-Hant":"第 14620 題：有限整環","en":"Question 14620: Nonzero Cancellation Has an Implication, Not an Equality Premise Flag"},"family_id":"qf-mod29-integraldomain-cancellation","batch_id":"batch-20261014-advance-20261029-r01-finite-integral-domain-foundations","mko_ids":["mko-finite-integral-domain"],"question_state":"candidate","english_state":"ai_candidate","processing_state":"second_context_reviewed","source_question_sha256":"0ca72b088d6d78d4c1957e443abf3d11e39b539af33c4de27d9ec184c6b30f5f","derivation_sha256":"e1fdd80361a3f5c8a24d0f6e9cf011c54d6d7b2a7ed61ad83380cadb416eeee6"}]}