Question derivations
All 36000 derivations have bilingual display, basic symbol and structural checks, and questions 1–36000 all have second-context mathematical and bilingual review; no display/symbol-checked candidates remain.
This cohort has 36000 questions. 36000 derivations are published: 36000 mathematically reviewed and 0 display/symbol-checked candidates. 0 are not published here.
- Question 22401: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22401· Mathematically reviewed - Question 22402: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22402· Mathematically reviewed - Question 22403: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22403· Mathematically reviewed - Question 22404: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22404· Mathematically reviewed - Question 22405: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22405· Mathematically reviewed - Question 22406: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22406· Mathematically reviewed - Question 22407: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22407· Mathematically reviewed - Question 22408: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22408· Mathematically reviewed - Question 22409: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22409· Mathematically reviewed - Question 22410: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22410· Mathematically reviewed - Question 22411: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22411· Mathematically reviewed - Question 22412: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22412· Mathematically reviewed - Question 22413: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22413· Mathematically reviewed - Question 22414: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22414· Mathematically reviewed - Question 22415: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22415· Mathematically reviewed - Question 22416: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22416· Mathematically reviewed - Question 22417: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22417· Mathematically reviewed - Question 22418: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22418· Mathematically reviewed - Question 22419: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22419· Mathematically reviewed - Question 22420: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22420· Mathematically reviewed - Question 22421: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22421· Mathematically reviewed - Question 22422: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22422· Mathematically reviewed - Question 22423: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22423· Mathematically reviewed - Question 22424: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22424· Mathematically reviewed - Question 22425: A Finite Valid Full-Input Run Proves Acceptance, Not Search Completeness ·
R0043-22425· Mathematically reviewed - Question 22426: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22426· Mathematically reviewed - Question 22427: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22427· Mathematically reviewed - Question 22428: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22428· Mathematically reviewed - Question 22429: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22429· Mathematically reviewed - Question 22430: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22430· Mathematically reviewed - Question 22431: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22431· Mathematically reviewed - Question 22432: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22432· Mathematically reviewed - Question 22433: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22433· Mathematically reviewed - Question 22434: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22434· Mathematically reviewed - Question 22435: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22435· Mathematically reviewed - Question 22436: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22436· Mathematically reviewed - Question 22437: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22437· Mathematically reviewed - Question 22438: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22438· Mathematically reviewed - Question 22439: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22439· Mathematically reviewed - Question 22440: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22440· Mathematically reviewed - Question 22441: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22441· Mathematically reviewed - Question 22442: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22442· Mathematically reviewed - Question 22443: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22443· Mathematically reviewed - Question 22444: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22444· Mathematically reviewed - Question 22445: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22445· Mathematically reviewed - Question 22446: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22446· Mathematically reviewed - Question 22447: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22447· Mathematically reviewed - Question 22448: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22448· Mathematically reviewed - Question 22449: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22449· Mathematically reviewed - Question 22450: A Bounded PDA No-Hit Cannot Certify Rejection ·
R0043-22450· Mathematically reviewed - Question 22451: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22451· Mathematically reviewed - Question 22452: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22452· Mathematically reviewed - Question 22453: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22453· Mathematically reviewed - Question 22454: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22454· Mathematically reviewed - Question 22455: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22455· Mathematically reviewed - Question 22456: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22456· Mathematically reviewed - Question 22457: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22457· Mathematically reviewed - Question 22458: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22458· Mathematically reviewed - Question 22459: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22459· Mathematically reviewed - Question 22460: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22460· Mathematically reviewed - Question 22461: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22461· Mathematically reviewed - Question 22462: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22462· Mathematically reviewed - Question 22463: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22463· Mathematically reviewed - Question 22464: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22464· Mathematically reviewed - Question 22465: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22465· Mathematically reviewed - Question 22466: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22466· Mathematically reviewed - Question 22467: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22467· Mathematically reviewed - Question 22468: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22468· Mathematically reviewed - Question 22469: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22469· Mathematically reviewed - Question 22470: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22470· Mathematically reviewed - Question 22471: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22471· Mathematically reviewed - Question 22472: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22472· Mathematically reviewed - Question 22473: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22473· Mathematically reviewed - Question 22474: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22474· Mathematically reviewed - Question 22475: A Complete PDA Definition Retains Its Final-State Acceptance Convention ·
R0043-22475· Mathematically reviewed - Question 22476: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22476· Mathematically reviewed - Question 22477: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22477· Mathematically reviewed - Question 22478: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22478· Mathematically reviewed - Question 22479: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22479· Mathematically reviewed - Question 22480: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22480· Mathematically reviewed - Question 22481: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22481· Mathematically reviewed - Question 22482: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22482· Mathematically reviewed - Question 22483: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22483· Mathematically reviewed - Question 22484: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22484· Mathematically reviewed - Question 22485: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22485· Mathematically reviewed - Question 22486: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22486· Mathematically reviewed - Question 22487: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22487· Mathematically reviewed - Question 22488: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22488· Mathematically reviewed - Question 22489: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22489· Mathematically reviewed - Question 22490: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22490· Mathematically reviewed - Question 22491: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22491· Mathematically reviewed - Question 22492: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22492· Mathematically reviewed - Question 22493: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22493· Mathematically reviewed - Question 22494: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22494· Mathematically reviewed - Question 22495: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22495· Mathematically reviewed - Question 22496: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22496· Mathematically reviewed - Question 22497: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22497· Mathematically reviewed - Question 22498: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22498· Mathematically reviewed - Question 22499: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22499· Mathematically reviewed - Question 22500: Each Explicit Stack Step Must Respect Input and Epsilon Consumption ·
R0043-22500· Mathematically reviewed - Question 22501: Shift the Full State and Append Each Exact New Scalar ·
R0044-22501· Mathematically reviewed - Question 22502: Shift the Full State and Append Each Exact New Scalar ·
R0044-22502· Mathematically reviewed - Question 22503: Shift the Full State and Append Each Exact New Scalar ·
R0044-22503· Mathematically reviewed - Question 22504: Shift the Full State and Append Each Exact New Scalar ·
R0044-22504· Mathematically reviewed - Question 22505: Shift the Full State and Append Each Exact New Scalar ·
R0044-22505· Mathematically reviewed - Question 22506: Shift the Full State and Append Each Exact New Scalar ·
R0044-22506· Mathematically reviewed - Question 22507: Shift the Full State and Append Each Exact New Scalar ·
R0044-22507· Mathematically reviewed - Question 22508: Shift the Full State and Append Each Exact New Scalar ·
R0044-22508· Mathematically reviewed - Question 22509: Shift the Full State and Append Each Exact New Scalar ·
R0044-22509· Mathematically reviewed - Question 22510: Shift the Full State and Append Each Exact New Scalar ·
R0044-22510· Mathematically reviewed - Question 22511: Shift the Full State and Append Each Exact New Scalar ·
R0044-22511· Mathematically reviewed - Question 22512: Shift the Full State and Append Each Exact New Scalar ·
R0044-22512· Mathematically reviewed - Question 22513: Shift the Full State and Append Each Exact New Scalar ·
R0044-22513· Mathematically reviewed - Question 22514: Shift the Full State and Append Each Exact New Scalar ·
R0044-22514· Mathematically reviewed - Question 22515: Shift the Full State and Append Each Exact New Scalar ·
R0044-22515· Mathematically reviewed - Question 22516: Shift the Full State and Append Each Exact New Scalar ·
R0044-22516· Mathematically reviewed - Question 22517: Shift the Full State and Append Each Exact New Scalar ·
R0044-22517· Mathematically reviewed - Question 22518: Shift the Full State and Append Each Exact New Scalar ·
R0044-22518· Mathematically reviewed - Question 22519: Shift the Full State and Append Each Exact New Scalar ·
R0044-22519· Mathematically reviewed - Question 22520: Shift the Full State and Append Each Exact New Scalar ·
R0044-22520· Mathematically reviewed - Question 22521: Shift the Full State and Append Each Exact New Scalar ·
R0044-22521· Mathematically reviewed - Question 22522: Shift the Full State and Append Each Exact New Scalar ·
R0044-22522· Mathematically reviewed - Question 22523: Shift the Full State and Append Each Exact New Scalar ·
R0044-22523· Mathematically reviewed - Question 22524: Shift the Full State and Append Each Exact New Scalar ·
R0044-22524· Mathematically reviewed - Question 22525: Shift the Full State and Append Each Exact New Scalar ·
R0044-22525· Mathematically reviewed - Question 22526: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22526· Mathematically reviewed - Question 22527: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22527· Mathematically reviewed - Question 22528: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22528· Mathematically reviewed - Question 22529: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22529· Mathematically reviewed - Question 22530: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22530· Mathematically reviewed - Question 22531: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22531· Mathematically reviewed - Question 22532: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22532· Mathematically reviewed - Question 22533: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22533· Mathematically reviewed - Question 22534: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22534· Mathematically reviewed - Question 22535: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22535· Mathematically reviewed - Question 22536: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22536· Mathematically reviewed - Question 22537: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22537· Mathematically reviewed - Question 22538: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22538· Mathematically reviewed - Question 22539: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22539· Mathematically reviewed - Question 22540: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22540· Mathematically reviewed - Question 22541: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22541· Mathematically reviewed - Question 22542: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22542· Mathematically reviewed - Question 22543: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22543· Mathematically reviewed - Question 22544: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22544· Mathematically reviewed - Question 22545: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22545· Mathematically reviewed - Question 22546: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22546· Mathematically reviewed - Question 22547: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22547· Mathematically reviewed - Question 22548: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22548· Mathematically reviewed - Question 22549: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22549· Mathematically reviewed - Question 22550: A Complete Initial State Gives a Unique Forward Prefix ·
R0044-22550· Mathematically reviewed - Question 22551: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22551· Mathematically reviewed - Question 22552: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22552· Mathematically reviewed - Question 22553: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22553· Mathematically reviewed - Question 22554: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22554· Mathematically reviewed - Question 22555: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22555· Mathematically reviewed - Question 22556: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22556· Mathematically reviewed - Question 22557: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22557· Mathematically reviewed - Question 22558: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22558· Mathematically reviewed - Question 22559: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22559· Mathematically reviewed - Question 22560: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22560· Mathematically reviewed - Question 22561: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22561· Mathematically reviewed - Question 22562: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22562· Mathematically reviewed - Question 22563: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22563· Mathematically reviewed - Question 22564: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22564· Mathematically reviewed - Question 22565: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22565· Mathematically reviewed - Question 22566: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22566· Mathematically reviewed - Question 22567: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22567· Mathematically reviewed - Question 22568: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22568· Mathematically reviewed - Question 22569: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22569· Mathematically reviewed - Question 22570: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22570· Mathematically reviewed - Question 22571: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22571· Mathematically reviewed - Question 22572: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22572· Mathematically reviewed - Question 22573: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22573· Mathematically reviewed - Question 22574: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22574· Mathematically reviewed - Question 22575: Different Missing-Initial Completions Give Different Whole Prefixes ·
R0044-22575· Mathematically reviewed - Question 22576: An Order-r Total Rule Needs All r Initial Values ·
R0044-22576· Mathematically reviewed - Question 22577: An Order-r Total Rule Needs All r Initial Values ·
R0044-22577· Mathematically reviewed - Question 22578: An Order-r Total Rule Needs All r Initial Values ·
R0044-22578· Mathematically reviewed - Question 22579: An Order-r Total Rule Needs All r Initial Values ·
R0044-22579· Mathematically reviewed - Question 22580: An Order-r Total Rule Needs All r Initial Values ·
R0044-22580· Mathematically reviewed - Question 22581: An Order-r Total Rule Needs All r Initial Values ·
R0044-22581· Mathematically reviewed - Question 22582: An Order-r Total Rule Needs All r Initial Values ·
R0044-22582· Mathematically reviewed - Question 22583: An Order-r Total Rule Needs All r Initial Values ·
R0044-22583· Mathematically reviewed - Question 22584: An Order-r Total Rule Needs All r Initial Values ·
R0044-22584· Mathematically reviewed - Question 22585: An Order-r Total Rule Needs All r Initial Values ·
R0044-22585· Mathematically reviewed - Question 22586: An Order-r Total Rule Needs All r Initial Values ·
R0044-22586· Mathematically reviewed - Question 22587: An Order-r Total Rule Needs All r Initial Values ·
R0044-22587· Mathematically reviewed - Question 22588: An Order-r Total Rule Needs All r Initial Values ·
R0044-22588· Mathematically reviewed - Question 22589: An Order-r Total Rule Needs All r Initial Values ·
R0044-22589· Mathematically reviewed - Question 22590: An Order-r Total Rule Needs All r Initial Values ·
R0044-22590· Mathematically reviewed - Question 22591: An Order-r Total Rule Needs All r Initial Values ·
R0044-22591· Mathematically reviewed - Question 22592: An Order-r Total Rule Needs All r Initial Values ·
R0044-22592· Mathematically reviewed - Question 22593: An Order-r Total Rule Needs All r Initial Values ·
R0044-22593· Mathematically reviewed - Question 22594: An Order-r Total Rule Needs All r Initial Values ·
R0044-22594· Mathematically reviewed - Question 22595: An Order-r Total Rule Needs All r Initial Values ·
R0044-22595· Mathematically reviewed - Question 22596: An Order-r Total Rule Needs All r Initial Values ·
R0044-22596· Mathematically reviewed - Question 22597: An Order-r Total Rule Needs All r Initial Values ·
R0044-22597· Mathematically reviewed - Question 22598: An Order-r Total Rule Needs All r Initial Values ·
R0044-22598· Mathematically reviewed - Question 22599: An Order-r Total Rule Needs All r Initial Values ·
R0044-22599· Mathematically reviewed - Question 22600: An Order-r Total Rule Needs All r Initial Values ·
R0044-22600· Mathematically reviewed
The source bank retains its original candidate and verification labels. Display and symbol checks are not recorded as mathematical review or independent recomputation.
Full publication catalogue JSON · Mathematical review index JSON