{"entities":{"Q789162":{"pageid":791010,"ns":120,"title":"Item:Q789162","lastrevid":64430937,"modified":"2026-04-11T19:49:46Z","type":"item","id":"Q789162","labels":{"en":{"language":"en","value":"Algebraic characterization of reducible flowcharts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845021"}},"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":"Q789162$146B1540-2520-4808-BFAB-9B576FDF71CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca0838c826e978b994d87f9047200539126c173a","datavalue":{"value":{"text":"Algebraic characterization of reducible flowcharts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789162$AC70B572-5DCA-4FA9-923E-C4169CC1D4A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b7391d40204e35685bdc5acce8c37b5fa81452b","datavalue":{"value":"0532.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789162$1A3CAA35-FB1F-4004-800E-66A16F9BD54A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf5f8a2d7d4c62bec31953e13854cb98b6544d9d","datavalue":{"value":"10.1016/0022-0000(83)90038-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789162$B9BA9777-1CEF-4173-ABDD-AFA1D705C454","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2af8db9ac21724873a575c4c0d908590922d604","datavalue":{"value":{"entity-type":"item","numeric-id":789161,"id":"Q789161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$1CBCBEF2-8A1D-4C73-A324-120150C90F0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$202470B8-DA12-403A-BA3A-C3D06408E4D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q789162$D9200AE2-CFA3-4DED-9EE6-163248A8E146","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5fde6641cfd184012dae1b43a062d4535b14f6f0","datavalue":{"value":"Based on results obtained by Elgot and Shepherdson this paper extends the algebraic characterization of reducible flowcharts to an enlarged class of flowcharts having neither to be fully accessible nor finite. To achieve this extension a new operation on flowcharts is defined, the strong composition, producing almost accessible flowcharts. To cope with infinite flowcharts a partial order is defined. The fact that with respect to this partial order every infinite almost accessible flowchart is the least upper bound of an \\(\\omega\\)-chain of finite flowcharts is used to extend freeness results obtained for classes of finite flowcharts to classes of infinite flowcharts. In an example the results of this paper are used to define the semantics of flowcharts modeling well- structured nondeterministic programs on a stack machine. The results of this paper further allow to define fixpoint semantics of recursive flowchart schemes in a way that is analogous to the case of recursive tree schemes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q789162$AC730C60-5D5F-433E-B9E6-99DC1D943D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789162$4638A58F-2825-47B8-A28E-54766913A4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789162$DE72A68A-51EB-4090-BF6E-14DCE16EDDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789162$61AC8695-994E-47C8-A7AA-12DC81B09943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3dfd96094e636e9dcbeace6e26db0f2f4c232d0","datavalue":{"value":"3845021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789162$BD5EC3B7-1DDA-4114-9135-A393DE592D96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fc1846e79ff3d4b2fcf3338fb02a28163689d2d","datavalue":{"value":"reducible flowchart","type":"string"},"datatype":"string"},"type":"statement","id":"Q789162$21127F3F-B6E1-45DD-AB77-D52BC0D7704E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c9fc0ed500fe68ce17fb2c96ddb74fc7398f388","datavalue":{"value":"flow theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q789162$5BE82EB3-E6EF-4BDE-A322-00E0E8E6B935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf852d1a824c97ef39fa2d8bfb84a13b9fd1ad3d","datavalue":{"value":"free flow theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q789162$A9A968F8-71D4-4CE9-8A1A-B6087F956CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q789162$00604B21-0180-4AC1-B104-FF2576282CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q789162$097495A8-BAA6-44B5-888F-3B2F8AD781EF","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":"Q789162$DD62FA23-6C63-4CC4-975C-B6A76A8C0727","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"513fa13658b23837bbae0870f58e31977f6a9065","datavalue":{"value":"https://doi.org/10.1016/0022-0000(83)90038-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q789162$66F3EA57-16FF-46B9-AAA8-FA87700CA2C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca79a4049a3ed25954b38ce8b7f525d648dcbc3f","datavalue":{"value":"W2066551240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789162$1E1BE42A-BAD9-448E-B924-6243D2C1E8E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$C69C81E6-FB4F-4798-9A3D-C3ACF00A7933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5dcaf87e1f6745acda14dd55addff15f8a3933","datavalue":{"value":{"entity-type":"item","numeric-id":4134935,"id":"Q4134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$0052BA4B-9425-4380-9242-5B6C7A50D9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a8f5ca257597984bc40adebcc761ca0d5d76ae","datavalue":{"value":{"entity-type":"item","numeric-id":1156472,"id":"Q1156472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$4F3238F2-3958-4907-BDB7-F38E45F268F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1debb211bfe3205a2684e38460cc65e1434f3bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4138103,"id":"Q4138103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$7D9F5AEC-CC8D-4A62-B219-49E605CCB5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$88AB7570-1425-43BD-94AC-6986C088895D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fde64b48d10651443eaae13be9a8239bb95c303","datavalue":{"value":{"entity-type":"item","numeric-id":4118796,"id":"Q4118796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$78528868-BE88-4198-B625-0E5F352913A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a13e5b90444ab74959f4e0bd2c2b81d8116216f","datavalue":{"value":{"entity-type":"item","numeric-id":1254851,"id":"Q1254851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$D76FCF8B-A200-4AE4-99BE-435EDEC8ED8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df24ee2d7a89416a891fd4df74ac4899d9b9473","datavalue":{"value":{"entity-type":"item","numeric-id":3930617,"id":"Q3930617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$3D48AF83-EBC8-4F38-9EA5-D094C73167EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce1b9244af2fd65836c07a362e48aa4ea87077a","datavalue":{"value":{"entity-type":"item","numeric-id":4160373,"id":"Q4160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$7746C14D-07FA-4DEC-8CA2-EAF618C53FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb92da13f0874bb8900c2323d452b0e4feb442a8","datavalue":{"value":{"entity-type":"item","numeric-id":4197330,"id":"Q4197330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$6FEE905C-6A0D-48D7-A8B6-F0B0D4EEED66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b937e275c0ef0a9272c03bc291064d4ee3838679","datavalue":{"value":{"entity-type":"item","numeric-id":1152704,"id":"Q1152704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$6468C078-83A7-4E7F-B50A-AA389711ECC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e87898c1343837d22ec6ea31592ef6d59fc68b1","datavalue":{"value":{"entity-type":"item","numeric-id":1157899,"id":"Q1157899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$0161833D-5D69-4375-BABC-CC408D156032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16d9d85173b21e774da3e64ff80b346407abdae","datavalue":{"value":{"entity-type":"item","numeric-id":5681535,"id":"Q5681535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$10359AA8-7098-4639-BF48-9650D7E05AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93484e8ec220b261cb764722c283ac67e15d023","datavalue":{"value":{"entity-type":"item","numeric-id":4060384,"id":"Q4060384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$1BD56A1D-0948-4E4D-B67C-20D1915FC6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff599810f8b3e50ebef10479dd9c43dcd1961ab","datavalue":{"value":{"entity-type":"item","numeric-id":5654197,"id":"Q5654197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$A092E3B9-8451-4F9D-92B4-D957E84DBC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9089fcc8625babcd9d452902c30bf22e6bab16","datavalue":{"value":{"entity-type":"item","numeric-id":4746786,"id":"Q4746786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$080517D0-7D1D-42D9-A6D1-265F8EBB2511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a4eb439b89c590298aae9326bae291cabae7fc","datavalue":{"value":{"entity-type":"item","numeric-id":3945568,"id":"Q3945568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789162$66457C8A-97A7-4051-89A7-92DDFC3CBF40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5aee7f0813a2f23f94c03a637d2e8c6de933bb","datavalue":{"value":{"entity-type":"item","numeric-id":3334051,"id":"Q3334051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba4e1e1102d5d7b69aad72171b1761d1564cb56","datavalue":{"value":{"amount":"+0.8752173185348511","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":"Q789162$553B3271-D5F8-4D8A-98B3-75DF9C2458DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ae26797945c10d5ab96e1a4daf427672d47f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3485876,"id":"Q3485876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ef5b2b838f41f0e97175b9b3e45c276f7296e0","datavalue":{"value":{"amount":"+0.8367440104484558","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":"Q789162$E3748180-989A-49BF-859D-396BDF158C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee312e70fea932124c49654c0371f6f3b3c380c","datavalue":{"value":{"entity-type":"item","numeric-id":3725522,"id":"Q3725522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6800dd6a7be57c7c30b88a9a7fe55af46ffa46a","datavalue":{"value":{"amount":"+0.8147040605545044","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":"Q789162$6EAEB2C5-DA28-4A30-B8F4-1EA4FED11F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c79ad8da2db58eaf57b2d8347d17a4dbb0b7514","datavalue":{"value":{"entity-type":"item","numeric-id":1819574,"id":"Q1819574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22877d72b97d64e5f27ff166ccffdb9959499fd7","datavalue":{"value":{"amount":"+0.8141437768936157","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":"Q789162$5AC4744C-746B-4420-BB3B-EE471A0D619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbf1a42212f1f147441ccdd70bdb86f421cba10","datavalue":{"value":{"entity-type":"item","numeric-id":3826107,"id":"Q3826107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb05d1904ccb3b8e51d15f2cdfdce4ab304109a3","datavalue":{"value":{"amount":"+0.7861171364784241","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":"Q789162$445FD1CA-D17B-4D07-A6AD-DC476CB6B016","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic characterization of reducible flowcharts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_characterization_of_reducible_flowcharts"}}}}}