{"entities":{"Q3769945":{"pageid":5799851,"ns":120,"title":"Item:Q3769945","lastrevid":52020860,"modified":"2026-01-20T18:45:37Z","type":"item","id":"Q3769945","labels":{"en":{"language":"en","value":"Systematic program development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028870"}},"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":"Q3769945$3F192E26-FBE6-4564-807F-9F50CC01D2AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bdc3927d52afeb2d83357c9816146d67f9350a5","datavalue":{"value":{"text":"Systematic program development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3769945$D25C7BD8-B809-44BF-BF8D-204F307DAB03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caad661d77ef5f0c5b43faa9a8b2de0fca19e24d","datavalue":{"value":"0632.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769945$33C1D861-AEA1-472E-8F23-5B85BF5B8C84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"002d076bb5929b307164172a657f2c3b25e65640","datavalue":{"value":"10.1109/32.4619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769945$EEBB646E-B341-4A53-9AE0-8F95AA8069C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e418412e804764d51dbf95a3fbd55311964422","datavalue":{"value":{"entity-type":"item","numeric-id":1149780,"id":"Q1149780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769945$19ADD801-1326-45C4-B2D4-E8521767B0EF","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":"Q3769945$E6A4370D-D9D1-4D35-83C7-93F6EF4CD418","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3769945$0F5D951D-82A0-46DF-B224-7AD0971BCCC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769945$1C629E69-0B7F-437E-B227-FB0143C575DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769945$B064AEDF-F66E-407A-92E0-269838C2D5CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d101ec2d61a5354073fe0daa204f8a9f9ccf6f5","datavalue":{"value":"4028870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769945$D87DCD42-1B20-4AA4-A5E6-BCE0C73D94EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769945$6FED12C6-AC9D-4A0E-9CF7-83B45D410AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769945$A59D9A4E-0CA0-46B0-B964-B050B3279FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a33a3602e2a2beea4861da33321c84becebc639","datavalue":{"value":"goal-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769945$71581655-82C9-4D30-9F41-2356B8FF7DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c144542ad0cbf308dbe86ae507fbcf42327e35","datavalue":{"value":"Wirth- Dijkstra top-down refinement method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769945$830DCF92-9022-4D79-98F8-3FE872B85E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8ce56ee8b42110050dbf827609bd4d689ad8ef","datavalue":{"value":"postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769945$E6F0710B-DC90-4F23-A72C-7612DDBB671E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2a5c0aedb726fa0342984da34f2afe9161b9bd","datavalue":{"value":"precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769945$30953DEA-6544-465D-AA60-524A35785B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70391c172294d8353b0c685ad301a50648819780","datavalue":{"value":"constructive program proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769945$86DC3386-FFAB-4D52-BEC7-AB5D89CE44C8","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":"Q3769945$6B8D759C-5A9D-4FCF-BF80-CEBF3D9DDC34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ff5efd25719333a3b5aabaf95db4904105337bc","datavalue":{"value":"https://doi.org/10.1109/32.4619","type":"string"},"datatype":"url"},"type":"statement","id":"Q3769945$02D0C9F1-2A3C-4DF3-8C40-B606CA5095E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c855d01fc05be67054b53934db25009c9e9453b","datavalue":{"value":"W2132527717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769945$FFD195B1-75C8-48DA-84AE-6B5B965DE548","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c6b34d16a08355304869005cbd2e93a5af35ff","datavalue":{"value":{"entity-type":"item","numeric-id":3729999,"id":"Q3729999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3de6fc8a60256e4ef51a1ddd7f37d3ce9d8418d","datavalue":{"value":{"amount":"+0.8106000423431396","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":"Q3769945$D215C7BF-434C-4C69-9BB7-F23521B3D77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857bb4e37c19dfb57f0503e96fdfda30d8bf40c0","datavalue":{"value":{"entity-type":"item","numeric-id":4373039,"id":"Q4373039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9c989beab9f4c5c52eb29526eb01f99f8311ca","datavalue":{"value":{"amount":"+0.7480936646461487","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":"Q3769945$BEDD714E-1E7A-470A-84A5-79F057A21927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf79627efba5268324794ca492194979b81bb002","datavalue":{"value":{"entity-type":"item","numeric-id":4040555,"id":"Q4040555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c126235cbf03b799913242957272429765124b75","datavalue":{"value":{"amount":"+0.741745114326477","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":"Q3769945$64BF3D30-FE7E-4080-B059-26BC888A79C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e9309691e6dae97032b2f3ec7c3e38decde3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4727399,"id":"Q4727399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5dbe514d898dfdb1d44fabef7ad02ea440cb891","datavalue":{"value":{"amount":"+0.7409350872039795","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":"Q3769945$40830BFC-BBEB-407A-A215-797B3E2F6CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003e1b828cba2f17bbd1982673e086ad8f3b6c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3706480,"id":"Q3706480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041a87017e6ad57175c94480a593c6f6aba4c804","datavalue":{"value":{"amount":"+0.7367571592330933","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":"Q3769945$0DC4292A-AEC9-4DBB-A11C-3DD8E8CAB3B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3769945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3769945"}}}}}