{"entities":{"Q1094869":{"pageid":1105621,"ns":120,"title":"Item:Q1094869","lastrevid":66712059,"modified":"2026-04-12T12:19:20Z","type":"item","id":"Q1094869","labels":{"en":{"language":"en","value":"Two normal form theorems for CSP programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4026812"}},"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":"Q1094869$C5C54F5E-8AF7-4073-BE19-460ACD972E93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdda10bd4ee28bbc33fcf7fbcf68b97b6088e558","datavalue":{"value":{"text":"Two normal form theorems for CSP programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094869$47EF9E9C-EDFD-4D9C-A36F-E0C1A232D27C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b88a81bf3fc1d8583a60bde73cd5d76afa5dec2d","datavalue":{"value":"0631.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094869$7E24469E-CED8-4E2A-B579-CAD420C2163D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62696f9bfcba9f6763f10c361df03f4215cb7653","datavalue":{"value":"10.1016/0020-0190(87)90001-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094869$D26E40F8-53AB-493A-993C-3C45836A07A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8c87bbeae8b6bea4f7ced9717f3e861af033eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1060836,"id":"Q1060836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$C5A047DB-2981-413D-8BDE-83C0975E0FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d86f6feacc12974983ecd262a440d3feba418bc","datavalue":{"value":{"entity-type":"item","numeric-id":1094868,"id":"Q1094868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$C9284C9E-E8F0-4081-9F90-3BA12704E438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$0C39DAD5-C88D-4809-BE13-552D3A2C8E62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$9067F955-0708-476D-BF0C-0C7F8B739AA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1094869$E466BA44-0EDF-43DF-9BD0-CF556D2124EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09fbb76f3965749ef1c705f4037f9e7b8d642c6c","datavalue":{"value":"https://ir.cwi.nl/pub/10291","type":"string"},"datatype":"url"},"type":"statement","id":"Q1094869$2EF17358-92BB-454F-AE42-934BC714AF20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f61d79e0fa6d38632d901413172c2995fdec3b06","datavalue":{"value":"We define two normal forms for CSP programs. In the first normal form, each process contains only one I/O repetitive command and all its I/O commands appear as guards of this command. In the second normal form, all guards of this I/O repetitive command are I/O guards. We describe an inductive method that transforms any CSP program into an equivalent program in first or second normal form. The notion of equivalence is discussed. It is shown that no transformation into second normal form can preserve deadlock freedom.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094869$CE99CB30-ABEB-4C7B-BE0E-06119A94F5DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094869$F144DCF2-3480-46F9-8AA1-D900412D7626","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe8272e4a9fc127dc3ba901c57fa703bd462d35d","datavalue":{"value":"4026812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094869$D55CC420-01C6-4AAE-9592-78AEC22864C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a08c5d68564e925aad7c86634efe0aac67fced","datavalue":{"value":"partially interpreted computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094869$5F5CB8DF-E4D9-4B73-8A93-5539E7A0C5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d574d0bb33016cd219cd15d5849f3a8c6a0516","datavalue":{"value":"syntactic equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094869$338EBAEE-EAD5-43B0-A9AE-C37A2F61C91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e83f52178ed96da8aa30580e5d93e51d8336ebe","datavalue":{"value":"deadlock freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094869$AB8090C5-8F19-495B-AC9C-04796474D70E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$8E39EE2D-236D-4891-B3C3-4CD3E63714E7","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":"Q1094869$BBAB31EC-2F6E-413A-8B12-FAB71CD982AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d64ad093757953a292322fe5a30bafdb66312d4e","datavalue":{"value":"W1976295241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094869$C90E92D4-82BB-455E-A5CA-01BA7C732D83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c83eb07c8eb036d8487757e15724d726132008d","datavalue":{"value":{"entity-type":"item","numeric-id":3735060,"id":"Q3735060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$8361BBAD-9AD6-4631-B433-92606C1D9C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bc98961d76a015a22f9e3ac21c1f2ac028b3c","datavalue":{"value":{"entity-type":"item","numeric-id":1094869,"id":"Q1094869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$372EBBE2-40A7-4979-8480-8002D8CAAA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c9a1ee22a38ac5f95a97b95055be9aae500679","datavalue":{"value":{"entity-type":"item","numeric-id":3681912,"id":"Q3681912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$A027E59D-F6BE-471E-8AA4-02C929508955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7402b71ea4bbf991c01bf95776d9a52b2b5419","datavalue":{"value":{"entity-type":"item","numeric-id":3922146,"id":"Q3922146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$2E179EE4-5F15-43DE-92E7-1342229A6793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a520a1f46b10b70d31beacbb5e1b11c78a2f48","datavalue":{"value":{"entity-type":"item","numeric-id":3929024,"id":"Q3929024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$A2839C2F-8E96-457C-AF2B-A16BFCDA5CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a7eaa91dd10a63c63543291b47baca80ced053f","datavalue":{"value":{"entity-type":"item","numeric-id":3339299,"id":"Q3339299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$9A43D640-3474-4957-84C5-76FB4997F12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04423ef643adfc05648864517dad32b25804c149","datavalue":{"value":{"entity-type":"item","numeric-id":3870277,"id":"Q3870277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$5AF9BCB7-555D-4151-80FA-9BC6510DBF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$CD1AFE97-0E45-4E0D-8DCB-7056CC99C356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5284f7991c38fae99078136506785628d19da5a","datavalue":{"value":{"entity-type":"item","numeric-id":4158461,"id":"Q4158461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$3E6BC0DA-3212-4AA0-BC8D-5447884FAA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$B78D1D27-277F-4DF8-A098-A5CF40005370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$280B150A-8C40-4A0D-9806-471A9059823A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6607a9639f78bb0cc5f06cb1698e90f8d071931","datavalue":{"value":{"entity-type":"item","numeric-id":1104075,"id":"Q1104075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094869$6D17F278-71FA-459E-9ECF-2E6930186784","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cdc931f42d951f372530823ebb2eaa6fe1a0d1","datavalue":{"value":{"entity-type":"item","numeric-id":1104075,"id":"Q1104075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7853c17753cf13bbba294b003b24c22440cb92cd","datavalue":{"value":{"amount":"+0.8531019687652588","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":"Q1094869$68509B25-7939-498E-A699-F78ACB529E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca28266efa19ec073288c96e84840d3b5dcade8","datavalue":{"value":{"entity-type":"item","numeric-id":3687725,"id":"Q3687725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7412f019e23a84e5e0ad042f6ce1ebdd9a2d77af","datavalue":{"value":{"amount":"+0.7448245882987976","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":"Q1094869$09BABF31-87D9-4F0F-9C40-51372C619454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1411ffa50e4b7669c1ceee32245aaf3082fa9d55","datavalue":{"value":{"entity-type":"item","numeric-id":5964014,"id":"Q5964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11fd9cdb0b8021aa1e2753961a299e8b9c220d0","datavalue":{"value":{"amount":"+0.7413458824157715","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":"Q1094869$26348BF5-27AD-4D77-839A-3F252BFEF728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c84af6b8efbe2335a27afbefd7ccede873ba78e","datavalue":{"value":{"entity-type":"item","numeric-id":549683,"id":"Q549683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b91fa872bacb326b17b675eed5372f0c8b5d41","datavalue":{"value":{"amount":"+0.7411904335021973","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":"Q1094869$8BC6AF81-6EDA-4AFF-9435-BCA0F6DD4EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92422e9dca93670888274cfce8bc2284fb2cf22d","datavalue":{"value":{"entity-type":"item","numeric-id":5184398,"id":"Q5184398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3278c19c98c56e1295df86f48d831b8cd6f9c5e","datavalue":{"value":{"amount":"+0.7333894371986389","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":"Q1094869$5D945A92-52B8-4527-9535-AC575682FEDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two normal form theorems for CSP programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_normal_form_theorems_for_CSP_programs"}}}}}