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 9601: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09601· Mathematically reviewed - Question 9602: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09602· Mathematically reviewed - Question 9603: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09603· Mathematically reviewed - Question 9604: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09604· Mathematically reviewed - Question 9605: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09605· Mathematically reviewed - Question 9606: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09606· Mathematically reviewed - Question 9607: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09607· Mathematically reviewed - Question 9608: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09608· Mathematically reviewed - Question 9609: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09609· Mathematically reviewed - Question 9610: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09610· Mathematically reviewed - Question 9611: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09611· Mathematically reviewed - Question 9612: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09612· Mathematically reviewed - Question 9613: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09613· Mathematically reviewed - Question 9614: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09614· Mathematically reviewed - Question 9615: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09615· Mathematically reviewed - Question 9616: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09616· Mathematically reviewed - Question 9617: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09617· Mathematically reviewed - Question 9618: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09618· Mathematically reviewed - Question 9619: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09619· Mathematically reviewed - Question 9620: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09620· Mathematically reviewed - Question 9621: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09621· Mathematically reviewed - Question 9622: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09622· Mathematically reviewed - Question 9623: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09623· Mathematically reviewed - Question 9624: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09624· Mathematically reviewed - Question 9625: All-Path Finite Termination and Reachable Nonhalting Cycles ·
R0018-09625· Mathematically reviewed - Question 9626: Reachable Halt, Stuck, and Active States ·
R0018-09626· Mathematically reviewed - Question 9627: Reachable Halt, Stuck, and Active States ·
R0018-09627· Mathematically reviewed - Question 9628: Reachable Halt, Stuck, and Active States ·
R0018-09628· Mathematically reviewed - Question 9629: Reachable Halt, Stuck, and Active States ·
R0018-09629· Mathematically reviewed - Question 9630: Reachable Halt, Stuck, and Active States ·
R0018-09630· Mathematically reviewed - Question 9631: Reachable Halt, Stuck, and Active States ·
R0018-09631· Mathematically reviewed - Question 9632: Reachable Halt, Stuck, and Active States ·
R0018-09632· Mathematically reviewed - Question 9633: Reachable Halt, Stuck, and Active States ·
R0018-09633· Mathematically reviewed - Question 9634: Reachable Halt, Stuck, and Active States ·
R0018-09634· Mathematically reviewed - Question 9635: Reachable Halt, Stuck, and Active States ·
R0018-09635· Mathematically reviewed - Question 9636: Reachable Halt, Stuck, and Active States ·
R0018-09636· Mathematically reviewed - Question 9637: Reachable Halt, Stuck, and Active States ·
R0018-09637· Mathematically reviewed - Question 9638: Reachable Halt, Stuck, and Active States ·
R0018-09638· Mathematically reviewed - Question 9639: Reachable Halt, Stuck, and Active States ·
R0018-09639· Mathematically reviewed - Question 9640: Reachable Halt, Stuck, and Active States ·
R0018-09640· Mathematically reviewed - Question 9641: Reachable Halt, Stuck, and Active States ·
R0018-09641· Mathematically reviewed - Question 9642: Reachable Halt, Stuck, and Active States ·
R0018-09642· Mathematically reviewed - Question 9643: Reachable Halt, Stuck, and Active States ·
R0018-09643· Mathematically reviewed - Question 9644: Reachable Halt, Stuck, and Active States ·
R0018-09644· Mathematically reviewed - Question 9645: Reachable Halt, Stuck, and Active States ·
R0018-09645· Mathematically reviewed - Question 9646: Reachable Halt, Stuck, and Active States ·
R0018-09646· Mathematically reviewed - Question 9647: Reachable Halt, Stuck, and Active States ·
R0018-09647· Mathematically reviewed - Question 9648: Reachable Halt, Stuck, and Active States ·
R0018-09648· Mathematically reviewed - Question 9649: Reachable Halt, Stuck, and Active States ·
R0018-09649· Mathematically reviewed - Question 9650: Reachable Halt, Stuck, and Active States ·
R0018-09650· Mathematically reviewed - Question 9651: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09651· Mathematically reviewed - Question 9652: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09652· Mathematically reviewed - Question 9653: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09653· Mathematically reviewed - Question 9654: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09654· Mathematically reviewed - Question 9655: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09655· Mathematically reviewed - Question 9656: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09656· Mathematically reviewed - Question 9657: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09657· Mathematically reviewed - Question 9658: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09658· Mathematically reviewed - Question 9659: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09659· Mathematically reviewed - Question 9660: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09660· Mathematically reviewed - Question 9661: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09661· Mathematically reviewed - Question 9662: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09662· Mathematically reviewed - Question 9663: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09663· Mathematically reviewed - Question 9664: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09664· Mathematically reviewed - Question 9665: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09665· Mathematically reviewed - Question 9666: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09666· Mathematically reviewed - Question 9667: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09667· Mathematically reviewed - Question 9668: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09668· Mathematically reviewed - Question 9669: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09669· Mathematically reviewed - Question 9670: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09670· Mathematically reviewed - Question 9671: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09671· Mathematically reviewed - Question 9672: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09672· Mathematically reviewed - Question 9673: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09673· Mathematically reviewed - Question 9674: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09674· Mathematically reviewed - Question 9675: Complete Reachability with Halt Outgoing Edges Truncated ·
R0018-09675· Mathematically reviewed - Question 9676: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09676· Mathematically reviewed - Question 9677: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09677· Mathematically reviewed - Question 9678: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09678· Mathematically reviewed - Question 9679: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09679· Mathematically reviewed - Question 9680: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09680· Mathematically reviewed - Question 9681: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09681· Mathematically reviewed - Question 9682: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09682· Mathematically reviewed - Question 9683: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09683· Mathematically reviewed - Question 9684: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09684· Mathematically reviewed - Question 9685: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09685· Mathematically reviewed - Question 9686: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09686· Mathematically reviewed - Question 9687: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09687· Mathematically reviewed - Question 9688: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09688· Mathematically reviewed - Question 9689: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09689· Mathematically reviewed - Question 9690: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09690· Mathematically reviewed - Question 9691: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09691· Mathematically reviewed - Question 9692: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09692· Mathematically reviewed - Question 9693: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09693· Mathematically reviewed - Question 9694: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09694· Mathematically reviewed - Question 9695: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09695· Mathematically reviewed - Question 9696: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09696· Mathematically reviewed - Question 9697: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09697· Mathematically reviewed - Question 9698: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09698· Mathematically reviewed - Question 9699: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09699· Mathematically reviewed - Question 9700: Legal Finite Trace Prefix and Post-Halt Continuation Guard ·
R0018-09700· Mathematically reviewed - Question 9701: All Neighborhoods of a Qualified Finite Point ·
R0018-09701· Mathematically reviewed - Question 9702: All Neighborhoods of a Qualified Finite Point ·
R0018-09702· Mathematically reviewed - Question 9703: All Neighborhoods of a Qualified Finite Point ·
R0018-09703· Mathematically reviewed - Question 9704: All Neighborhoods of a Qualified Finite Point ·
R0018-09704· Mathematically reviewed - Question 9705: All Neighborhoods of a Qualified Finite Point ·
R0018-09705· Mathematically reviewed - Question 9706: All Neighborhoods of a Qualified Finite Point ·
R0018-09706· Mathematically reviewed - Question 9707: All Neighborhoods of a Qualified Finite Point ·
R0018-09707· Mathematically reviewed - Question 9708: All Neighborhoods of a Qualified Finite Point ·
R0018-09708· Mathematically reviewed - Question 9709: All Neighborhoods of a Qualified Finite Point ·
R0018-09709· Mathematically reviewed - Question 9710: All Neighborhoods of a Qualified Finite Point ·
R0018-09710· Mathematically reviewed - Question 9711: All Neighborhoods of a Qualified Finite Point ·
R0018-09711· Mathematically reviewed - Question 9712: All Neighborhoods of a Qualified Finite Point ·
R0018-09712· Mathematically reviewed - Question 9713: All Neighborhoods of a Qualified Finite Point ·
R0018-09713· Mathematically reviewed - Question 9714: All Neighborhoods of a Qualified Finite Point ·
R0018-09714· Mathematically reviewed - Question 9715: All Neighborhoods of a Qualified Finite Point ·
R0018-09715· Mathematically reviewed - Question 9716: All Neighborhoods of a Qualified Finite Point ·
R0018-09716· Mathematically reviewed - Question 9717: All Neighborhoods of a Qualified Finite Point ·
R0018-09717· Mathematically reviewed - Question 9718: All Neighborhoods of a Qualified Finite Point ·
R0018-09718· Mathematically reviewed - Question 9719: All Neighborhoods of a Qualified Finite Point ·
R0018-09719· Mathematically reviewed - Question 9720: All Neighborhoods of a Qualified Finite Point ·
R0018-09720· Mathematically reviewed - Question 9721: All Neighborhoods of a Qualified Finite Point ·
R0018-09721· Mathematically reviewed - Question 9722: All Neighborhoods of a Qualified Finite Point ·
R0018-09722· Mathematically reviewed - Question 9723: All Neighborhoods of a Qualified Finite Point ·
R0018-09723· Mathematically reviewed - Question 9724: All Neighborhoods of a Qualified Finite Point ·
R0018-09724· Mathematically reviewed - Question 9725: All Neighborhoods of a Qualified Finite Point ·
R0018-09725· Mathematically reviewed - Question 9726: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09726· Mathematically reviewed - Question 9727: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09727· Mathematically reviewed - Question 9728: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09728· Mathematically reviewed - Question 9729: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09729· Mathematically reviewed - Question 9730: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09730· Mathematically reviewed - Question 9731: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09731· Mathematically reviewed - Question 9732: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09732· Mathematically reviewed - Question 9733: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09733· Mathematically reviewed - Question 9734: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09734· Mathematically reviewed - Question 9735: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09735· Mathematically reviewed - Question 9736: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09736· Mathematically reviewed - Question 9737: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09737· Mathematically reviewed - Question 9738: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09738· Mathematically reviewed - Question 9739: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09739· Mathematically reviewed - Question 9740: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09740· Mathematically reviewed - Question 9741: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09741· Mathematically reviewed - Question 9742: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09742· Mathematically reviewed - Question 9743: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09743· Mathematically reviewed - Question 9744: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09744· Mathematically reviewed - Question 9745: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09745· Mathematically reviewed - Question 9746: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09746· Mathematically reviewed - Question 9747: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09747· Mathematically reviewed - Question 9748: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09748· Mathematically reviewed - Question 9749: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09749· Mathematically reviewed - Question 9750: Containment, Openness, and Neighborhood Status Are Different ·
R0018-09750· Mathematically reviewed - Question 9751: Neighborhood Upward-Closure Guards ·
R0018-09751· Mathematically reviewed - Question 9752: Neighborhood Upward-Closure Guards ·
R0018-09752· Mathematically reviewed - Question 9753: Neighborhood Upward-Closure Guards ·
R0018-09753· Mathematically reviewed - Question 9754: Neighborhood Upward-Closure Guards ·
R0018-09754· Mathematically reviewed - Question 9755: Neighborhood Upward-Closure Guards ·
R0018-09755· Mathematically reviewed - Question 9756: Neighborhood Upward-Closure Guards ·
R0018-09756· Mathematically reviewed - Question 9757: Neighborhood Upward-Closure Guards ·
R0018-09757· Mathematically reviewed - Question 9758: Neighborhood Upward-Closure Guards ·
R0018-09758· Mathematically reviewed - Question 9759: Neighborhood Upward-Closure Guards ·
R0018-09759· Mathematically reviewed - Question 9760: Neighborhood Upward-Closure Guards ·
R0018-09760· Mathematically reviewed - Question 9761: Neighborhood Upward-Closure Guards ·
R0018-09761· Mathematically reviewed - Question 9762: Neighborhood Upward-Closure Guards ·
R0018-09762· Mathematically reviewed - Question 9763: Neighborhood Upward-Closure Guards ·
R0018-09763· Mathematically reviewed - Question 9764: Neighborhood Upward-Closure Guards ·
R0018-09764· Mathematically reviewed - Question 9765: Neighborhood Upward-Closure Guards ·
R0018-09765· Mathematically reviewed - Question 9766: Neighborhood Upward-Closure Guards ·
R0018-09766· Mathematically reviewed - Question 9767: Neighborhood Upward-Closure Guards ·
R0018-09767· Mathematically reviewed - Question 9768: Neighborhood Upward-Closure Guards ·
R0018-09768· Mathematically reviewed - Question 9769: Neighborhood Upward-Closure Guards ·
R0018-09769· Mathematically reviewed - Question 9770: Neighborhood Upward-Closure Guards ·
R0018-09770· Mathematically reviewed - Question 9771: Neighborhood Upward-Closure Guards ·
R0018-09771· Mathematically reviewed - Question 9772: Neighborhood Upward-Closure Guards ·
R0018-09772· Mathematically reviewed - Question 9773: Neighborhood Upward-Closure Guards ·
R0018-09773· Mathematically reviewed - Question 9774: Neighborhood Upward-Closure Guards ·
R0018-09774· Mathematically reviewed - Question 9775: Neighborhood Upward-Closure Guards ·
R0018-09775· Mathematically reviewed - Question 9776: Point Guard and Every Open Neighborhood Witness ·
R0018-09776· Mathematically reviewed - Question 9777: Point Guard and Every Open Neighborhood Witness ·
R0018-09777· Mathematically reviewed - Question 9778: Point Guard and Every Open Neighborhood Witness ·
R0018-09778· Mathematically reviewed - Question 9779: Point Guard and Every Open Neighborhood Witness ·
R0018-09779· Mathematically reviewed - Question 9780: Point Guard and Every Open Neighborhood Witness ·
R0018-09780· Mathematically reviewed - Question 9781: Point Guard and Every Open Neighborhood Witness ·
R0018-09781· Mathematically reviewed - Question 9782: Point Guard and Every Open Neighborhood Witness ·
R0018-09782· Mathematically reviewed - Question 9783: Point Guard and Every Open Neighborhood Witness ·
R0018-09783· Mathematically reviewed - Question 9784: Point Guard and Every Open Neighborhood Witness ·
R0018-09784· Mathematically reviewed - Question 9785: Point Guard and Every Open Neighborhood Witness ·
R0018-09785· Mathematically reviewed - Question 9786: Point Guard and Every Open Neighborhood Witness ·
R0018-09786· Mathematically reviewed - Question 9787: Point Guard and Every Open Neighborhood Witness ·
R0018-09787· Mathematically reviewed - Question 9788: Point Guard and Every Open Neighborhood Witness ·
R0018-09788· Mathematically reviewed - Question 9789: Point Guard and Every Open Neighborhood Witness ·
R0018-09789· Mathematically reviewed - Question 9790: Point Guard and Every Open Neighborhood Witness ·
R0018-09790· Mathematically reviewed - Question 9791: Point Guard and Every Open Neighborhood Witness ·
R0018-09791· Mathematically reviewed - Question 9792: Point Guard and Every Open Neighborhood Witness ·
R0018-09792· Mathematically reviewed - Question 9793: Point Guard and Every Open Neighborhood Witness ·
R0018-09793· Mathematically reviewed - Question 9794: Point Guard and Every Open Neighborhood Witness ·
R0018-09794· Mathematically reviewed - Question 9795: Point Guard and Every Open Neighborhood Witness ·
R0018-09795· Mathematically reviewed - Question 9796: Point Guard and Every Open Neighborhood Witness ·
R0018-09796· Mathematically reviewed - Question 9797: Point Guard and Every Open Neighborhood Witness ·
R0018-09797· Mathematically reviewed - Question 9798: Point Guard and Every Open Neighborhood Witness ·
R0018-09798· Mathematically reviewed - Question 9799: Point Guard and Every Open Neighborhood Witness ·
R0018-09799· Mathematically reviewed - Question 9800: Point Guard and Every Open Neighborhood Witness ·
R0018-09800· 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