{"entities":{"Q797988":{"pageid":799836,"ns":120,"title":"Item:Q797988","lastrevid":64450677,"modified":"2026-04-11T19:57:30Z","type":"item","id":"Q797988","labels":{"en":{"language":"en","value":"Weak equivalence in a class of structured program schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3870577"}},"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":"Q797988$5C14B7B3-B111-4A65-9AC9-165E58B90D46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46b140e3929342250e259e49ce20b04de6676635","datavalue":{"value":{"text":"Weak equivalence in a class of structured program schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797988$CCA6B075-C8C0-42BA-98E0-DBE8F3991F58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4c51d4cde196dcdd5b9cc05c4506529cc3f6ee7","datavalue":{"value":"0546.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797988$23DEB785-A531-487E-B2E2-57C5AD6D92C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3f5460239b5993f0fdefee7928b2e5ee96f78c6","datavalue":{"value":"10.1016/0022-0000(84)90016-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797988$D64E9A2B-2D79-4764-A344-E4607746B91D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91fbf73212684ce7f13d1266fad4cc29a43e4b39","datavalue":{"value":{"entity-type":"item","numeric-id":797987,"id":"Q797987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797988$202B5B43-080A-4F42-A49D-A6BEEE16D6C7","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":"Q797988$5CCBC28A-9C19-4E54-B6EF-1F3DF4DB1286","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q797988$BCEC0D85-A44D-4E58-88AB-B4DCA149153A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9eb10f480398f4dae74ad20cc5a4ad0aca765a4f","datavalue":{"value":"Given predicates \\(P_ i\\) and biscalar \\(F_ i\\), \\(l\\leq i\\leq n\\), the operation \\(\\Omega_ n(P_ 1,F_ 1,...,P_ n,F_ n)\\) yields a scheme. For any positive integer \\(n,BJ_ n\\) is defined to be the least class of schemes containing the trivial scheme and the atomic schemes closed under composition, binary alternation, and the operations \\(\\Omega_ i\\), 1\\(\\leq i\\leq n\\). \\(BJ_ 1\\) is the well-known class of D-schemes. Two program schemes are weakly equivalent if they compute the same partial function in every interpretation: equational axioms for the weak equivalence of strongly free \\(BJ_ n\\) schemes are presented. It follows from the proof of the completeness of these axioms that there is a unique minimal strongly free \\(BJ_ n\\) scheme weakly equivalent to a given strongly free \\(BJ_ n\\) scheme. This result is used to design an algorithm which optimizes strongly free D-schemes: given a strongly free D-scheme F, it is possible to construct the unique minimal strongly free D-scheme \\(F_ M\\) weakly equivalent to F in time proportional to the square of the number of nonexit vertices of F.","type":"string"},"datatype":"string"},"type":"statement","id":"Q797988$C81A44C7-306B-49BA-BBE8-2AD50F4BD7FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797988$48E182E6-8747-4D27-B044-3DA9CE448FE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"307e7d59248fe894a7369744ade1c2f54cfa7a91","datavalue":{"value":"3870577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797988$7AF0B0E3-0A9B-44BF-8AA1-1C7C8A210E47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ed1720e648e83f0dc91cbb7eafb0be5f4086a9","datavalue":{"value":"structured programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q797988$CA849B53-69A0-46E5-8997-60EA230D28DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8716d6197a9642b071041ee48858adff185b19a","datavalue":{"value":"flowcharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q797988$6F547D7F-E8AC-4749-BC98-C2F02EA2C67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766fa595379e7bb0187846f18b0c65a7178167a5","datavalue":{"value":"weak equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q797988$8F334ECE-79EB-4643-A34E-DF02BFD6C16C","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":"Q797988$54B03B6B-13DA-4285-BE7C-E801C6AE648C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5182b8705d34cf4da434e11120ffbb8e8d38bb5f","datavalue":{"value":"https://doi.org/10.1016/0022-0000(84)90016-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q797988$AD87DDFA-6F02-4027-9AC0-6C1E3C2BCA97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ec402a6e8e9db62531a538df5ab3a3c0b1b2c6c","datavalue":{"value":"W2049312593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797988$A30D07F6-A1B8-486A-BB26-4165A1C73502","rank":"normal"}],"P223":[{"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":"Q797988$3D004F0D-5D1C-4C41-9C8D-DD5BC1624364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912eef190988de0cc5af613dc27f0c7249868025","datavalue":{"value":{"entity-type":"item","numeric-id":5736455,"id":"Q5736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797988$47D2CAE8-9CD8-4ABD-82BF-87F45C4ECEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd5be0fecce7c6688670776065e5263cab975f7","datavalue":{"value":{"entity-type":"item","numeric-id":3893301,"id":"Q3893301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797988$DD266D1F-BDD2-4943-A443-C9B2FAA3DE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b5fb3646b325072775e62e8857ce8e144c8ffa","datavalue":{"value":{"entity-type":"item","numeric-id":1212350,"id":"Q1212350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797988$6D94A505-7E44-4800-A9A1-01EDFB607CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5d7080b472e5aa6f3f2f7c2744f6004dd86067","datavalue":{"value":{"entity-type":"item","numeric-id":3988818,"id":"Q3988818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797988$EE151C4A-0732-46B8-B8A1-45E50C5ACDFF","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":"Q797988$F6F621A7-BD2A-498E-9C93-E44750BB6B0E","rank":"normal"}],"P1643":[{"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":"1e21c8d040089100a6b33573612e7085c1399193","datavalue":{"value":{"amount":"+0.8057500123977661","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":"Q797988$21B57F6A-747B-435B-B963-F3E231684411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab42ef86a79c99f7fda7008d2b5024f611a6fb65","datavalue":{"value":{"entity-type":"item","numeric-id":624386,"id":"Q624386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b815279dbba5df210c9a6dbac16fe4f9788206","datavalue":{"value":{"amount":"+0.7777178287506104","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":"Q797988$37D4D85D-3CBA-402C-A37E-CDC0C864174C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4aa8a927e3540a92ac913b3a485ae3bf2878b0","datavalue":{"value":{"entity-type":"item","numeric-id":795496,"id":"Q795496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9cbd0150e4c1521accd26947efd79cbd394ec15","datavalue":{"value":{"amount":"+0.7690733671188354","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":"Q797988$3B6C3E0F-4CF7-4AFD-AD68-C20C2E71C44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc8a65db36e2585bd6d0f1ce39d415365cc8b27","datavalue":{"value":{"entity-type":"item","numeric-id":912596,"id":"Q912596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e523c3764c8208f9acd2617dd555af4f9f9dce9","datavalue":{"value":{"amount":"+0.7644928097724915","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":"Q797988$31104DA0-B197-4B65-BA64-CC72B6F82D5E","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":"d8022d2109903cdf499fc20a312fd83491380d1f","datavalue":{"value":{"amount":"+0.7571524977684021","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":"Q797988$0882B1E8-7A76-436B-A109-260A6A5AFBD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak equivalence in a class of structured program schemes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_equivalence_in_a_class_of_structured_program_schemes"}}}}}