{"entities":{"Q3617433":{"pageid":5647339,"ns":120,"title":"Item:Q3617433","lastrevid":87444983,"modified":"2026-06-04T11:42:00Z","type":"item","id":"Q3617433","labels":{"en":{"language":"en","value":"The MEB and CEB Static Analysis for CSP Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5531082"}},"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":"Q3617433$80C2E6AD-E637-48CE-ACA6-DEBCF39EF960","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85902546842022b46c816164d62282446202b30d","datavalue":{"value":{"text":"The MEB and CEB Static Analysis for CSP Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617433$D8725B59-6765-4772-B808-8CCF73630568","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5e7970ae22e5074304d198dd60893c194c70c98","datavalue":{"value":"1185.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617433$04EDB0DC-2652-4CE6-936C-06B1D8105201","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58e29032c1574ee5a8a7a42a129171b3fac7dd0c","datavalue":{"value":"10.1007/978-3-642-00515-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617433$B35367D5-F312-4A22-8875-AD0EC3AA3146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617433$49849814-C6F1-4A23-BC81-69C375CE5811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c796d2f5c701a511849ec6abc30ee86d971d3359","datavalue":{"value":{"entity-type":"item","numeric-id":418181,"id":"Q418181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617433$00C87DFD-2B88-468D-9E3A-A56FA622DA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"884c78e9943241f0ff0b75178e68be61251a12f4","datavalue":{"value":{"entity-type":"item","numeric-id":418183,"id":"Q418183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617433$056FFF93-D4AD-474B-BE46-37646A22DE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03dd4cb8479904681a4194bbbdb537abc2f51d9a","datavalue":{"value":{"entity-type":"item","numeric-id":418184,"id":"Q418184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617433$440C3C66-4567-46EA-9F1C-7FE9BF62AE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12bdbd4ef21c2a6545871977019cb4373b241c73","datavalue":{"value":{"entity-type":"item","numeric-id":418182,"id":"Q418182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617433$A4F8C78A-824C-4704-B22C-DFF4CF9049C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617433$6CCCE833-8A4F-4697-BBF9-B147A18E5896","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617433$8AA7A472-BB86-4F51-ACF9-D098FADBFC21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617433$8378297A-0F30-492C-861D-8B02ABA77AAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aac54bf9e5c5e4d408c8d9e6acce9b9bb65a051e","datavalue":{"value":"5531082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617433$98160FFD-4F10-45C7-A463-B158F2F8485A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617433$EBAE4A2A-696F-4D48-BB08-66DA361CFA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617433$F1D4D44C-A0CF-44CE-9762-FC162C0D7CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617433$8C318B08-6E8D-4569-A7FC-F830DCE47EFE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617433$9A47C886-A513-4EB2-952C-CB1A7A764882","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":"Q3617433$DF88BC28-27DC-4A94-B6BF-9C41BD43945E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b2c223c55672781624309a4e7494110f7adcd847","datavalue":{"value":"Q57689971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617433$94F7E485-EE6C-463E-A5AB-2477DB31CFB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"994eee5bf218be1ba053b90c347c218878716e84","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00515-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617433$BB065FA4-8DBC-4FB5-8C37-D8FF35DC776F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b3bd0eabf11e416ce6051b9c54554d2fb1396a3","datavalue":{"value":"W1484709164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617433$5CE9F737-90EC-48AD-B41B-541F5F3F7A9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b97aca54adf177a5e36876787b326a7b96eca9","datavalue":{"value":{"entity-type":"item","numeric-id":5716878,"id":"Q5716878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617433$EF6E079A-180A-408B-BEB6-DB73E1B6B7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427a050d6a10876443a15cfe34d5c026b05dff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3761672,"id":"Q3761672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617433$48D87BBB-88AB-4F5A-A519-AE8840CF6B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617433$1EF93EFA-6795-43ED-969C-CE1F3CC91E46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8efc8c7430246b76b9c5d04dac1dde5a944c611","datavalue":{"value":{"entity-type":"item","numeric-id":3347264,"id":"Q3347264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795cd102aa23b6cfcf1fd3e6bd2181a8982b4fe4","datavalue":{"value":{"amount":"+0.779054582118988","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":"Q3617433$AFDC83F3-0D7D-483C-B593-00A2ED4A558E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291ab6ebcc842f56b00ee02cee832f47e6363025","datavalue":{"value":{"entity-type":"item","numeric-id":418185,"id":"Q418185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4db790f68bf54124b3db0973fab48c83fccbd16","datavalue":{"value":{"amount":"+0.775997519493103","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":"Q3617433$E57C49A0-BA07-4340-B4C5-0FE82B17F2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e97dfbae39c0c0307c5fec977c6064138811c81","datavalue":{"value":{"entity-type":"item","numeric-id":3003484,"id":"Q3003484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9712c17f696b3d51604916be5ff4e41c24a92095","datavalue":{"value":{"amount":"+0.7590163946151733","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":"Q3617433$DA02C587-07D1-4E73-8DC9-0CD79D750A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e209e97a0629ef66ce7dfbb5aa88a6f7673bc062","datavalue":{"value":{"entity-type":"item","numeric-id":3608880,"id":"Q3608880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5121a83fddc6920422ad87caba5d503df1e3b7d","datavalue":{"value":{"amount":"+0.7269703149795532","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":"Q3617433$6BF29A6A-9C7B-4236-AC2A-B916E104DC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a607bb74a48c654de505e08b7d18422fd7d7ab","datavalue":{"value":{"entity-type":"item","numeric-id":1857275,"id":"Q1857275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9840f86932cdab0a8dcb1e524ab128572f8019","datavalue":{"value":{"amount":"+0.6972732543945312","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":"Q3617433$90389DB0-2568-48F9-B47C-13FBCD0CA438","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The MEB and CEB Static Analysis for CSP Specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_MEB_and_CEB_Static_Analysis_for_CSP_Specifications"}}}}}