{"entities":{"Q5505425":{"pageid":7534985,"ns":120,"title":"Item:Q5505425","lastrevid":50550098,"modified":"2026-01-14T09:03:48Z","type":"item","id":"Q5505425","labels":{"en":{"language":"en","value":"An Algebraic Semantics for Contract-Based Software Components"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498141"}},"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":"Q5505425$DFBAF0CE-4980-43C5-A8CB-05C48E407036","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7bb0aba084efd9fd6e13888aecfe173a1828d9c","datavalue":{"value":{"text":"An Algebraic Semantics for Contract-Based Software Components","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505425$1667DC6F-82F0-4EF9-ACDA-87E5E5BE07FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34a869d97a77ab70e3bcf09d72ecd68fb790dbbd","datavalue":{"value":"1170.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505425$A01FD4C0-2B90-43F2-A965-4CB8AA53C026","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56faaac71b060903138d1048b7ddcec55f76a8f4","datavalue":{"value":"10.1007/978-3-540-79980-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505425$D3D6160D-3C1E-4987-807F-D6A8993040E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6480161792098e32949425ead8570d90a9967f","datavalue":{"value":{"entity-type":"item","numeric-id":671499,"id":"Q671499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505425$E1807268-D903-4C07-8518-28951699FC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d7e2ad3382677d83b89ec58edf18af8299f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":549176,"id":"Q549176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505425$F8C1B93C-8546-44A6-8E35-D0BB9599FCF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505425$5B6F3BC3-461C-4555-8D24-EC951C5966B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505425$C9E50AB8-4907-4107-8F16-76BD8774BC69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505425$F4CF2518-D55E-4522-ADC7-50E689F567E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505425$DB20C066-9D57-4F02-96E7-A2DFBE49E98D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"387abde9823a22aa6f113a959533ba761b831b86","datavalue":{"value":"5498141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505425$FE241856-DAD7-4D5D-8464-072DDCD7F55C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505425$80AA0329-0B98-4AF3-9ABC-547D3BD04E85","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":"Q5505425$CA577187-1378-4DB7-B5A9-06CE3A4C6BC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d36cfe5a7424a7198c0030be8f37aa3f58980b6f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79980-1_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505425$3C1F20A0-063C-421A-8C37-81C4E0E0726D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe9f20bdd883c0732c12e99aca2929155c50c459","datavalue":{"value":"W1600727551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505425$79D98232-5A87-4DAE-BB9F-ABCEB38F38CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe4bf4cb7b2b69505eef7f586faf53b20c77704","datavalue":{"value":{"entity-type":"item","numeric-id":5428904,"id":"Q5428904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505425$E1734057-A296-44F2-8A11-D4CB69F7CB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8efe4264ae75966a79b7465567e8861e3ac81c","datavalue":{"value":{"entity-type":"item","numeric-id":3579033,"id":"Q3579033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505425$B0686235-3391-46E5-BA43-4F87DBF2572D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505425$601F583E-556C-4316-85FC-F6ADD502E685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d1b6fa45e856bed19dce62a05548aaa94d26f1","datavalue":{"value":{"entity-type":"item","numeric-id":3591389,"id":"Q3591389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505425$04F3CBED-E246-46D8-8DBE-BF3EC31CC961","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915f037b8c480f91d32a184b6a2c0e9f5f28cd39","datavalue":{"value":{"entity-type":"item","numeric-id":4673418,"id":"Q4673418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a20b6f67568d0543be82a6e6cc4fd96ceee150d","datavalue":{"value":{"amount":"+0.7976942658424377","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":"Q5505425$7540B4F2-A02F-49A7-BF4D-8342D32FACAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ff72b5c7a00444da8bc7330d8dc806a0832f06","datavalue":{"value":{"entity-type":"item","numeric-id":3427361,"id":"Q3427361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49a33514cf9b31f21fd2beb4e62122867faff15","datavalue":{"value":{"amount":"+0.7554263472557068","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":"Q5505425$3AF6EA4A-AF8E-478F-A791-90E0CC9FA0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f692bc7920b65fe415afacaf74783b6af00c86d7","datavalue":{"value":{"entity-type":"item","numeric-id":5447362,"id":"Q5447362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bbdb5bd32340bd3e05f1df452890a923948a33","datavalue":{"value":{"amount":"+0.7540097832679749","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":"Q5505425$F3961B99-C00C-4EA2-B866-762BDEC232A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22af2dc8ddab2f2ce054b7e8f30fc52de22d295c","datavalue":{"value":{"entity-type":"item","numeric-id":402131,"id":"Q402131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260564dd224c37aa976c448124052a4ea2338a5e","datavalue":{"value":{"amount":"+0.7410672903060913","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":"Q5505425$AF959FBF-95E6-4E00-AF9B-7C40611CC3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e59883e8abcdf4b2a80288044d5208cebf7af6a","datavalue":{"value":{"entity-type":"item","numeric-id":2999311,"id":"Q2999311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055274f0e8707c42863964f0631e14edaf53062f","datavalue":{"value":{"amount":"+0.7380141615867615","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":"Q5505425$CCB93F3E-E5E7-49F7-9ABE-32D8BFEE8D28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505425"}}}}}