{"entities":{"Q3339257":{"pageid":3349965,"ns":120,"title":"Item:Q3339257","lastrevid":45992761,"modified":"2025-12-21T10:42:03Z","type":"item","id":"Q3339257","labels":{"en":{"language":"en","value":"Program development by inductive stepwise refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3872650"}},"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":"Q3339257$D089225C-E8BA-4318-9DF5-1E90A52A62B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96dbd77e5a76a831ea1f768101f0e27e7def37f1","datavalue":{"value":{"text":"Program development by inductive stepwise refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3339257$827D09A2-2E08-4C3B-8854-6A1F0BB79945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f3f0e90e307523095181ad27561c510dca33be9","datavalue":{"value":"0547.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339257$428E62AC-3EB1-423C-8440-65A684120DA5","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":"Q3339257$88CF47A9-EF92-49AF-898E-36D641BBC60F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6bbb50f7f5b3cd8a52a9219fdf89800968ce21d0","datavalue":{"value":{"entity-type":"item","numeric-id":111603,"id":"Q111603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3339257$EFA143DA-5B58-4B67-AC71-A1F1552D31A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3339257$F3D66444-DE9E-4C34-8FCC-682C2AA06A32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a654de8cfc808c129c73f0f5106b5bfe9f764ac","datavalue":{"value":"https://ro.uow.edu.au/compsciwp/78","type":"string"},"datatype":"url"},"type":"statement","id":"Q3339257$66341168-E47D-44D2-8AE9-1093451769C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339257$1DBB4A0D-63CC-4467-A7B6-0E03B68C78D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43c6906b5b7a84037a56dc108671dbfad584ecc8","datavalue":{"value":"3872650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339257$D3E50F99-3A51-4B34-9C8C-D348152B9991","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339257$157AB4D7-C2A9-4FD4-A091-E76EF26362FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b043241aeeeae4af09203919620df339fc7562c","datavalue":{"value":"inductive stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339257$3BC45310-3989-4360-8083-0484893C432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec4dcf4b126a4b2b47ea58f5a2ca535667728c35","datavalue":{"value":"structure clashes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339257$080DF86B-96A1-4F28-A8FA-5A53FBD61F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21efc3b38ad34c0130375983f81a325f839d196e","datavalue":{"value":"programming methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339257$615A4ABF-EB46-4A59-8AF1-0B7445E7041C","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":"Q3339257$6ED84591-741F-4AC8-8478-68F605FE5730","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9650e086fe46b1e6b6c3ebb999e6810928463cf1","datavalue":{"value":"W2091807952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339257$91550318-1A15-4F80-BA8B-26B4EAEF1142","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3339257$54E41B5C-BE88-495C-9DB6-058615EF50B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decac56f29415c19b98d776e54662b5539a4901f","datavalue":{"value":{"entity-type":"item","numeric-id":3208052,"id":"Q3208052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3339257$EC980F6A-70E8-489D-81C9-6CD606828584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ac860696e668a9ea3bf009a3485e439b6a4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3859249,"id":"Q3859249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3339257$87ECACF1-000C-4A17-96BE-8F4866B0EA03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d800e5706c86c055ccf1394aa565f1ca7e2960d","datavalue":{"value":"10.1002/SPE.4380150102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339257$A7E5A502-5D80-4F65-98B8-0923699BE169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3339257","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3339257"}}}}}