{"entities":{"Q5703812":{"pageid":7733366,"ns":120,"title":"Item:Q5703812","lastrevid":48591421,"modified":"2026-01-05T07:56:35Z","type":"item","id":"Q5703812","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 2227873"}},"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":"Q5703812$30E660C4-EB8C-4CE7-B400-02906A94A731","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":"Q5703812$940D6145-F974-48C2-92A7-11ED7D90792B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d344f7fc49024d060c39a63d2323c5f1557b69a","datavalue":{"value":"1118.68549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703812$A16FBB15-D1C9-48C9-8200-3E94F505BD3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703812$86C3EC3D-1782-40D7-A16E-31B9F6776C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e067a1172b18b024b038c024f05a3767b95dac","datavalue":{"value":{"entity-type":"item","numeric-id":5703811,"id":"Q5703811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703812$1B61F644-8323-4FD8-9CA4-3D789370D5D8","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":"Q5703812$B7F37C17-50A4-40A3-9D82-4AF711E63D8A","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":"Q5703812$55CE9858-FDC0-4FC6-BE7B-1501E6E4D379","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703812$D1A5622F-0D41-4EEC-B910-23B9BE206711","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53c93c1f5c3692541376d90cd1e1d32c1b67f8d4","datavalue":{"value":"2227873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703812$00DBC483-2665-4EF2-9204-A2759645C83C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae3924ef8d5673206632519920f5c164741cb388","datavalue":{"value":"Formal Methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703812$B3F1A915-59A0-4486-8175-69CB16ABBAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a59359b5a9258f6a94ebfc339be3f89cf70b82c","datavalue":{"value":"B-Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703812$63372670-6ADD-472E-AB14-E4A94CBEAFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b54ea5d4910748c11c0a8b18c55d57a8138dbd9","datavalue":{"value":"Tool Support","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703812$A8DD4EBD-20CD-4A65-BAAA-6C809DE94875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d701d4ab2eabb5c877299b967bc01c2e297974b","datavalue":{"value":"Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703812$A0263AB9-8261-4B24-98AE-F3EDD49A92B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af60235593ce88f5b9143c94a3e0a4d558ca5a6e","datavalue":{"value":"Animation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703812$36480C05-D0C8-4354-8454-3A2536EF96EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1d8844e09a0c77fd3093d78ec8991e0ad53049","datavalue":{"value":"Visualisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703812$E0CAAC48-5CC5-41A3-B852-00A7DC4651E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed89ef274f4564cf53df5630125d11a8a341200","datavalue":{"value":"Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703812$86365491-BB98-4C67-A659-DB0E5DB3199D","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":"Q5703812$B0BB9E7F-03DC-4D9A-9F04-665B8CE2BAC6","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":"Q5703812$D945538F-B5FF-41EB-A004-D459BAC8B411","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d7b2ae5055be8e6b12aa6f58e16088248a1c51","datavalue":{"value":"W2916183516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703812$11F7C33D-CD49-4B1A-99DA-780104AC7756","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14f818a8f2a64b65af6ac861ad01dd85ebcebc4","datavalue":{"value":"10.1007/B135596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703812$80A8C85A-1B04-4EF0-AD31-E6780F6A9896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4007bd52444588b97cfaf5107c6da92b3db1c5ac","datavalue":{"value":{"entity-type":"item","numeric-id":4417960,"id":"Q4417960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3cd9a0816190490c19af4085710b45ff0d8117","datavalue":{"value":{"amount":"+0.777506411075592","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":"Q5703812$7FFE90C4-9166-44E1-A067-5BDA58E7969C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74613331c454d0476b2815ba210184fdc5b2a360","datavalue":{"value":{"entity-type":"item","numeric-id":2999306,"id":"Q2999306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6107f84ee44366f53643c8b7cf3a635af8e5f280","datavalue":{"value":{"amount":"+0.7269348502159119","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":"Q5703812$AE48D578-274E-4C3E-88F4-758EF8E86127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01432b6910382a1f706fe74634d338b85ddb929e","datavalue":{"value":{"entity-type":"item","numeric-id":4412543,"id":"Q4412543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f863fc2aa47f7051037c76d6302b954c5ccb84ce","datavalue":{"value":{"amount":"+0.7010691165924072","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":"Q5703812$38557942-45E2-433A-AE38-90B12B97BB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b59bb28e5c09b29c2ed615e67ae9162bff5c48","datavalue":{"value":{"entity-type":"item","numeric-id":3618581,"id":"Q3618581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323b8359e3668618f15f0a150bf91434e7339725","datavalue":{"value":{"amount":"+0.7000440359115601","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":"Q5703812$1A6A9166-1A2B-4112-AD6B-F55107CEF1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113f19f3114049084ba539d435ac3e64278d374f","datavalue":{"value":{"entity-type":"item","numeric-id":5308363,"id":"Q5308363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4a58f66e9187f7021542a22be9e514a2b12c4c","datavalue":{"value":{"amount":"+0.6874906420707703","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":"Q5703812$52A47FBE-7B37-4E9B-8B7E-6D8B3B27D0EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5703812","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5703812"}}}}}