{"entities":{"Q5703805":{"pageid":7733359,"ns":120,"title":"Item:Q5703805","lastrevid":48591409,"modified":"2026-01-05T07:56:35Z","type":"item","id":"Q5703805","labels":{"en":{"language":"en","value":"ZB 2005: Formal Specification and Development in Z and B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2227869"}},"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":"Q5703805$D326672F-71E7-4267-86E0-47803007AD2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0982931bf4646e9cc08cfa8cc9bfbaf0573144f6","datavalue":{"value":{"text":"ZB 2005: Formal Specification and Development in Z and B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5703805$9F75AB4B-4FB6-43D9-AB4A-E462093D616F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23a9a834935759b81a1d3b6b44b61b259cae8093","datavalue":{"value":"1118.68536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703805$8AB23957-AAED-4B73-AE72-BF00B900E971","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"437da7d80a3154d92d0371ad200472e61a9d16fe","datavalue":{"value":{"entity-type":"item","numeric-id":3179404,"id":"Q3179404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703805$0C38229B-A6BC-4DF8-B87C-AD494C6D691F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e318e2d9e3b60c42602703ff9e804e23abb7e15","datavalue":{"value":{"entity-type":"item","numeric-id":1752830,"id":"Q1752830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703805$B9F88D87-7749-4C5B-9B9B-D9EAAC1D717F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fa9ebf2704b0b5e819d28e6b0a71fa6957a8f06","datavalue":{"value":{"entity-type":"item","numeric-id":933422,"id":"Q933422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703805$A8E627A6-D9A5-4C6C-94F1-9FE0AC97FF36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703805$7C5192C5-2BFD-4F12-9429-C87E564900F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7504496f9cd86e8ea3172be7e26b0a8b93a95b96","datavalue":{"value":{"time":"+2005-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5703805$1158F959-D597-447D-9AFC-34CEDF86C0F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703805$891305B6-1533-4DA0-BCE9-2B1F5993B1A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a571b6702cc1c4115f82b03bf1125ab28a7d3f8","datavalue":{"value":"2227869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703805$459567CE-0296-423A-9C8C-6AB3A4F18642","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703805$6AAF2B5A-D9BE-4C50-B7B8-7F727AF5D541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e27302aaf7544d0b74e2312b8d6f38cd1a37dec","datavalue":{"value":"object-orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703805$37B30848-C8F4-42B6-A0F2-1A53B3DFDF68","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":"Q5703805$B00FFAB8-131D-4098-AB51-690E4ABF6CFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60f6bcad7dadb7e20d91911820b00f96e78ba4a0","datavalue":{"value":"https://doi.org/10.1007/b135596","type":"string"},"datatype":"url"},"type":"statement","id":"Q5703805$48A35F57-0CEE-45C7-B9EA-436B84278F9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d7b2ae5055be8e6b12aa6f58e16088248a1c51","datavalue":{"value":"W2916183516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703805$87172FD9-661F-4BD2-B321-3A8CA4D24D9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14f818a8f2a64b65af6ac861ad01dd85ebcebc4","datavalue":{"value":"10.1007/B135596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703805$2E5DF104-4E39-4A98-A2F6-4B8458ED3C6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239b61c1abfb5c4202f217b91207a8832ee82d58","datavalue":{"value":{"entity-type":"item","numeric-id":4940107,"id":"Q4940107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e621766d61eb6a2594d1f1b42d51e2f604ad340","datavalue":{"value":{"amount":"+0.8051819205284119","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":"Q5703805$FFE58CE7-0AAD-4FF4-95D5-FFD7E53880EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcd81ecb807be6bc95a741f18334ded334875f2","datavalue":{"value":{"entity-type":"item","numeric-id":1608926,"id":"Q1608926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9bc3f8604c706233b625902fe500e57dc21947c","datavalue":{"value":{"amount":"+0.8035196661949158","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":"Q5703805$553F9F5B-72FE-4F3E-A620-AF1B290C0A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4713ac259a3870754ccd26930792fa02c8e070e","datavalue":{"value":{"entity-type":"item","numeric-id":5428879,"id":"Q5428879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6fcf89f282c12e0550cc9721228ebd182ae840","datavalue":{"value":{"amount":"+0.7754660844802856","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":"Q5703805$1AC123E7-55D8-47AF-9B66-44F413E57060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a2ed2f46422148440066785db49b90e6f3b9ba","datavalue":{"value":{"entity-type":"item","numeric-id":2906939,"id":"Q2906939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a567218c63bf1e4cd83ffa3fcbda3f46eda1a3","datavalue":{"value":{"amount":"+0.7662691473960876","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":"Q5703805$35C9725E-2F6F-49A5-AB39-A76C590EFF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5a0714d93619d0b53e5696bfe550a3d95765b9","datavalue":{"value":{"entity-type":"item","numeric-id":4436976,"id":"Q4436976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d215c3677f6d281a33cff9dffba03168282f9bd","datavalue":{"value":{"amount":"+0.7588443756103516","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":"Q5703805$9A7EB551-7A23-4078-A686-10F13D6F2430","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5703805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5703805"}}}}}