{"entities":{"Q1819574":{"pageid":1830316,"ns":120,"title":"Item:Q1819574","lastrevid":49039177,"modified":"2026-01-06T12:29:15Z","type":"item","id":"Q1819574","labels":{"en":{"language":"en","value":"Axiomatizing schemes and their behaviors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3992922"}},"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":"Q1819574$1EC4BCCF-D28B-45F7-BCC6-0C1B2899A49C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8596217b46727159ba89a9b34b37fe9e50c0d23","datavalue":{"value":{"text":"Axiomatizing schemes and their behaviors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819574$F11FECF4-3F66-4E6F-848C-0215700F9473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80e0a60ef62ab78e6f5fbdcaa5ae9c506a1adb6c","datavalue":{"value":"0613.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819574$0F649F99-D656-4F59-9042-BEF555D597A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c13a0e1f84aaa03f6dee098eb06ebece9e8b33e","datavalue":{"value":"10.1016/0022-0000(85)90059-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819574$8E62BC24-D13E-4E07-8A6B-1F2A6CAC925D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$79BC0BB2-45BC-4CE5-9A2F-6171AC5FB027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$984F64BB-F3F3-4EC3-8855-1A6320706765","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":"Q1819574$588A35C5-5A31-498F-A3BA-716A90E09BF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1819574$07F45118-B93D-4EC7-80B9-BD59BDF37314","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4beb2cd5540030c08f35215821c4a6f075adf47e","datavalue":{"value":"Flowcharts represent in an abstract way the family of while programs, and flowchart schemes are flowcharts where the individual atomic steps have not been interpreted. It is a classical question to characterize when two flowchart schemes compute the same function under all possible interpretations. This question has been answered: two schemes are equivalent if they produce the same unwinding as infinitary trees. There remains the problem of determining this equivalence in a more down-to- earth way, for example by a characterization using axioms or, more specifically, by an equational theory.    The name of C. C. Elgot is connected to the algebraic theory which originates from this problem area. The algebras involved are known by the name Iterative theories. The basic algebraic operations are sequential composition, pairing (or more general tuppling), and iteration. The problem was that these operations were not everywhere defined, and therefore a partial algebra resulted.    In the present paper the authors provide an extension of the domain of these operations which turns them into everywhere defined operations. The resulting total algebra is provided with a full and complete equational axiomatization for the required equivalence of program schemes. The paper presumes familiarity with the earlier papers in this area, which it may bring to a temporary conclusion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819574$57B90E38-BCC1-48D4-B4A3-8D876E0F0C07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819574$55943342-6F69-41A7-86E4-62D4A737CF41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a0105675c728ef19e316195e1eb5e873ac126c2","datavalue":{"value":"3992922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819574$412DA605-A70A-421F-889B-3268D3561578","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12625f3c47ce5d779766a66df5c132ff966722d7","datavalue":{"value":"Flowcharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819574$900573FA-33D5-4DDC-B471-21A7D367EC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcdf35d350cd6ce70941db7b755a152d771d3f8d","datavalue":{"value":"while programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819574$1D78F642-A8D1-495F-B2F0-0E779B8896BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a3fcb522d8af8d42e4e29a2f921798d43b1a3e","datavalue":{"value":"flowchart schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819574$48D592AC-FB29-46AE-9CB2-7E2CA23AB75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bce27dc7f6ec376f5caccfdf4e5748aa8997e7a1","datavalue":{"value":"Iterative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819574$71717D98-AF75-44EB-9791-90B74D29945F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfee4e440d0726747a4ef4243ac4cb20af1f3ca","datavalue":{"value":"total algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819574$CDD3FD64-FCA4-43C2-873B-060613AD3D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7606adba97b79deff62f5f698385376d50fe16","datavalue":{"value":"equational axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819574$27A4A5F4-7F06-4518-A198-0C84387E8F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf93ce173346b4c0f252138f7bcb8cabe4e74f87","datavalue":{"value":"equivalence of program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819574$D547510A-1E53-4952-A8E8-5130794C72A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ca9cd2a9131e1d8839142cee57f1e863d7371382","datavalue":{"value":{"entity-type":"item","numeric-id":582045,"id":"Q582045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$3A75E124-2C2A-41A9-B550-6A1F07C7C557","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":"Q1819574$68A682D7-51AD-49E7-983A-7254171BC1D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"512cacdb3f697f41ec7b17e01cbdae9e4087de97","datavalue":{"value":"https://doi.org/10.1016/0022-0000(85)90059-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1819574$7B270633-9984-45DC-BD49-A6557553585F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e55530cd1b23fa7bdeff48033a825b4ec19d333a","datavalue":{"value":"W2044747903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819574$065CE07A-AD2B-4025-8793-E9BF6EAB386F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c8cb30ad32b9270e4d5117a37a9038bce01a05","datavalue":{"value":{"entity-type":"item","numeric-id":1238420,"id":"Q1238420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$72E71034-E1E6-4A6B-97D2-27E6888C44C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bd32c43f80b4526740c56b9e5f69eb0bf94371","datavalue":{"value":{"entity-type":"item","numeric-id":1228350,"id":"Q1228350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$E06D50F0-87FD-43AC-A89E-EFD0A6FD4438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c202e33227baa2761e40f0ccd9a07adfab5acb","datavalue":{"value":{"entity-type":"item","numeric-id":3901654,"id":"Q3901654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$C86DA5DA-1008-46BB-84D1-2CA1DC89CB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70348812daafd116bfbb366841c4e79f93b9f60f","datavalue":{"value":{"entity-type":"item","numeric-id":1257333,"id":"Q1257333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$4D0163AA-7C37-4B39-B45E-209BB5E0705B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e180e8d2869ed052f2a2f904a5219a385cb3f88b","datavalue":{"value":{"entity-type":"item","numeric-id":3960815,"id":"Q3960815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$683145AB-7A5E-412A-93A0-A8FFF15EA7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"095cf2050f4524f8b21f12e3528624ca526fbeef","datavalue":{"value":{"entity-type":"item","numeric-id":799095,"id":"Q799095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$59A1EE52-6FC7-4836-A1CE-91B086AB0B13","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":"Q1819574$F4136CFA-DC78-48A2-8122-52EB6A044E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ac8ec4fec93c2506ea7759f7ea656b5ca3a428","datavalue":{"value":{"entity-type":"item","numeric-id":1251061,"id":"Q1251061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$1A13B726-7BBE-4E23-A4EA-6B892A47DBA3","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":"Q1819574$3B552B3E-EC1A-4D22-BFBC-ECC245C6DBB8","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":"Q1819574$8E8580E6-DF97-44DE-AD7D-55CD1B5F0DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e416b8515a0979765fcc2a4d5979b2e081e0db2","datavalue":{"value":{"entity-type":"item","numeric-id":4165484,"id":"Q4165484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$65FD312C-BB93-4B00-AE6D-FA1932BF8F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$631F99B6-5DEF-4252-B031-0F4B50E9F55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4007f4b03862510122f21d79ff06fc3e5e09218d","datavalue":{"value":{"entity-type":"item","numeric-id":789159,"id":"Q789159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819574$ACAFC213-B9E9-4FF0-99E6-180F740C018B","rank":"normal"}],"P1643":[{"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":"547014cb7551613b37865564e013b233d21df792","datavalue":{"value":{"amount":"+0.8859922885894775","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":"Q1819574$F2E73BAB-E679-45B5-93EE-7F3092F57721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef8038602389cc952324c8c8946b5a392d3b3054","datavalue":{"value":{"entity-type":"item","numeric-id":3702515,"id":"Q3702515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea907cb74a4826ba48ee9861b7012fb4df89c0cc","datavalue":{"value":{"amount":"+0.8815629482269287","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":"Q1819574$69E39E6B-624E-4104-A6B7-0100D9A668DF","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":"f354bb2fbc6d0c841e2fc189d2c673c6369e99b7","datavalue":{"value":{"amount":"+0.8578754663467407","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":"Q1819574$EC82FDDF-E9D7-44A7-AB15-02920F112299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a70e4725acf2f85b0d78cbb0080e6402aa6f24","datavalue":{"value":{"entity-type":"item","numeric-id":3026323,"id":"Q3026323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17c73ea3ce906a93c82bb808598b413ad2e415ef","datavalue":{"value":{"amount":"+0.8553273677825928","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":"Q1819574$078693BF-4867-4125-BDE6-A8B2755594EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dbaa79df94d31f02ff7834f0631dc7f6d565c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3350764,"id":"Q3350764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01648808a5b510a687fce2b8a77f9290494d618c","datavalue":{"value":{"amount":"+0.8511996865272522","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":"Q1819574$859DAD38-05A8-413F-B1F9-89389FEA0F92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1819574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1819574"}}}}}