{"entities":{"Q5703807":{"pageid":7733361,"ns":120,"title":"Item:Q5703807","lastrevid":48591412,"modified":"2026-01-05T07:56:35Z","type":"item","id":"Q5703807","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 2227870"}},"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":"Q5703807$77E0AAA2-0E4C-479A-956A-64A77AD15538","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":"Q5703807$1ECF7772-F2E3-4FAD-BA24-A5F68EFFA218","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e097c43e1e7f9d4d06e522ad7dbbbc0a5085e1d","datavalue":{"value":"1118.68556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703807$6DBCF59F-6DF9-47A6-B3FD-374AE679C2E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c3c1e6d4c4ea88d91ea1be1603aa18187574a11","datavalue":{"value":{"entity-type":"item","numeric-id":5703806,"id":"Q5703806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703807$E095F0C5-614D-43E8-BDDB-A5CF26E11505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5178241c0de7f03ca62ce5ca7ee9f20a09be2286","datavalue":{"value":{"entity-type":"item","numeric-id":3404117,"id":"Q3404117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703807$D79596B5-8EB6-4C22-8A8D-658BBDB40688","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":"Q5703807$E5051141-2768-4821-8EA3-BFF87F9775CB","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":"Q5703807$9C9C5784-98D2-4D90-B14C-8917A7A1E968","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703807$318326D1-A8C8-4249-A1E9-C321FC89B14E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44442423a11384943eb47944277c807964e125aa","datavalue":{"value":"2227870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703807$0C652CB0-D4C7-4575-9581-985CA259BA2A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703807$4454C754-E91E-4A04-8489-EE13FDEC5155","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":"Q5703807$E505F736-5863-4378-A79F-CC5BBD43A25F","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":"Q5703807$A29875A2-A406-4E6B-A412-7E30E5E0B3E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d7b2ae5055be8e6b12aa6f58e16088248a1c51","datavalue":{"value":"W2916183516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703807$76616FCD-BFBA-4131-9C8F-225CFA22EE01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14f818a8f2a64b65af6ac861ad01dd85ebcebc4","datavalue":{"value":"10.1007/B135596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703807$90B4EA3D-8159-475A-913D-76742FCE229E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26cd0e891713bbf5a87fb4c8ab0bbcebc1cb665","datavalue":{"value":{"entity-type":"item","numeric-id":2751751,"id":"Q2751751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55c3c0f7b58659d6ac0c39d122656f6316360a1","datavalue":{"value":{"amount":"+0.7505449652671814","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":"Q5703807$0C2CEB9A-BDFC-48EB-BE34-14F6938D46C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a44a170d536578ce25696054ccd30cacba00a2","datavalue":{"value":{"entity-type":"item","numeric-id":4436955,"id":"Q4436955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8c9462c56cab8b1a971fc925163f7213c306a6","datavalue":{"value":{"amount":"+0.7008416652679443","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":"Q5703807$F35ECE27-4775-409F-91B0-EC73F45E7935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a393c456897cc9338068fa9acf23c566c0bb8f67","datavalue":{"value":{"entity-type":"item","numeric-id":4255140,"id":"Q4255140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bfd2fa00462256bbdd422cd88c161a7e862dc5","datavalue":{"value":{"amount":"+0.6962233781814575","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":"Q5703807$80E60A6A-057F-41F9-858E-E0385451089B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1282f60a0769f96be094a88903ed6cd82742aa","datavalue":{"value":{"entity-type":"item","numeric-id":2710194,"id":"Q2710194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8057eee84fb2af1c2dca65355dd82620fc6cc515","datavalue":{"value":{"amount":"+0.6926447749137878","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":"Q5703807$2C335552-EFB3-4EFA-8003-CADBCD309329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cbcdc0bdd3ed24479d491fc938d40f87b37fdda","datavalue":{"value":{"entity-type":"item","numeric-id":5477665,"id":"Q5477665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58807c2ce2c687e8d715002f063db18c4882469e","datavalue":{"value":{"amount":"+0.6922940015792847","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":"Q5703807$04ABCBDD-F502-483C-8611-A9AD85CBCEE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5703807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5703807"}}}}}