{"entities":{"Q5039542":{"pageid":7069119,"ns":120,"title":"Item:Q5039542","lastrevid":98308517,"modified":"2026-06-05T17:11:33Z","type":"item","id":"Q5039542","labels":{"en":{"language":"en","value":"Holistic Specifications for Robust Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600860"}},"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":"Q5039542$3368CE49-FB2F-4392-B5A8-F181F7F3372D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55961be58e65cea68e97b35a6552535094011f7d","datavalue":{"value":{"text":"Holistic Specifications for Robust Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039542$E2AF8EE7-0CB1-4B5F-AB92-678EC9FC78CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afa3a2e08f4f14d18323102b8184275414e696bd","datavalue":{"value":"10.1007/978-3-030-45234-6_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039542$D72694EA-589A-4F9B-AA72-5F2D8E7EC816","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7e92e2b77cf2569e3f8d3fc348a2ddf3133845f","datavalue":{"value":{"entity-type":"item","numeric-id":859835,"id":"Q859835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$A9F34573-3148-4E5E-BA10-BDFD582223E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93ccaae8523c26f86b71771b8565e45311b81479","datavalue":{"value":{"entity-type":"item","numeric-id":2038075,"id":"Q2038075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$24CC9F05-BBB0-4573-BC1A-9608C075F43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a6ebd161ce3f9f424bd2fa908ef5b54bf16719","datavalue":{"value":{"entity-type":"item","numeric-id":859836,"id":"Q859836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$5C076FAC-8C39-471E-B613-33E810236869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"867e8fced8a8bd07dcf9105ee8da4b764b2a7507","datavalue":{"value":{"entity-type":"item","numeric-id":1886730,"id":"Q1886730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$12C76386-8C6E-42B2-AD11-23A7A915E519","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$53B1CC2C-CBEE-4CE8-AB03-28D3F4C3EA5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039542$C088F689-5F8F-4CC3-B292-5D38706684BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01e875c61a1ad4e54d04f32431e154c3045ddcac","datavalue":{"value":"https://arxiv.org/abs/2002.08334","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039542$6EDDC40B-B68E-4917-882B-98F024C88196","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039542$E62B6DB8-6F88-4F96-A8FA-58DA3A114072","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f6a30137f06f2648c704e586c145c1f7fe3f22e","datavalue":{"value":"7600860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039542$F02DEFD7-9E79-4885-B78B-4DE80A9ACA3E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$F5BC1FE3-845C-400D-8F1B-FFC2CDB4D53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$B134A8BA-E32F-4F94-94ED-7B913BD01DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"764fbb351bb6238ee72713179cf73fbb48c2133e","datavalue":{"value":{"entity-type":"item","numeric-id":5973748,"id":"Q5973748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$C1FE8D2F-7815-4982-917D-09534A883E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$5E5E6093-EB5D-4613-BEA8-773E477969CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$FDF0AFA2-7BF0-4336-9A94-4EE12D3DEF26","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":"Q5039542$E81B5910-5B1D-4548-BC65-6AEE2DAC1969","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5c6e757dfeeae38097c7c5ad0800daf0646aa8b","datavalue":{"value":"W3020179615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039542$89124825-631F-4EAF-BC2F-50581ECFF2CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c1fa64958228ae7d285c0ee400a31f94f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5261531,"id":"Q5261531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$8F8656CC-5CC4-413A-861C-76B7983A642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a003e220a607650083ae34d9089140d42d02d540","datavalue":{"value":{"entity-type":"item","numeric-id":3546287,"id":"Q3546287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$8FDB8DF4-8563-4F61-9616-278E8A3D8DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8b0aabdaee6861cd9aace54e883283e49bb2d7","datavalue":{"value":{"entity-type":"item","numeric-id":4250669,"id":"Q4250669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$CB4396FF-F072-4A4C-A1A8-0BA6E4E93251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd507b7a2addf1d4248f1faa7bc051c20b91aed","datavalue":{"value":{"entity-type":"item","numeric-id":5514828,"id":"Q5514828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$3EE15045-6246-4A9D-BBED-DC591CAA8903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093682f82b55047546d767040082e61c8c07c786","datavalue":{"value":{"entity-type":"item","numeric-id":4282672,"id":"Q4282672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$8986D2A8-B5F8-40E8-9D5C-FB16C543F371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e044e9e3b21b228718f89e1b64de2c48e2e3f3d","datavalue":{"value":{"entity-type":"item","numeric-id":2875082,"id":"Q2875082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$7D1AB0F6-6A10-4637-87DD-86A2D89AC4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$BFD0978F-7BF6-47A5-A95D-018F3E67B61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$928D515F-DB13-4760-989F-22F1D3978B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$93825E61-C50A-4E58-A3CF-42568F0494B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d635bdaac719356d8a6cff12d936845108210d2","datavalue":{"value":{"entity-type":"item","numeric-id":5756488,"id":"Q5756488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$5BA57E33-2F76-4003-9C36-5D99644B395F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$D7BB4668-A487-4535-9D4E-96AA7AB361DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$25C87BF1-E91F-4C27-B878-3751777660BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fbb3ef2e4ad98edc760e53eead2e02ff6ff141e","datavalue":{"value":{"entity-type":"item","numeric-id":4536311,"id":"Q4536311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$31B348A7-FC42-4509-850B-E6A0F6B361FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc4cea2068707fc3489008b4a42c520fc42ea5f4","datavalue":{"value":{"entity-type":"item","numeric-id":5660471,"id":"Q5660471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$59B03E8D-7716-4D43-BAB8-0DE36695D7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf01f6d0f15e194b18b50e7192ec30c2fbfafa5","datavalue":{"value":{"entity-type":"item","numeric-id":2507783,"id":"Q2507783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$6555BE40-54BA-4480-9A46-4B2B60143637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385242de83e138aced481871472b1270f3d4ac0f","datavalue":{"value":{"entity-type":"item","numeric-id":973055,"id":"Q973055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$010073B0-1E3F-4496-906E-06B652FEC653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e5d9f04071424e0ea18e8c9970366510a18989","datavalue":{"value":{"entity-type":"item","numeric-id":3656894,"id":"Q3656894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$D3446F2E-3FBB-41D7-8DF4-D3838BB81B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccb5cfdd478327a0edd7de22de0cfaf0e52337c","datavalue":{"value":{"entity-type":"item","numeric-id":1327400,"id":"Q1327400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$E32855C9-6E56-4264-9A61-33F80A5CFDD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa25e31886e4295adb61fef5034a82b0e4b736e2","datavalue":{"value":{"entity-type":"item","numeric-id":1806131,"id":"Q1806131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ad1196fc5303823a49a9a6cbf9325df65ab94f","datavalue":{"value":{"amount":"+0.86702514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039542$75E0CDFE-A398-4863-83CD-7D52CFCD8E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe575bdeebfc69be36c9ab5b79768e2cdcba9f44","datavalue":{"value":{"entity-type":"item","numeric-id":2013885,"id":"Q2013885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f927e2088f20d87691175ac58be01c9e06ecc9d","datavalue":{"value":{"amount":"+0.83937013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039542$383CF44F-FC3C-4E1E-BE3F-4E485BDD1E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dbdc7342b6603c427132adb8771b1fb0bcf5025","datavalue":{"value":{"entity-type":"item","numeric-id":6135769,"id":"Q6135769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42bb048468c04a026e4a43214b9b836f1ec779fb","datavalue":{"value":{"amount":"+0.8358075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039542$E407BE18-02E0-4CF3-A456-F8D645AA1218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608620170593ad619f06b2819a60970a671696ff","datavalue":{"value":{"entity-type":"item","numeric-id":4471724,"id":"Q4471724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5a773970869303ca2c448178e407c9b1c1c050","datavalue":{"value":{"amount":"+0.8347701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039542$E34D1AD9-CF5C-4B5A-99E2-DDF19A45CB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c5b70b45d6e5d538aaebe1d74a606ad0e5aab1e","datavalue":{"value":{"amount":"+0.8317473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5039542$BE4BB473-FFE3-4DEF-AC5B-3B8C6A945FF6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039542$347E49DE-1397-4C80-92C2-50C7EB13B669","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Holistic Specifications for Robust Programs","badges":[]}}}}}