{"entities":{"Q549684":{"pageid":551451,"ns":120,"title":"Item:Q549684","lastrevid":51292793,"modified":"2026-01-17T15:32:00Z","type":"item","id":"Q549684","labels":{"en":{"language":"en","value":"Changing system interfaces consistently: a new refinement strategy for CSP\\(\\|\\)B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5925511"}},"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":"Q549684$EBAA3EF7-8A10-45BE-917C-49BB7E65049F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e73f392bd0a8f658bccf3de0128fe5f6100e4a6","datavalue":{"value":{"text":"Changing system interfaces consistently: a new refinement strategy for CSP\\(\\|\\)B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549684$420E0B3B-BB67-4829-BA2E-45478A811D04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d447c0e88313f270596d8c7855356fe1d4dc4faf","datavalue":{"value":"1221.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549684$DACB562E-1F90-45D8-BF8E-B7017C382A41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcef273d942d0b5f60b03bbbcafe5ea38575a6f8","datavalue":{"value":{"entity-type":"item","numeric-id":333314,"id":"Q333314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$E5A46694-07DB-41F3-B3FB-D639058193BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf760af8264fe1b213073283cef0a10d170b64e","datavalue":{"value":{"entity-type":"item","numeric-id":293166,"id":"Q293166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$96F61D59-3B97-4B2F-A5DC-37674B363B88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$0E91FFFB-5782-4942-ACA9-3B6B0683D875","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3dd288f91e249ba649089623a2b7d89908afe78c","datavalue":{"value":{"time":"+2011-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549684$C59D8EB4-2B65-4FB8-BB2D-2F340F10CA5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549684$CAE5F2E7-2F46-420C-B16C-CAFDDBA20F20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7a3cedc16229840a23e2e86033bc0b14c693654","datavalue":{"value":"5925511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549684$E38CE028-3BF1-40F5-A460-DA61E5536B27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5d854f303376b7cdc2b3e650670dd1dd2ec1a5","datavalue":{"value":"action refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q549684$AF1FC048-DCF7-4A5C-B980-6C2354309A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a21522b1ca49a6302dfa32c645e84c66dcf6877","datavalue":{"value":"interface refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q549684$526577E2-CC30-44B9-A65E-41EBA2B99CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37df71491130b4003e82897d96ec9074070e9362","datavalue":{"value":"CSP\\(\\|\\)B","type":"string"},"datatype":"string"},"type":"statement","id":"Q549684$2140093B-1046-40AB-A6B4-3128C172B2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041d7d1f61c19a3084ecf26fcb1435c9e5564d1e","datavalue":{"value":"integrating formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q549684$0BB962D2-A1EE-44BF-9FD1-0C5CFEB5A0E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$E566B00A-7423-4C99-B3CF-CF05619F34ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2314653b7fed00d2e3f81cef4b84591a4e2965a7","datavalue":{"value":{"entity-type":"item","numeric-id":19720,"id":"Q19720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$B4427887-7F88-48FF-8D3B-B0423B9A11DD","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":"Q549684$2B84754A-4CC0-4B0E-9740-A01E2017AAD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00990b7c81f0119c5209b184e5ee6f0772bfdc9f","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q549684$E380DBEF-46D8-4F52-93F7-C05C0B228673","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8af4fe90e7a288cd84d0e049601e1dc25de5202d","datavalue":{"value":"W2206868660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549684$B25B7F7C-8D2E-4CB6-920C-6E0AB5927F89","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"166955b32a5d4e49b9f8ddd36ce06367ba741738","datavalue":{"value":"Q60173580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549684$5BDB351B-A27F-417D-B1CC-24EDD0C73886","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$412F1100-2335-49B5-B7E5-8359D13B994F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$63C48C03-E05F-4D9B-A8B0-0CD4CBC66A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a3deac8aeed628e59655f72ead0119db0047cc","datavalue":{"value":{"entity-type":"item","numeric-id":4023588,"id":"Q4023588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$CB376ADA-08CD-429E-AC1C-9195C3FC0058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e57a5ad88ffa86858c490d1020244bda3116a22","datavalue":{"value":{"entity-type":"item","numeric-id":997238,"id":"Q997238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$64CF0DF2-D989-4CFA-992D-A0A8AED55C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$9F60AC78-B093-4821-A331-AA98E5116ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a73e45d8a02c02a1a7e4eee577edcddc70f907","datavalue":{"value":{"entity-type":"item","numeric-id":2724177,"id":"Q2724177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$0694799B-39C1-4CB8-9674-4A96A4AB0C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d081ee1c24ec3a9e4358e339c8f9e821269780b4","datavalue":{"value":{"entity-type":"item","numeric-id":5938702,"id":"Q5938702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$F53A354A-75A5-4083-9F1B-0FE5E78374ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dec0b0e7666406d2ead6b70adfd641079e3f0b4","datavalue":{"value":{"entity-type":"item","numeric-id":1329195,"id":"Q1329195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$D9664A00-EDBF-41B8-BEE7-46B0CDA9B3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d7d6836dc1a6ba39f6068b378565d8232ba3c8","datavalue":{"value":{"entity-type":"item","numeric-id":4436964,"id":"Q4436964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$611860CA-2073-4720-8762-4C292F2C0E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$F33EB18D-8FF5-4B39-928C-063E77CC70F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$CA5DD173-557A-4DAF-878D-119AB335DE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004b6322713c93ba5975d66d08cf938b57dc11ff","datavalue":{"value":{"entity-type":"item","numeric-id":2432218,"id":"Q2432218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$CF7218DF-54F3-4A7B-9925-BFEE2D550908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7877b53c92cb021e6f943301a2c00f53fd33be3","datavalue":{"value":{"entity-type":"item","numeric-id":3605463,"id":"Q3605463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549684$EE072DDD-6A3F-47D1-8DC4-C0995BA959FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68febab85bc35ec943a61a4b2bf31dbea9a6a0b9","datavalue":{"value":"10.1016/J.SCICO.2010.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549684$96C0589F-3983-4E68-9F59-6CD5A8E33B31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f140030355bf290db50437001a3ca019337ac8","datavalue":{"value":{"entity-type":"item","numeric-id":3605463,"id":"Q3605463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f562a559b623d841976f4c0e7e788d86353d59","datavalue":{"value":{"amount":"+0.93924218416214","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":"Q549684$5A76AEF9-FD8B-405F-ADFA-13E2C9F7BD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e55510c286d731f16f6df0ca57db5a082702170","datavalue":{"value":{"entity-type":"item","numeric-id":736910,"id":"Q736910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179241114fa7e921ba9403f4d048e6ae421e9cb0","datavalue":{"value":{"amount":"+0.8176257014274597","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":"Q549684$EE0ADEB9-19A8-470B-83C1-4AA1DA776BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b569f108cf86cee38b137267d8fe09ff3399b3b4","datavalue":{"value":{"entity-type":"item","numeric-id":736913,"id":"Q736913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c411f776800f4e7370cb587178dddb3c191da3f7","datavalue":{"value":{"amount":"+0.7561025023460388","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":"Q549684$2E442C3C-5071-4488-A73D-B078FB3CB956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d45779b99e7723e20b9f409c3ac84e4a9848c3","datavalue":{"value":{"entity-type":"item","numeric-id":4494258,"id":"Q4494258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29f1b417dfb9de05506d62f53056c534a96781a","datavalue":{"value":{"amount":"+0.7536443471908569","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":"Q549684$55EE1F9C-DA9E-4646-9B2F-D77076E22CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84990e60a6afb1919e1705ef6d8bb3eec264edf7","datavalue":{"value":{"entity-type":"item","numeric-id":4471918,"id":"Q4471918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29f1b417dfb9de05506d62f53056c534a96781a","datavalue":{"value":{"amount":"+0.7536443471908569","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":"Q549684$2F96E2ED-51E6-437F-95BB-2CC141696E12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:549684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:549684"}}}}}