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 9401: Two Typed Maps and Independently Audited Composition ·
R0017-09401· Mathematically reviewed - Question 9402: Two Typed Maps and Independently Audited Composition ·
R0017-09402· Mathematically reviewed - Question 9403: Two Typed Maps and Independently Audited Composition ·
R0017-09403· Mathematically reviewed - Question 9404: Two Typed Maps and Independently Audited Composition ·
R0017-09404· Mathematically reviewed - Question 9405: Two Typed Maps and Independently Audited Composition ·
R0017-09405· Mathematically reviewed - Question 9406: Two Typed Maps and Independently Audited Composition ·
R0017-09406· Mathematically reviewed - Question 9407: Two Typed Maps and Independently Audited Composition ·
R0017-09407· Mathematically reviewed - Question 9408: Two Typed Maps and Independently Audited Composition ·
R0017-09408· Mathematically reviewed - Question 9409: Two Typed Maps and Independently Audited Composition ·
R0017-09409· Mathematically reviewed - Question 9410: Two Typed Maps and Independently Audited Composition ·
R0017-09410· Mathematically reviewed - Question 9411: Two Typed Maps and Independently Audited Composition ·
R0017-09411· Mathematically reviewed - Question 9412: Two Typed Maps and Independently Audited Composition ·
R0017-09412· Mathematically reviewed - Question 9413: Two Typed Maps and Independently Audited Composition ·
R0017-09413· Mathematically reviewed - Question 9414: Two Typed Maps and Independently Audited Composition ·
R0017-09414· Mathematically reviewed - Question 9415: Two Typed Maps and Independently Audited Composition ·
R0017-09415· Mathematically reviewed - Question 9416: Two Typed Maps and Independently Audited Composition ·
R0017-09416· Mathematically reviewed - Question 9417: Two Typed Maps and Independently Audited Composition ·
R0017-09417· Mathematically reviewed - Question 9418: Two Typed Maps and Independently Audited Composition ·
R0017-09418· Mathematically reviewed - Question 9419: Two Typed Maps and Independently Audited Composition ·
R0017-09419· Mathematically reviewed - Question 9420: Two Typed Maps and Independently Audited Composition ·
R0017-09420· Mathematically reviewed - Question 9421: Two Typed Maps and Independently Audited Composition ·
R0017-09421· Mathematically reviewed - Question 9422: Two Typed Maps and Independently Audited Composition ·
R0017-09422· Mathematically reviewed - Question 9423: Two Typed Maps and Independently Audited Composition ·
R0017-09423· Mathematically reviewed - Question 9424: Two Typed Maps and Independently Audited Composition ·
R0017-09424· Mathematically reviewed - Question 9425: Two Typed Maps and Independently Audited Composition ·
R0017-09425· Mathematically reviewed - Question 9426: Every Target Open Set and Its Full Preimage ·
R0017-09426· Mathematically reviewed - Question 9427: Every Target Open Set and Its Full Preimage ·
R0017-09427· Mathematically reviewed - Question 9428: Every Target Open Set and Its Full Preimage ·
R0017-09428· Mathematically reviewed - Question 9429: Every Target Open Set and Its Full Preimage ·
R0017-09429· Mathematically reviewed - Question 9430: Every Target Open Set and Its Full Preimage ·
R0017-09430· Mathematically reviewed - Question 9431: Every Target Open Set and Its Full Preimage ·
R0017-09431· Mathematically reviewed - Question 9432: Every Target Open Set and Its Full Preimage ·
R0017-09432· Mathematically reviewed - Question 9433: Every Target Open Set and Its Full Preimage ·
R0017-09433· Mathematically reviewed - Question 9434: Every Target Open Set and Its Full Preimage ·
R0017-09434· Mathematically reviewed - Question 9435: Every Target Open Set and Its Full Preimage ·
R0017-09435· Mathematically reviewed - Question 9436: Every Target Open Set and Its Full Preimage ·
R0017-09436· Mathematically reviewed - Question 9437: Every Target Open Set and Its Full Preimage ·
R0017-09437· Mathematically reviewed - Question 9438: Every Target Open Set and Its Full Preimage ·
R0017-09438· Mathematically reviewed - Question 9439: Every Target Open Set and Its Full Preimage ·
R0017-09439· Mathematically reviewed - Question 9440: Every Target Open Set and Its Full Preimage ·
R0017-09440· Mathematically reviewed - Question 9441: Every Target Open Set and Its Full Preimage ·
R0017-09441· Mathematically reviewed - Question 9442: Every Target Open Set and Its Full Preimage ·
R0017-09442· Mathematically reviewed - Question 9443: Every Target Open Set and Its Full Preimage ·
R0017-09443· Mathematically reviewed - Question 9444: Every Target Open Set and Its Full Preimage ·
R0017-09444· Mathematically reviewed - Question 9445: Every Target Open Set and Its Full Preimage ·
R0017-09445· Mathematically reviewed - Question 9446: Every Target Open Set and Its Full Preimage ·
R0017-09446· Mathematically reviewed - Question 9447: Every Target Open Set and Its Full Preimage ·
R0017-09447· Mathematically reviewed - Question 9448: Every Target Open Set and Its Full Preimage ·
R0017-09448· Mathematically reviewed - Question 9449: Every Target Open Set and Its Full Preimage ·
R0017-09449· Mathematically reviewed - Question 9450: Every Target Open Set and Its Full Preimage ·
R0017-09450· Mathematically reviewed - Question 9451: Open Images versus Open Preimages ·
R0017-09451· Mathematically reviewed - Question 9452: Open Images versus Open Preimages ·
R0017-09452· Mathematically reviewed - Question 9453: Open Images versus Open Preimages ·
R0017-09453· Mathematically reviewed - Question 9454: Open Images versus Open Preimages ·
R0017-09454· Mathematically reviewed - Question 9455: Open Images versus Open Preimages ·
R0017-09455· Mathematically reviewed - Question 9456: Open Images versus Open Preimages ·
R0017-09456· Mathematically reviewed - Question 9457: Open Images versus Open Preimages ·
R0017-09457· Mathematically reviewed - Question 9458: Open Images versus Open Preimages ·
R0017-09458· Mathematically reviewed - Question 9459: Open Images versus Open Preimages ·
R0017-09459· Mathematically reviewed - Question 9460: Open Images versus Open Preimages ·
R0017-09460· Mathematically reviewed - Question 9461: Open Images versus Open Preimages ·
R0017-09461· Mathematically reviewed - Question 9462: Open Images versus Open Preimages ·
R0017-09462· Mathematically reviewed - Question 9463: Open Images versus Open Preimages ·
R0017-09463· Mathematically reviewed - Question 9464: Open Images versus Open Preimages ·
R0017-09464· Mathematically reviewed - Question 9465: Open Images versus Open Preimages ·
R0017-09465· Mathematically reviewed - Question 9466: Open Images versus Open Preimages ·
R0017-09466· Mathematically reviewed - Question 9467: Open Images versus Open Preimages ·
R0017-09467· Mathematically reviewed - Question 9468: Open Images versus Open Preimages ·
R0017-09468· Mathematically reviewed - Question 9469: Open Images versus Open Preimages ·
R0017-09469· Mathematically reviewed - Question 9470: Open Images versus Open Preimages ·
R0017-09470· Mathematically reviewed - Question 9471: Open Images versus Open Preimages ·
R0017-09471· Mathematically reviewed - Question 9472: Open Images versus Open Preimages ·
R0017-09472· Mathematically reviewed - Question 9473: Open Images versus Open Preimages ·
R0017-09473· Mathematically reviewed - Question 9474: Open Images versus Open Preimages ·
R0017-09474· Mathematically reviewed - Question 9475: Open Images versus Open Preimages ·
R0017-09475· Mathematically reviewed - Question 9476: One Declared Target-Open Preimage ·
R0017-09476· Mathematically reviewed - Question 9477: One Declared Target-Open Preimage ·
R0017-09477· Mathematically reviewed - Question 9478: One Declared Target-Open Preimage ·
R0017-09478· Mathematically reviewed - Question 9479: One Declared Target-Open Preimage ·
R0017-09479· Mathematically reviewed - Question 9480: One Declared Target-Open Preimage ·
R0017-09480· Mathematically reviewed - Question 9481: One Declared Target-Open Preimage ·
R0017-09481· Mathematically reviewed - Question 9482: One Declared Target-Open Preimage ·
R0017-09482· Mathematically reviewed - Question 9483: One Declared Target-Open Preimage ·
R0017-09483· Mathematically reviewed - Question 9484: One Declared Target-Open Preimage ·
R0017-09484· Mathematically reviewed - Question 9485: One Declared Target-Open Preimage ·
R0017-09485· Mathematically reviewed - Question 9486: One Declared Target-Open Preimage ·
R0017-09486· Mathematically reviewed - Question 9487: One Declared Target-Open Preimage ·
R0017-09487· Mathematically reviewed - Question 9488: One Declared Target-Open Preimage ·
R0017-09488· Mathematically reviewed - Question 9489: One Declared Target-Open Preimage ·
R0017-09489· Mathematically reviewed - Question 9490: One Declared Target-Open Preimage ·
R0017-09490· Mathematically reviewed - Question 9491: One Declared Target-Open Preimage ·
R0017-09491· Mathematically reviewed - Question 9492: One Declared Target-Open Preimage ·
R0017-09492· Mathematically reviewed - Question 9493: One Declared Target-Open Preimage ·
R0017-09493· Mathematically reviewed - Question 9494: One Declared Target-Open Preimage ·
R0017-09494· Mathematically reviewed - Question 9495: One Declared Target-Open Preimage ·
R0017-09495· Mathematically reviewed - Question 9496: One Declared Target-Open Preimage ·
R0017-09496· Mathematically reviewed - Question 9497: One Declared Target-Open Preimage ·
R0017-09497· Mathematically reviewed - Question 9498: One Declared Target-Open Preimage ·
R0017-09498· Mathematically reviewed - Question 9499: One Declared Target-Open Preimage ·
R0017-09499· Mathematically reviewed - Question 9500: One Declared Target-Open Preimage ·
R0017-09500· Mathematically reviewed - Question 9501: Inductiveness versus Merely Covering Reachable States ·
R0018-09501· Mathematically reviewed - Question 9502: Inductiveness versus Merely Covering Reachable States ·
R0018-09502· Mathematically reviewed - Question 9503: Inductiveness versus Merely Covering Reachable States ·
R0018-09503· Mathematically reviewed - Question 9504: Inductiveness versus Merely Covering Reachable States ·
R0018-09504· Mathematically reviewed - Question 9505: Inductiveness versus Merely Covering Reachable States ·
R0018-09505· Mathematically reviewed - Question 9506: Inductiveness versus Merely Covering Reachable States ·
R0018-09506· Mathematically reviewed - Question 9507: Inductiveness versus Merely Covering Reachable States ·
R0018-09507· Mathematically reviewed - Question 9508: Inductiveness versus Merely Covering Reachable States ·
R0018-09508· Mathematically reviewed - Question 9509: Inductiveness versus Merely Covering Reachable States ·
R0018-09509· Mathematically reviewed - Question 9510: Inductiveness versus Merely Covering Reachable States ·
R0018-09510· Mathematically reviewed - Question 9511: Inductiveness versus Merely Covering Reachable States ·
R0018-09511· Mathematically reviewed - Question 9512: Inductiveness versus Merely Covering Reachable States ·
R0018-09512· Mathematically reviewed - Question 9513: Inductiveness versus Merely Covering Reachable States ·
R0018-09513· Mathematically reviewed - Question 9514: Inductiveness versus Merely Covering Reachable States ·
R0018-09514· Mathematically reviewed - Question 9515: Inductiveness versus Merely Covering Reachable States ·
R0018-09515· Mathematically reviewed - Question 9516: Inductiveness versus Merely Covering Reachable States ·
R0018-09516· Mathematically reviewed - Question 9517: Inductiveness versus Merely Covering Reachable States ·
R0018-09517· Mathematically reviewed - Question 9518: Inductiveness versus Merely Covering Reachable States ·
R0018-09518· Mathematically reviewed - Question 9519: Inductiveness versus Merely Covering Reachable States ·
R0018-09519· Mathematically reviewed - Question 9520: Inductiveness versus Merely Covering Reachable States ·
R0018-09520· Mathematically reviewed - Question 9521: Inductiveness versus Merely Covering Reachable States ·
R0018-09521· Mathematically reviewed - Question 9522: Inductiveness versus Merely Covering Reachable States ·
R0018-09522· Mathematically reviewed - Question 9523: Inductiveness versus Merely Covering Reachable States ·
R0018-09523· Mathematically reviewed - Question 9524: Inductiveness versus Merely Covering Reachable States ·
R0018-09524· Mathematically reviewed - Question 9525: Inductiveness versus Merely Covering Reachable States ·
R0018-09525· Mathematically reviewed - Question 9526: Partial Correctness and Its Vacuous Case ·
R0018-09526· Mathematically reviewed - Question 9527: Partial Correctness and Its Vacuous Case ·
R0018-09527· Mathematically reviewed - Question 9528: Partial Correctness and Its Vacuous Case ·
R0018-09528· Mathematically reviewed - Question 9529: Partial Correctness and Its Vacuous Case ·
R0018-09529· Mathematically reviewed - Question 9530: Partial Correctness and Its Vacuous Case ·
R0018-09530· Mathematically reviewed - Question 9531: Partial Correctness and Its Vacuous Case ·
R0018-09531· Mathematically reviewed - Question 9532: Partial Correctness and Its Vacuous Case ·
R0018-09532· Mathematically reviewed - Question 9533: Partial Correctness and Its Vacuous Case ·
R0018-09533· Mathematically reviewed - Question 9534: Partial Correctness and Its Vacuous Case ·
R0018-09534· Mathematically reviewed - Question 9535: Partial Correctness and Its Vacuous Case ·
R0018-09535· Mathematically reviewed - Question 9536: Partial Correctness and Its Vacuous Case ·
R0018-09536· Mathematically reviewed - Question 9537: Partial Correctness and Its Vacuous Case ·
R0018-09537· Mathematically reviewed - Question 9538: Partial Correctness and Its Vacuous Case ·
R0018-09538· Mathematically reviewed - Question 9539: Partial Correctness and Its Vacuous Case ·
R0018-09539· Mathematically reviewed - Question 9540: Partial Correctness and Its Vacuous Case ·
R0018-09540· Mathematically reviewed - Question 9541: Partial Correctness and Its Vacuous Case ·
R0018-09541· Mathematically reviewed - Question 9542: Partial Correctness and Its Vacuous Case ·
R0018-09542· Mathematically reviewed - Question 9543: Partial Correctness and Its Vacuous Case ·
R0018-09543· Mathematically reviewed - Question 9544: Partial Correctness and Its Vacuous Case ·
R0018-09544· Mathematically reviewed - Question 9545: Partial Correctness and Its Vacuous Case ·
R0018-09545· Mathematically reviewed - Question 9546: Partial Correctness and Its Vacuous Case ·
R0018-09546· Mathematically reviewed - Question 9547: Partial Correctness and Its Vacuous Case ·
R0018-09547· Mathematically reviewed - Question 9548: Partial Correctness and Its Vacuous Case ·
R0018-09548· Mathematically reviewed - Question 9549: Partial Correctness and Its Vacuous Case ·
R0018-09549· Mathematically reviewed - Question 9550: Partial Correctness and Its Vacuous Case ·
R0018-09550· Mathematically reviewed - Question 9551: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09551· Mathematically reviewed - Question 9552: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09552· Mathematically reviewed - Question 9553: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09553· Mathematically reviewed - Question 9554: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09554· Mathematically reviewed - Question 9555: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09555· Mathematically reviewed - Question 9556: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09556· Mathematically reviewed - Question 9557: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09557· Mathematically reviewed - Question 9558: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09558· Mathematically reviewed - Question 9559: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09559· Mathematically reviewed - Question 9560: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09560· Mathematically reviewed - Question 9561: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09561· Mathematically reviewed - Question 9562: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09562· Mathematically reviewed - Question 9563: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09563· Mathematically reviewed - Question 9564: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09564· Mathematically reviewed - Question 9565: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09565· Mathematically reviewed - Question 9566: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09566· Mathematically reviewed - Question 9567: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09567· Mathematically reviewed - Question 9568: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09568· Mathematically reviewed - Question 9569: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09569· Mathematically reviewed - Question 9570: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09570· Mathematically reviewed - Question 9571: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09571· Mathematically reviewed - Question 9572: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09572· Mathematically reviewed - Question 9573: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09573· Mathematically reviewed - Question 9574: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09574· Mathematically reviewed - Question 9575: Ranking Decrease, Stuck States, and Actual Termination ·
R0018-09575· Mathematically reviewed - Question 9576: Partial Correctness, Termination, and Total Correctness ·
R0018-09576· Mathematically reviewed - Question 9577: Partial Correctness, Termination, and Total Correctness ·
R0018-09577· Mathematically reviewed - Question 9578: Partial Correctness, Termination, and Total Correctness ·
R0018-09578· Mathematically reviewed - Question 9579: Partial Correctness, Termination, and Total Correctness ·
R0018-09579· Mathematically reviewed - Question 9580: Partial Correctness, Termination, and Total Correctness ·
R0018-09580· Mathematically reviewed - Question 9581: Partial Correctness, Termination, and Total Correctness ·
R0018-09581· Mathematically reviewed - Question 9582: Partial Correctness, Termination, and Total Correctness ·
R0018-09582· Mathematically reviewed - Question 9583: Partial Correctness, Termination, and Total Correctness ·
R0018-09583· Mathematically reviewed - Question 9584: Partial Correctness, Termination, and Total Correctness ·
R0018-09584· Mathematically reviewed - Question 9585: Partial Correctness, Termination, and Total Correctness ·
R0018-09585· Mathematically reviewed - Question 9586: Partial Correctness, Termination, and Total Correctness ·
R0018-09586· Mathematically reviewed - Question 9587: Partial Correctness, Termination, and Total Correctness ·
R0018-09587· Mathematically reviewed - Question 9588: Partial Correctness, Termination, and Total Correctness ·
R0018-09588· Mathematically reviewed - Question 9589: Partial Correctness, Termination, and Total Correctness ·
R0018-09589· Mathematically reviewed - Question 9590: Partial Correctness, Termination, and Total Correctness ·
R0018-09590· Mathematically reviewed - Question 9591: Partial Correctness, Termination, and Total Correctness ·
R0018-09591· Mathematically reviewed - Question 9592: Partial Correctness, Termination, and Total Correctness ·
R0018-09592· Mathematically reviewed - Question 9593: Partial Correctness, Termination, and Total Correctness ·
R0018-09593· Mathematically reviewed - Question 9594: Partial Correctness, Termination, and Total Correctness ·
R0018-09594· Mathematically reviewed - Question 9595: Partial Correctness, Termination, and Total Correctness ·
R0018-09595· Mathematically reviewed - Question 9596: Partial Correctness, Termination, and Total Correctness ·
R0018-09596· Mathematically reviewed - Question 9597: Partial Correctness, Termination, and Total Correctness ·
R0018-09597· Mathematically reviewed - Question 9598: Partial Correctness, Termination, and Total Correctness ·
R0018-09598· Mathematically reviewed - Question 9599: Partial Correctness, Termination, and Total Correctness ·
R0018-09599· Mathematically reviewed - Question 9600: Partial Correctness, Termination, and Total Correctness ·
R0018-09600· 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