{"entities":{"Q1104075":{"pageid":1114827,"ns":120,"title":"Item:Q1104075","lastrevid":69651951,"modified":"2026-04-13T08:28:08Z","type":"item","id":"Q1104075","labels":{"en":{"language":"en","value":"Normalform-Transformationen f\u00fcr CSP-Programme. (Normal form transformations for CSP-programs)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055018"}},"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":"Q1104075$A3F6A667-8968-4316-BB5D-6F3982DF70D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdad54881e535fef6d71ea9e503c7de92b7b764b","datavalue":{"value":{"text":"Normalform-Transformationen f\u00fcr CSP-Programme. (Normal form transformations for CSP-programs)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104075$B7E645D6-A70E-42A9-9063-2CDC8E111F70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"092fab6a301223be15c938b634de4d761e1b6af3","datavalue":{"value":"0646.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104075$F9EFDCFA-9DAD-4349-99CF-10194CD5127A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d143205c04579d9744e73419fc0cdb52399634a2","datavalue":{"value":{"entity-type":"item","numeric-id":1089785,"id":"Q1089785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104075$1660BFA3-A113-44DA-80D2-44828FA90AF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"89f584b757cbc6d392cec4632ec163705cc27def","datavalue":{"value":{"entity-type":"item","numeric-id":218098,"id":"Q218098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104075$ABA2C83A-0891-4F98-BB91-1D48BE4337E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1104075$5A76DE86-E589-45ED-ACEB-305BB88F0B56","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9793556f98d3051105279dd479e916178cdffd48","datavalue":{"value":"For the specification of distributed algorithms CSP has gained a great deal of interest. This tendency arises from the fact that the semantic definition of the most important control structures already refers to global conditions (e.g., distributed termination convention, I/O-guards, failure). These conceptions are very powerful but hard to implement.    Now our approach presents a complete transformation system to map any CSP-program into a version which is easily implementable. The textual manipulations are carried out by the stepwise application of transformations which are composable corresponding to their domains. Their codomains are equivalent and normalized CSP-programs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104075$5D47F6AF-B32B-481B-865C-90A63D09FDE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104075$DEF47C56-B074-445A-B4CA-656DEA805B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104075$C2CE22C3-4A56-4291-9195-FE8E216D9D07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8872f83cfc3197d85b61493ef2f9858376ce50c0","datavalue":{"value":"4055018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104075$6278B118-C989-48B9-ADE8-89EE5E497A66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b50f17782734c318ad6dce023d52bfb0d2377d72","datavalue":{"value":"normal form transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104075$27054303-A38F-4B01-8979-4A325516D290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5f38f0ac3c9dac19ffa21ef2dccfd07ac5114f","datavalue":{"value":"implementation in PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104075$45978A3E-21EF-4DA9-BE8B-5EDF9A9C804D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104075$1EC96210-EFD2-42CA-B226-45DAD8C5A308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387e204c6977d7b097ac93bf9a6ecf723e21df10","datavalue":{"value":"distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104075$3389CE01-B2D7-4BE7-B8FE-F204A22D2572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104075$F7FA0FBD-678A-4D6A-AD0A-46C500270DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b292ee8af1353e1d03957f92604f53c20a12dc","datavalue":{"value":"distributed termination convention","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104075$5B850A87-8ADF-443C-9A68-8F5CB17C7171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e64078dae26221eeb92c2130c90300702e8e6d","datavalue":{"value":"I/O-guards","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104075$153F7989-B107-4B2B-87B8-1CF374E7F8FD","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":"Q1104075$3B70337C-04D0-4D91-B10B-F7DF83493F74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488c21a78dd81d683630ef8f3bd4a8fbadae51c6","datavalue":{"value":{"entity-type":"item","numeric-id":1094869,"id":"Q1094869"},"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":"Q1104075$3B469289-BCA1-44D2-B3EE-B67E082A4175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b9a48830697ac793983e3772c6c49e6f090e84","datavalue":{"value":{"entity-type":"item","numeric-id":1060002,"id":"Q1060002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3598a12a74fc97938a25efbcf119d1c081ad3fa","datavalue":{"value":{"amount":"+0.8048611879348755","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":"Q1104075$645CACB8-2DE0-424F-948D-0E154F1059BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0c6f53a7126ab1e3c3dd7e6a08704fc3bed088","datavalue":{"value":{"entity-type":"item","numeric-id":1089786,"id":"Q1089786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0be27191817dcc06b38ae2e44f5477141f51bed","datavalue":{"value":{"amount":"+0.7747746109962463","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":"Q1104075$769EA5D0-BC2A-4F87-B9B1-8A0A0EF89839","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":"29e4bab3b63bf3230ead95e10e3d85b8c8529af1","datavalue":{"value":{"amount":"+0.751550018787384","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":"Q1104075$F81F9152-8137-4561-BB80-381DE613F7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd69893b09cd363e12307f0fab2a195914809fec","datavalue":{"value":{"entity-type":"item","numeric-id":1284702,"id":"Q1284702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d880fb036c663c1523bf3700899ba82250c39d81","datavalue":{"value":{"amount":"+0.7395927309989929","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":"Q1104075$1C24F1E0-DEEC-4AD2-A0A9-0F3958C49233","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalform-Transformationen f\u00fcr CSP-Programme. (Normal form transformations for CSP-programs)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normalform-Transformationen_f%C3%BCr_CSP-Programme._(Normal_form_transformations_for_CSP-programs)"}}}}}