{"entities":{"Q3314964":{"pageid":3325672,"ns":120,"title":"Item:Q3314964","lastrevid":48678844,"modified":"2026-01-05T14:23:19Z","type":"item","id":"Q3314964","labels":{"en":{"language":"en","value":"Correct and Robust Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845024"}},"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":"Q3314964$7755780D-9244-4A51-8ABE-F7F28CB63641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d484a8b64e7222f003543d692b2725f04389c23b","datavalue":{"value":{"text":"Correct and Robust Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3314964$93AC0568-43BD-4A70-99DC-002B64914386","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d697928964fc89a9281de60adf2b85d0abe885bb","datavalue":{"value":"0532.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314964$14A1C8B7-E7BB-474D-9A45-114AD85CF7A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc1d1f19b791754eaff52d93efd324b5af794dcc","datavalue":{"value":"10.1109/TSE.1984.5010218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314964$1097C539-D5D8-4E2E-8774-CD692223F771","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a79c07f7ed1636eaf936a4db97964bb236504ba","datavalue":{"value":{"entity-type":"item","numeric-id":916347,"id":"Q916347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3314964$FE589427-B1E0-4CA8-AFA0-1C8C014ED6FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3314964$E5871296-75AB-4B5F-8530-26A8527EF477","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3314964$7061A427-369A-4CF0-8151-DA30D936C70B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314964$50E998C8-7E23-4B81-AE13-1549FC5E271E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314964$A89F2AFF-DEC1-41F3-9F54-CB65EC180A62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37427b98cfab712796585023d789a6a4254a0a8d","datavalue":{"value":"3845024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314964$0C24B07B-42C7-4362-A82C-72B948474AFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c903d92089dff22847abd0832e98862d75362d91","datavalue":{"value":"exception handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314964$471DF983-204A-4B77-BF80-3CB5262A61E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d1443f37d29023c29f3415d3f13cf3291e8cc0","datavalue":{"value":"program robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314964$021E9237-0CBE-40F2-AE14-A172D66596A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ed1720e648e83f0dc91cbb7eafb0be5f4086a9","datavalue":{"value":"structured programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314964$42188715-2CEF-4183-BFF6-0661A21441E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314964$F60E8C84-DCA1-4AC6-BE4A-F677765FAD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da5f5f011fb5062545b0b3540f50d45b1f2d2243","datavalue":{"value":"proof modularization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314964$3F234BA8-6736-4D61-859F-018BC01635E1","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":"Q3314964$2CED7BAA-9054-4163-AB68-B9646660237F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c80560c3cd2bee7825290085076078e10925ac3","datavalue":{"value":{"entity-type":"item","numeric-id":918725,"id":"Q918725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21efd678326c1460e91d21ed42b55dbedc6f7d90","datavalue":{"value":{"amount":"+0.7976170182228088","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":"Q3314964$99EF8CBE-5F0B-45A6-93B7-C53B99AF81D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678c0c38f6268df2cba63533bb44a641d219e574","datavalue":{"value":{"entity-type":"item","numeric-id":3197301,"id":"Q3197301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c985a588cdb790ab43512ac57eb7927a8d7e1c10","datavalue":{"value":{"amount":"+0.7607510685920715","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":"Q3314964$FAC06591-7D60-4CD1-AE58-3B43E4439E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6260512c7632fac7cff041331c9b324bbe692f","datavalue":{"value":{"entity-type":"item","numeric-id":2265800,"id":"Q2265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5fbd0be18b28d7ce5fd87bf98987e367aeec717","datavalue":{"value":{"amount":"+0.7461615204811096","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":"Q3314964$E1AC43A0-79D1-43F9-9A96-95248A1F53F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebde966e1aea8b600e3effce94250b2e71f008ce","datavalue":{"value":{"entity-type":"item","numeric-id":3761669,"id":"Q3761669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0beb4e13d5846433e5aeb06d5bedb02dff3c8e8","datavalue":{"value":{"amount":"+0.7405466437339783","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":"Q3314964$7BE06466-C230-4125-9132-1EB13815BB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc951d58c701e2ad60e4fce61c3b3169732017d","datavalue":{"value":{"entity-type":"item","numeric-id":5184387,"id":"Q5184387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0137bbba4bae347432aef94336bb606a1a5a92","datavalue":{"value":{"amount":"+0.7392569780349731","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":"Q3314964$E85A8936-D943-4900-8B59-9E929E7A00E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3314964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3314964"}}}}}