{"entities":{"Q5703822":{"pageid":7733376,"ns":120,"title":"Item:Q5703822","lastrevid":40758603,"modified":"2025-04-04T14:33:56Z","type":"item","id":"Q5703822","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 2227887"}},"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":"Q5703822$D9EBFB62-A272-460D-A742-115B4263BE59","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":"Q5703822$A874C25D-1484-4060-B4E2-26CADA5CF446","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63c729160fa5e1c053803196ea348579dc56aee3","datavalue":{"value":"1118.68537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703822$C3B3B952-D2A7-4C1C-9E06-C845EFDBB14A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ae7744079521403bed33da966908b0126dfa9a9","datavalue":{"value":{"entity-type":"item","numeric-id":4412486,"id":"Q4412486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703822$B976FFB9-C0B0-4DE0-B13D-93A46BEB4B71","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":"Q5703822$21A2048C-113B-4FCC-BA9C-0C407FDB887C","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":"Q5703822$51079765-7E2F-46D4-816A-D5DE03B600C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703822$67C734CC-BB80-40BC-A817-BCFCF63ABF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703822$1E01DFD1-398C-40FB-9343-7CDA2EDC7836","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60f330eb467740b6e8a8a21a0f85c902e5270cc8","datavalue":{"value":"2227887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703822$1123F7AD-B771-4EB6-94DD-EAD21C80774A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7346424f391cf739db0ab1d71201dc377d2527c8","datavalue":{"value":"Event B","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703822$7BC1A06A-2FE9-4DD0-995D-2A3CAC856FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f59d8a9d7299af9d3c93fcdfbb6c4165af81b4e","datavalue":{"value":"Parallel Composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703822$A75E1D9A-DDFD-4AF2-8617-CA3ACAFD2BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703822$E596A65B-A1AB-4923-B289-B96319B78552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95bd304c1542d48a6f865ad64b78e36e2df710b6","datavalue":{"value":"Mutual Exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703822$00A18F11-E56F-4C23-884E-4CA945051223","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acd0a7f965bd7a2eea8391d50182b3fc185bc6de","datavalue":{"value":{"entity-type":"item","numeric-id":19144,"id":"Q19144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703822$86815AF3-1EC1-4B7C-8059-3C27E25A46B8","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":"Q5703822$4B0D1690-E11F-4E24-9E42-CB8DE8D22F45","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":"Q5703822$049A2585-6955-495E-8A90-9C51D61F729F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d7b2ae5055be8e6b12aa6f58e16088248a1c51","datavalue":{"value":"W2916183516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703822$5D945BAF-64C7-44E4-B53C-2353B347F2AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14f818a8f2a64b65af6ac861ad01dd85ebcebc4","datavalue":{"value":"10.1007/B135596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703822$405A2B88-876C-43B6-8296-6816D9415C20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c88f61161092ca388ec39baaca10007927b63b","datavalue":{"value":{"entity-type":"item","numeric-id":1370158,"id":"Q1370158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bada9bc2be67517eb90bb5ecbe193e56330a4909","datavalue":{"value":{"amount":"+0.8902155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5703822$2F5BBEB5-2A5A-48AA-A325-A3CEE9FCDA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1a1a0395490c2b8d0c26e838edcb3a6d4a5740","datavalue":{"value":{"entity-type":"item","numeric-id":918655,"id":"Q918655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2414da6ced871ee7ba45b65a69a8cec6bfb2e4ed","datavalue":{"value":{"amount":"+0.87650806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5703822$171AB57A-510D-4D51-827D-058C6FC828ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb030604e2dcc36e7ac154665c4ea77439dcdd7c","datavalue":{"value":{"entity-type":"item","numeric-id":4737361,"id":"Q4737361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b5ab152cb01c2daa27dc145f21454029f00a2d","datavalue":{"value":{"amount":"+0.8528122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5703822$7D56CE39-2F1F-4010-9DBC-71AE60DED6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c380ecf45951b455edd3684c23086ba7efa8877b","datavalue":{"value":{"entity-type":"item","numeric-id":1044699,"id":"Q1044699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a69cfbd15d7bf03af58b54e270feebc5847c65e","datavalue":{"value":{"amount":"+0.8509651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5703822$500FEEB0-B9E8-4DB5-BBB2-64809BF6E9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f4d1f28e9dc084ca92c572b8ce91fc891b8c8","datavalue":{"value":{"entity-type":"item","numeric-id":271900,"id":"Q271900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8fb2b3c33b42aa44cd092402c024447d946d09c","datavalue":{"value":{"amount":"+0.8491931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5703822$4567D222-5130-4F50-AC38-B19B422BAE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b99385177ac90d9f5c038a30b991faac174a4e9e","datavalue":{"value":{"entity-type":"item","numeric-id":3805884,"id":"Q3805884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab2cc56c0f4600adf6c2fe1324ae0cf336980bc","datavalue":{"value":{"amount":"+0.83932126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5703822$2ABC8F75-BF9F-4E04-A84B-FE725519FBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53362cfa6a5848a39effb2a0e3924fa85aebc4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3044481,"id":"Q3044481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af077d94d01c9b236aee82a0ed043dfb9a0ac738","datavalue":{"value":{"amount":"+0.8356378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5703822$B7D5E316-7972-4C0A-8EC7-7316CAE4455C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2060126e14f19ae39b31558287b3617635ced42","datavalue":{"value":{"entity-type":"item","numeric-id":5176775,"id":"Q5176775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062cf1c390fc28b397e5ea5791d8e7f41cead6d7","datavalue":{"value":{"amount":"+0.8336483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5703822$D1B91D45-9A7A-40A1-80FD-2A8E754A36C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5703822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5703822"}}}}}