{"entities":{"Q5703813":{"pageid":7733367,"ns":120,"title":"Item:Q5703813","lastrevid":92818391,"modified":"2026-06-05T02:49:44Z","type":"item","id":"Q5703813","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 2227875"}},"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":"Q5703813$373B3719-5F4F-4E8A-BD7C-9353C1433C65","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":"Q5703813$9C05FF5B-54C3-4569-A4E4-D088350D7DC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28c175f00d04bf36f9e51267e8f8181389345161","datavalue":{"value":"1118.68547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703813$5FD143CE-7E0C-4F91-B237-B9B880A53B02","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":"Q5703813$CC313DD0-41A5-4535-AEA1-B0CCAEECFB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6be594b1f05d1a46be38cd5b4ce765467b1f8234","datavalue":{"value":{"entity-type":"item","numeric-id":4436970,"id":"Q4436970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703813$7B80F41A-66AC-4468-86C8-2649DA3D6F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9a391c3dc695bfb982a5ad206a87169403ccb6","datavalue":{"value":{"entity-type":"item","numeric-id":851130,"id":"Q851130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703813$E06A2D0E-5ABA-4A16-A94C-CA303A78429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb7994e252aa9cc656a1cdd08ac08e998723d93","datavalue":{"value":{"entity-type":"item","numeric-id":406450,"id":"Q406450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703813$D059196F-47B5-4E92-BB89-C74B5A176DF5","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":"Q5703813$2F6B6402-64AF-4435-A667-550A6AFE04A7","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":"Q5703813$0F8981A6-5784-4189-B458-849595728E3D","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":"Q5703813$D986CE3B-2D73-4CC4-9726-D45D2261E1C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703813$3C787400-F267-48B2-B714-EC14F81825B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703813$57FDA962-5EB5-4B51-A0BB-7E3CA75F9293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703813$8C7985F1-6D6F-4A8A-B4E0-92E5E0FC2868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51d808cd7463e9620db59449b47a52875b244197","datavalue":{"value":"2227875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703813$13387E97-7684-4A6C-A1D1-AE69FC7F4760","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703813$8FE46AEE-2E36-4A9D-819B-28B3D0F34C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703813$66E1357C-4F76-46D7-A93C-719E8725CE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0e3cfbd78e12b15d9dcdeeeb5467b59eb5fc58","datavalue":{"value":"generalised substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703813$5E00439C-1CE7-433C-B5CF-2075A0854071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703813$37EA866B-DBD8-414E-AFB7-1FFA60ABCBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b64e565bdb5b8972f76e2d48728f295fa97e9f","datavalue":{"value":"B","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703813$DDCFCB56-3693-4E32-A764-19518D143B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b18e7f9a032b52de461eb7b859c1c56dc06653a","datavalue":{"value":"randomised algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703813$1FF82A07-46A1-4670-B702-F7EFBF171E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703813$F5F3BDD6-EF6E-458D-83C6-0477CBF10030","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":"Q5703813$91A3FBC3-D587-4EC6-8892-CD32BE245388","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":"Q5703813$3E9BDE3C-6CE0-4B0F-B093-880B7DD4132D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d7b2ae5055be8e6b12aa6f58e16088248a1c51","datavalue":{"value":"W2916183516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703813$81FD1114-B4A0-484D-8D47-83CE9425222E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14f818a8f2a64b65af6ac861ad01dd85ebcebc4","datavalue":{"value":"10.1007/B135596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703813$DD1ACD97-3BA0-4749-B299-551C7BB89278","rank":"normal"}],"P1643":[{"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":"a830467e8a7f9925d23c0bbdf4d9e096ce004a72","datavalue":{"value":{"amount":"+0.8119833469390869","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":"Q5703813$06D94154-B9EE-4C97-89A1-339A26AFCD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5e6992a0390dae543d5139a7292c9e232fcbdd","datavalue":{"value":{"entity-type":"item","numeric-id":2894554,"id":"Q2894554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a830467e8a7f9925d23c0bbdf4d9e096ce004a72","datavalue":{"value":{"amount":"+0.8119833469390869","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":"Q5703813$648BE6FE-B3D4-41F4-A921-981D56D9F583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b248aabdd50fc884fb08af011814106e1345ba4","datavalue":{"value":{"entity-type":"item","numeric-id":5703802,"id":"Q5703802"},"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":"Q5703813$50EDC568-63BB-44CF-8648-80B7A4236110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8dbb7f7dce89ed2ddc25399aee83348107152ee","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41b5a0a4e3671f489565f762cf7a6372608303d","datavalue":{"value":{"amount":"+0.7798510193824768","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":"Q5703813$7511ED23-0BD9-468E-B075-57136F505264","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":"72d64f1a0bdff7d34e170464145690948114672f","datavalue":{"value":{"amount":"+0.7690749168395996","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":"Q5703813$A3855F62-8286-4D33-95EE-B4A1BF6363EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ZB 2005: Formal Specification and Development in Z and B (scientific article; zbMATH DE number 2227875)","badges":[]}}}}}