{"entities":{"Q1895038":{"pageid":1905780,"ns":120,"title":"Item:Q1895038","lastrevid":74177121,"modified":"2026-04-14T18:48:04Z","type":"item","id":"Q1895038","labels":{"en":{"language":"en","value":"On multilevel structured program design for process-control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780296"}},"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":"Q1895038$2016CB31-6659-4396-8A09-F16E59F2B27D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb8fad2d44eb56203feb27b17ed8f3d4dbfb680d","datavalue":{"value":{"text":"On multilevel structured program design for process-control systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895038$3342A6DF-53F2-46E4-BB7C-EA8AE536F23F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1bc2f1dcc29e3cfef90202d22c24832f0676e37","datavalue":{"value":"0830.93047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895038$335B802D-93EE-4531-AF21-FF9FA449CFB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad3a6532fa30a69583d39152a890ed679f89a02a","datavalue":{"value":"10.1007/BF01130083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895038$14853606-29DC-485A-9A7B-196798EEAA2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$9ED03683-51ED-4DF6-A973-43BB0B6B3956","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19216b5631ab2959a22cb1886f3fbbc3003fecf5","datavalue":{"value":{"time":"+1995-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1895038$1DC0961E-1B74-4D13-BDA1-8B4A64766FAB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1f40ee8f11d96e165590b509206a93917a90577b","datavalue":{"value":"This paper presents a formal design and analysis method for developing multilevel structured programs for control systems. A system of algorithmic algebras is constructed, based on a set of logic conditions and operations signature (a system of logic operations on sets and objects).    The paper examines the specification of static control programs and their transformation, the synchronization problem in a parallel computation environment and the specification of abstract data types, all these as applications of the formal design method that is introduced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895038$54204DC6-BD1A-4235-B10B-F12AB1423E8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895038$A7783A7B-1DAE-4A78-9D21-CFF4CEACD4AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6192b4882bb7a7305a51f939fd786079490475be","datavalue":{"value":"780296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895038$923AE5DC-ED1D-4BD6-89FD-E9158974EC65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041796aa66fbdbc3a0976769c44b768bbd9ced67","datavalue":{"value":"process control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895038$90102817-3D0A-4AF3-918B-FF1E2C89E2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16b2e239588ab4fdb72d7fa48d345b6a98c960e0","datavalue":{"value":"multilevel structured programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895038$C56623EB-7654-4F16-ACF1-10438E1928E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895038$210FDEDC-4D0C-4EE0-B624-556F8B055730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431ad0527b194c43bf7b26fc7f3a3705c49e72a4","datavalue":{"value":"parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895038$D3D0BD51-4FA8-455D-971F-AFD736ECB898","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dd1fc1b46535d742520008d8b35bf3d1cdc9907","datavalue":{"value":{"entity-type":"item","numeric-id":466020,"id":"Q466020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$3D368F83-2430-4076-908D-59242C0D597B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5aa9644b9879734e06f64e349e73e521f5259f99","datavalue":{"value":{"entity-type":"item","numeric-id":446373,"id":"Q446373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$AF0FDF40-AADE-4087-97EE-7CB9DE17077F","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":"Q1895038$514E2944-D572-4EB1-B723-E1B86FE845D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c201a6eadede010c62e4afcdfba156b3b6d58cd","datavalue":{"value":{"entity-type":"item","numeric-id":1816327,"id":"Q1816327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$5B23D91A-9B24-4873-B540-449AFAFFFC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff3114013ec3471dff6e4bf2f618a105f5cf740","datavalue":{"value":{"entity-type":"item","numeric-id":4007503,"id":"Q4007503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$9D8874FF-432E-4074-8EC2-4F75881D65F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04584f5287dd0acf19ce9a7757c0f28c0de62780","datavalue":{"value":{"entity-type":"item","numeric-id":2646253,"id":"Q2646253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$F48C29DD-25E7-4592-8EC6-DE4502A58C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70c679b7b88c318584023d3e0846d6b5af4eb5c","datavalue":{"value":{"entity-type":"item","numeric-id":1239339,"id":"Q1239339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$363075D4-32BB-4009-B9B9-0892D939F648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bebedbf13874b9ef42ab57c21d511466dac18346","datavalue":{"value":{"entity-type":"item","numeric-id":3918109,"id":"Q3918109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$AE300007-6040-4C88-AC2E-AD065CED3282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8e39ed6e84355d3f3b7035d402dd7b46cb1834","datavalue":{"value":{"entity-type":"item","numeric-id":5672949,"id":"Q5672949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$BC772C95-A38E-407A-952D-CA38B130E364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9260884850e89621398f32cd37be7295935cee80","datavalue":{"value":{"entity-type":"item","numeric-id":3204521,"id":"Q3204521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$8A6F96CC-C463-43DD-88B6-E231E21557D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576da6db824e98ee0535a30132da21c4d74385e6","datavalue":{"value":{"entity-type":"item","numeric-id":4732444,"id":"Q4732444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895038$25E5E9B6-CD10-43C7-A452-6DBD45E3E480","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94f2f8ae649485a04629048d0696ae29cba3e87","datavalue":{"value":{"entity-type":"item","numeric-id":3217580,"id":"Q3217580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806df79b795c25e2d2a76a11601851afb41588dd","datavalue":{"value":{"amount":"+0.7774120569229126","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":"Q1895038$B102319D-F4C5-419D-A721-7D2CBF6FE01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983e64ea95e11950c97ba3363d84903ee16727bf","datavalue":{"value":{"entity-type":"item","numeric-id":3683523,"id":"Q3683523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76df62708be0fc06a2b79519850ffb64d623c62","datavalue":{"value":{"amount":"+0.7352678179740906","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":"Q1895038$733EA6CA-BF11-449F-B749-1478BB1FC749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90a899caba4cf8be6c45771f3e60f6d20012801","datavalue":{"value":{"entity-type":"item","numeric-id":3325006,"id":"Q3325006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef470554aae7a81465f80dcdade609f1cb14f7f","datavalue":{"value":{"amount":"+0.7316678166389465","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":"Q1895038$FF39147D-87A6-4625-8EE6-9A0F4CC82648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704a1c5aa7741ffd48aef71c8b7046a88e827521","datavalue":{"value":{"entity-type":"item","numeric-id":4884901,"id":"Q4884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85108332801170c6667358a66a74d1849a92f22f","datavalue":{"value":{"amount":"+0.7226434946060181","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":"Q1895038$DDA5D76B-A743-4B56-9FF6-82A12C122965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49278dc3d4ec9621e77679baadb5894f7a09b192","datavalue":{"value":{"entity-type":"item","numeric-id":1910977,"id":"Q1910977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000d8e614ec871d10101bcdf2d67b74e80378a2a","datavalue":{"value":{"amount":"+0.7167015671730042","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":"Q1895038$BEC6E3C4-4E28-4514-A5CB-810DA1E6E14C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On multilevel structured program design for process-control systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_multilevel_structured_program_design_for_process-control_systems"}}}}}