{"entities":{"Q5703802":{"pageid":7733356,"ns":120,"title":"Item:Q5703802","lastrevid":48591400,"modified":"2026-01-05T07:56:34Z","type":"item","id":"Q5703802","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 2227863"}},"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":"Q5703802$F5F516F7-63BD-4F43-A02B-8FA7FA187F7C","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":"Q5703802$FC512503-4C9F-4016-9BF6-051F7324568D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19b82926c663706261cb111e072ce84be6a2d8c5","datavalue":{"value":"1118.68551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703802$70CE1388-9F13-47E0-B99D-C006400CFFED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ee61dd18574b657f614d4963109a2adfd0b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":333312,"id":"Q333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703802$972DE708-CDDA-4248-98FF-E8BB75176867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703802$231F858B-4A3C-4C2D-91C0-5A2286839125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f095fb766aa5a3c0b3eeb13676b67c4c906ea55","datavalue":{"value":{"entity-type":"item","numeric-id":1044180,"id":"Q1044180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703802$4DA3C320-0B7C-4C12-ACCC-386914C526AC","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":"Q5703802$B77BD347-196C-47C0-B213-08F484B431AC","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":"Q5703802$B632A4A2-0AA0-4F57-8D49-710A53C90C14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703802$935BE510-EC1C-4A77-87DF-A01E22F7291B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b26140d237dfff44b514c2c010bbafc23762b89e","datavalue":{"value":"2227863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703802$3FFAE21A-E70C-4046-A206-AD2C2AA148DF","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":"Q5703802$F8F2482E-C375-4E35-9922-4AAA28CB4797","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":"Q5703802$5E041FBA-487C-43B3-8AFC-0ED6BFB6508F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d7b2ae5055be8e6b12aa6f58e16088248a1c51","datavalue":{"value":"W2916183516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703802$CED271CC-76CE-421F-9487-A9623C34A5C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14f818a8f2a64b65af6ac861ad01dd85ebcebc4","datavalue":{"value":"10.1007/B135596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703802$777F3EE2-90F4-4D61-BC34-C7659C4BF58A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692e14a89f592d32d7f34c8de661041aef2a8828","datavalue":{"value":{"entity-type":"item","numeric-id":3608889,"id":"Q3608889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120fab34191f448430b4270f05cc136b914f06a0","datavalue":{"value":{"amount":"+0.7858401536941528","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":"Q5703802$9A25C02F-D804-44B5-A537-B586B236A03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7488a03ade3b2ca6e2bd61bdfb86dc33dd2ef0c3","datavalue":{"value":{"entity-type":"item","numeric-id":5703813,"id":"Q5703813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbea69c567d04a410442f9817880dc7f593e5b2b","datavalue":{"value":{"amount":"+0.7821676731109619","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":"Q5703802$5AAB999E-5183-4411-B786-922A720C9195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e585de45193b79dcd3f48b2b35b9223561c1ce","datavalue":{"value":{"entity-type":"item","numeric-id":4436969,"id":"Q4436969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b224c295fcefb706e21d4990a72352ee1e6057","datavalue":{"value":{"amount":"+0.7681164145469666","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":"Q5703802$600C4731-14BC-40F7-BCC1-E8A7771902F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9974e22b074cbe5c9f9d3a3a445cefadb37814a","datavalue":{"value":{"entity-type":"item","numeric-id":2365393,"id":"Q2365393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b224c295fcefb706e21d4990a72352ee1e6057","datavalue":{"value":{"amount":"+0.7681164145469666","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":"Q5703802$1B617BD2-65E3-4DFD-9C81-BE928383F2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e271d318349fac2871f49674f2cea2fe25727","datavalue":{"value":{"entity-type":"item","numeric-id":4436971,"id":"Q4436971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3788c27abedcc6c1215608af4b7eae18928d05aa","datavalue":{"value":{"amount":"+0.7313810586929321","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":"Q5703802$DA176C31-D226-4661-83A5-1742CCB4A98F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5703802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5703802"}}}}}