{"entities":{"Q5703818":{"pageid":7733372,"ns":120,"title":"Item:Q5703818","lastrevid":48591433,"modified":"2026-01-05T07:56:36Z","type":"item","id":"Q5703818","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 2227879"}},"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":"Q5703818$EEC65949-D37F-466B-9414-BAF0BBDD6811","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":"Q5703818$F3390958-B02B-4ABC-8400-8786FDEE757B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab6a3029d75b443788cf7ddeabdafcf0f5d9f54d","datavalue":{"value":"1118.68540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703818$A0BC45B7-2AF4-4BA6-938C-0CD2041FAA9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20e8d93702ec6cd12eddd63b83b9b6d9b558e383","datavalue":{"value":{"entity-type":"item","numeric-id":290225,"id":"Q290225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703818$CE1C6491-C229-466B-8E1B-4155C9A9342B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ca564f6502f3a297d7aebeca7e481a2f2f1677c","datavalue":{"value":{"entity-type":"item","numeric-id":493528,"id":"Q493528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703818$53402EB7-99CD-4D0D-B767-75266E4C091D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a1ba8105f78c735f47b10a29e76f456c3889540","datavalue":{"value":{"entity-type":"item","numeric-id":5703817,"id":"Q5703817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703818$32B3DA17-C421-4D6D-9873-C734FC312489","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":"Q5703818$26EA64AA-4FE9-4049-B2A2-0525B0F2354A","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":"Q5703818$EB8CEDF5-9B39-4E23-B532-7CAE0A28DAB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703818$478CEC10-2864-43B5-B69F-391596C6C709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703818$F01B9E24-EEB1-4FE5-94C7-FB09A2AE31AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67679a253e85b5f14a0627753edbe307c9740bc6","datavalue":{"value":"2227879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703818$8153EEE6-45B8-4F57-8CFF-5159BE14EFCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf3f96a73cb87ba2ba776234ef75680a22da794","datavalue":{"value":"Java Modeling Language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703818$E9C2988B-A9E6-4D24-B24D-076BA6CCF655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cdc50f9ca57759a689d99741fec6e06b3926c2f","datavalue":{"value":"JML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703818$C7850F9D-55B9-4F2A-B118-3EB232D30415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba79756aec7d516a4dc1b21b2af2cbb069aba1f","datavalue":{"value":"object-oriented","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703818$3EDA5A10-6A14-480D-9859-77091084F4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5c99825fc3750d24a6d5e8f9dc34ef12c1bf4f","datavalue":{"value":"B method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703818$D47D3CE7-7F59-4733-9B44-EAF5761B4E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703818$6448AACF-D025-4FE0-9F58-1B52934DB829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703818$1EE7F83A-00F8-40C2-B406-EA4930592E84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703818$AEDCA31D-EB52-4423-B8DE-483755391B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703818$F458BA4C-0BA2-4E90-9F1A-2D60B4E1157E","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":"Q5703818$A7B2F559-A08E-448C-8246-02BA9DAA72EF","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":"Q5703818$CCAC702C-10B9-41AF-B522-9056217D0BD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d7b2ae5055be8e6b12aa6f58e16088248a1c51","datavalue":{"value":"W2916183516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703818$CC2DD2D2-C65F-4A45-BE18-10BFB5429FDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14f818a8f2a64b65af6ac861ad01dd85ebcebc4","datavalue":{"value":"10.1007/B135596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703818$B66F863E-95EE-437F-9BC9-BCAEDA98A5A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1286846bf7c057630217765ddc24f6ebf9cbc452","datavalue":{"value":{"entity-type":"item","numeric-id":2764132,"id":"Q2764132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9fd3756295e24fdec4a67fcd0234d31cc1b15e","datavalue":{"value":{"amount":"+0.7799813747406006","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":"Q5703818$360FEE95-8EAC-4609-A052-45608BA719C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066ed0a158d219ee8f0d5839e1b41e947ad471b8","datavalue":{"value":{"entity-type":"item","numeric-id":1776585,"id":"Q1776585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8cf716e9bcfa53937124adc6e2c38496cbf34f","datavalue":{"value":{"amount":"+0.7554571032524109","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":"Q5703818$B034CBCB-C02D-4AF8-A5E4-A95D56059B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2305e47502a37fcb541a65dfd75ce85112b08bca","datavalue":{"value":{"entity-type":"item","numeric-id":5703786,"id":"Q5703786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9d499d8c959f005e5764efa4499c633485613d","datavalue":{"value":{"amount":"+0.7537043690681458","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":"Q5703818$28A097F2-A4DB-4AA5-80F6-EAF9A2604573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca3fff70eaffd13a7afcbf3446ebe0570f75f04","datavalue":{"value":{"entity-type":"item","numeric-id":3526934,"id":"Q3526934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b149297e68cb37240acef3a1b10cb0dd05a35f8b","datavalue":{"value":{"amount":"+0.7328735589981079","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":"Q5703818$5B390466-4999-4A3E-B159-71723AE97D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eaffb589497ea3469dcc257718aa34ae285eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2754065,"id":"Q2754065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a6189934f90acc3f877993686aebc49424685c","datavalue":{"value":{"amount":"+0.727983832359314","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":"Q5703818$434C42F0-815F-43DD-84EC-A7413B313CE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5703818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5703818"}}}}}