{"entities":{"Q5703814":{"pageid":7733368,"ns":120,"title":"Item:Q5703814","lastrevid":92818400,"modified":"2026-06-05T02:49:44Z","type":"item","id":"Q5703814","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 2227876"}},"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":"Q5703814$DE6B6CF9-A149-4451-BD31-FFBDAA83C063","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":"Q5703814$27624351-8126-4D74-9816-A2C291DCFD6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7aae00b4352d6756825362289a0e3b0dbe6763ed","datavalue":{"value":"1118.68422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703814$F3622B36-0178-420F-9F92-75B84A331241","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703814$4528FBC6-DC08-4F02-98C8-59149A908F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1bbd7b0f1716022bdd3bf8a6eace09ad2456ca","datavalue":{"value":{"entity-type":"item","numeric-id":1193745,"id":"Q1193745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703814$47C931A4-B656-4F3F-8DCD-6FAF7D1814DB","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":"Q5703814$056D223D-8F97-4E85-B630-752DF7D5A9B3","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":"Q5703814$680166A9-930B-4455-BAC6-B81733DA9CC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703814$985C80A6-171C-4B5C-9F0E-21F52780AB95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fc29ef28a110410a7137f20d9a3cfab0d12cc5c","datavalue":{"value":"2227876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703814$8E9DE91D-03CA-4769-A422-25990D83FF19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703814$347DB616-0FA7-4BDC-BAF5-C3F9DEF73D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc88a85eafc98bb9677b264fb73e786eec79ad85","datavalue":{"value":"approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703814$335988FD-6138-4E1C-A259-0565AE8908AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880958f8426d35e1b206252f9c79a8da7b632921","datavalue":{"value":"metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703814$9F17E7C4-D108-4123-9B83-BEC602D4AC92","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":"Q5703814$9F4128D5-4E21-41AC-B768-D48EE5FBC71B","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":"Q5703814$0D03D37C-D0D0-474C-B2FC-1E1ADCA0F31A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d7b2ae5055be8e6b12aa6f58e16088248a1c51","datavalue":{"value":"W2916183516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703814$59C308F9-0B8A-4914-8460-0BA9E6C4CC42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14f818a8f2a64b65af6ac861ad01dd85ebcebc4","datavalue":{"value":"10.1007/B135596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703814$58265EA1-ABB8-478A-9028-B68FB8CE82B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c261c0db136bfaff62b392600614107efd72181","datavalue":{"value":{"entity-type":"item","numeric-id":4692467,"id":"Q4692467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe4b6ce92e0cd277750a15c22602f6715b78340","datavalue":{"value":{"amount":"+0.92038566","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":"Q5703814$491F481F-161D-4364-9278-7C3E8A96A8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d941a9ad893651050a6a9eee0d15e0c81385c2","datavalue":{"value":{"entity-type":"item","numeric-id":4522757,"id":"Q4522757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee659564c9b980d4474d895587168f33a6374d8","datavalue":{"value":{"amount":"+0.89472103","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":"Q5703814$6491EA98-748E-48DB-AFAF-A98264765535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07565b01232e9bbd5ccd9499c1558b7e94528976","datavalue":{"value":{"entity-type":"item","numeric-id":5942699,"id":"Q5942699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a644f66c6a57e10892d5eb633678c5bf3aef6fd8","datavalue":{"value":{"amount":"+0.8936703","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":"Q5703814$C4C716E5-F499-4EF0-9B70-5EF564B78606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14416032359a0cf145ce4f2ca12769ba0f9a1fb3","datavalue":{"value":{"entity-type":"item","numeric-id":1198441,"id":"Q1198441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5acee3c023b4129d40434e27b2fcd459bdd3cd8","datavalue":{"value":{"amount":"+0.88770556","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":"Q5703814$2B9F503A-E428-44D7-BD89-9D2314641525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b62d6c3f29c932c3b884649594c8f43fc822e23","datavalue":{"value":{"entity-type":"item","numeric-id":4721633,"id":"Q4721633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63984a2204a3ea17c12d7ebc12ab1a231e677156","datavalue":{"value":{"amount":"+0.87890613","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":"Q5703814$A188F823-FF39-495A-B416-E9E120E82FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859d8d67e5f7b2d78f5f3386f43eeb285b246a51","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63984a2204a3ea17c12d7ebc12ab1a231e677156","datavalue":{"value":{"amount":"+0.87890613","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":"Q5703814$F2CE7D5A-1761-4220-AE14-4D19493C5CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b1b45c7ea670334d7b0c7c58e4c9f39d7fc022","datavalue":{"value":{"entity-type":"item","numeric-id":5713947,"id":"Q5713947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9ffd590cfad44aabcce852be0c4657e2f8b132","datavalue":{"value":{"amount":"+0.878576","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":"Q5703814$03BFE45C-6B5B-4E92-B813-155CFE161919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a673b4313553f7e4d5d51e1b037adcf5b720fca7","datavalue":{"value":{"entity-type":"item","numeric-id":4877441,"id":"Q4877441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3145572739941375edbe14f032c2b56bbd9968a","datavalue":{"value":{"amount":"+0.8742422","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":"Q5703814$E704CB5D-1076-42F0-B18D-C5EEDAA41BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1ef40a1613bffb59dbc7a2d130026c42fea38f","datavalue":{"value":{"entity-type":"item","numeric-id":1323357,"id":"Q1323357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd9ae62ba61a9e899a41126900934827c85e820","datavalue":{"value":{"amount":"+0.8737308","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":"Q5703814$BD442866-B6A6-4FC8-AD7D-2C4CF4D731C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ZB 2005: Formal Specification and Development in Z and B (scientific article; zbMATH DE number 2227876)","badges":[]}}}}}