{"entities":{"Q1369097":{"pageid":1379837,"ns":120,"title":"Item:Q1369097","lastrevid":70261713,"modified":"2026-04-13T13:35:02Z","type":"item","id":"Q1369097","labels":{"en":{"language":"en","value":"An equational axiomatization for multi-exit iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1071911"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$79636ABA-FB8B-4AEE-B071-6E2942FCD24C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58a43fd043a4ecb3b299bae12509bfe474b0ee6a","datavalue":{"value":{"text":"An equational axiomatization for multi-exit iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1369097$7A572F0C-FF02-45B6-B108-33CFFE09F720","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b63492db0c7939149c12adfe4aecbe34ba730f1","datavalue":{"value":"0881.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369097$AD778172-112A-44E2-87FA-13C72F100715","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$D700A224-7404-4136-B653-30F5D2910ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$F453569B-561E-4971-9A5A-BEC93331D7A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$B5E53801-BF7C-4FDC-BBE3-5A736DADD1BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24fb4fe71a2595983b723d9da5040cfe01165fe6","datavalue":{"value":{"time":"+1998-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1369097$8618D27D-D361-4511-9443-8673E4A85DAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64c9a1a1ba7b6ce2da1a2f079990142d19437ed9","datavalue":{"value":"https://semanticscholar.org/paper/4e5ce18dae41c0968a1236186c754cf5a2065776","type":"string"},"datatype":"url"},"type":"statement","id":"Q1369097$3857D620-9485-42D6-B5A9-2ADE943388D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369097$CFCBEC4E-F38A-4C4F-8DBF-F6E58D35CBCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f9cf6ad9646a28ae3ff73c485c47f95bace9059","datavalue":{"value":"1071911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369097$E0E4408C-39D1-4A38-B7D4-70AD3586E6FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a797f12ec2d611e4095c46253086b1b4ac2a19e","datavalue":{"value":"basic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1369097$7F5A6011-CCFC-40E2-90CC-B30018934326","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$B4F1BE41-C9E6-44C0-9ACA-9B67919FF755","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f62220de47934e8128a3e40387de8ebfc7742f20","datavalue":{"value":"W2049510504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369097$97ED8908-A69F-4078-84B3-52F652E1F108","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd631a861a9695337cddb0b15d0ba386658e13d","datavalue":{"value":{"entity-type":"item","numeric-id":1923086,"id":"Q1923086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$1AFCF406-BAC1-4FF4-8EC4-3656DF0E7C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60577f3314c849b2d8dc56a4ebbc25b9494a0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4375631,"id":"Q4375631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$02CD2629-F5BC-4BEF-974D-3D2DE40585A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$8FBCAA61-D5FA-42CD-99B1-E521A97FD0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$763735FF-840B-47E0-AE40-ECE870316E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0ad1cced0b430191c4bc3b4c9a2082c3c31ff6","datavalue":{"value":{"entity-type":"item","numeric-id":4525274,"id":"Q4525274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$61A44BA1-F289-4AFD-9D87-8737F9931785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$92E02A0B-8349-49EF-AF17-3F224C3317BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$1D7CB065-9C52-4848-8451-7C254F615265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb35ba07657c0646fcd49d425df98cbc3ec905ad","datavalue":{"value":{"entity-type":"item","numeric-id":3479542,"id":"Q3479542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$A20E02A0-0098-44DE-ACC4-7F39FB2F0B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$95692A46-B4F7-4D05-8A22-D2BCCC9E85C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905bced2f4ed2fada959527f35930716f00e84f3","datavalue":{"value":{"entity-type":"item","numeric-id":5677070,"id":"Q5677070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$B2D1FA4B-B1F3-47B3-BA47-1D3F9DC9789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c337cdfec2a0c93044682993ac69b5b40c5b5276","datavalue":{"value":{"entity-type":"item","numeric-id":3260577,"id":"Q3260577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$4CEAD8E6-EFAC-4989-9C61-2BE40EBFECF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a7bf5087496ea2670791beff2d302a3b6bcd0c0","datavalue":{"value":{"entity-type":"item","numeric-id":5636310,"id":"Q5636310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$5805F318-DA74-422C-8A2B-D3A32AD5F237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcfd5d986a476d287890338f885cfd01a0953f2","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$D725E93C-0E0B-4F23-80AD-01966DFC5AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1369b26093fdd94a7eeddf6dec291998f31f1433","datavalue":{"value":{"entity-type":"item","numeric-id":1342264,"id":"Q1342264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$541241E7-DCBC-41B7-A459-6A40EE763344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4032349d5444e8fa653a5a8a55d52bd89b969a7","datavalue":{"value":{"entity-type":"item","numeric-id":4880140,"id":"Q4880140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$C862E894-0C1D-4E61-BC1A-F9962DEDD0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776e9bb2630af984cb377be363b40fad99700a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375630,"id":"Q4375630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$1D2ADBB3-84A1-4400-A23E-990BF93A0B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$7E5DC1D4-84A2-49EB-B3F5-B18B4998C41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$1FDDBF21-F6A4-452E-A255-9A2D5F11A448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$E02F9CD5-5EA7-4793-ADC1-2B3EBF78C8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$4587C8DB-2760-4EE5-B83C-5765A2DB17A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$A583E48D-B1AA-4E8C-8579-277EA6F3CEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$92F2C218-3650-433D-BF14-BFC16B3AB3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$6E873EF6-F50C-444D-A3BD-2FD6FCBCD19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$92063952-0FA9-4D1D-B64C-770CED116F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$ECBBAE5B-3D36-4EA7-A19A-D023FA323B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$DBDD9521-01BB-4722-87E4-014222883661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983c6d361b39a1c2df39031e508b7ae6b374912a","datavalue":{"value":{"entity-type":"item","numeric-id":4385527,"id":"Q4385527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$4C0A699C-9817-4745-B99C-74A6B19C2291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$6BD8130F-FC0D-4D2B-ABE9-FCCD3039F551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2f45038ab8e4e4836ac8e04a5fbfcb672edc4f","datavalue":{"value":{"entity-type":"item","numeric-id":5588675,"id":"Q5588675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$71528BA7-527D-42F4-97CF-4D22CA7DE888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a583700fbf84fd4102a2ed450be5c1569efe5b6c","datavalue":{"value":{"entity-type":"item","numeric-id":4279248,"id":"Q4279248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$152ABB53-E149-44FB-BD3A-37FD28494175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7b60c77c0b5f89a27eaf0a201ebe8770436186","datavalue":{"value":{"entity-type":"item","numeric-id":5517672,"id":"Q5517672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1369097$3679EE16-7BAF-474D-902A-CE4C49E33F28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"588ef24b8b553d32c5fa66fd5dd702ba0febaa73","datavalue":{"value":"10.1006/INCO.1997.2645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1369097$3EB0BFC0-7CF3-4578-91E8-F9E34E52DF16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70326fc0036384bb00e41859eec127714b94f647","datavalue":{"value":{"entity-type":"item","numeric-id":1014386,"id":"Q1014386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8075adf2437e9f7a98ff2fef1e58323a4877b5b2","datavalue":{"value":{"amount":"+0.8582858443260193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1369097$1AA9E795-E7DF-43CA-A2CC-E48EE0C80849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0eed1bff4ce59801a27c768da91be71c0d3e6fa","datavalue":{"value":{"entity-type":"item","numeric-id":1274456,"id":"Q1274456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592bb8aab040bb3e1606ffd48b616e02c83344ca","datavalue":{"value":{"amount":"+0.8287503719329834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1369097$21B253C9-C1EE-4643-AEF4-E7D6D6C0F220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9985928ce85af5415458f01657254b2042469c0c","datavalue":{"value":{"entity-type":"item","numeric-id":1342264,"id":"Q1342264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca88bea8d75ef8bba817bffbcca2b7f3de9f1a0","datavalue":{"value":{"amount":"+0.7931899428367615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1369097$9FEB12BD-156E-47F4-A4C8-1CD0DA59DAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f2c5af1fae02a0937718727cfb39f473de15d1","datavalue":{"value":{"entity-type":"item","numeric-id":4571987,"id":"Q4571987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bf2061d56a231b83dfa62010bb56324dbb9e2c","datavalue":{"value":{"amount":"+0.7780733704566956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1369097$27E01292-46D0-4583-ABEF-F15208BE45D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc45bf783bf70ddd003533537f8bed9c6b2a7dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4880140,"id":"Q4880140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5101e7d045fb36041b86c95325591b65beab716","datavalue":{"value":{"amount":"+0.7703396677970886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1369097$9BB346C5-4C33-44C0-949B-3CC05B9AF2C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An equational axiomatization for multi-exit iteration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_equational_axiomatization_for_multi-exit_iteration"}}}}}