{"entities":{"Q1157144":{"pageid":1167893,"ns":120,"title":"Item:Q1157144","lastrevid":66992616,"modified":"2026-04-12T14:12:26Z","type":"item","id":"Q1157144","labels":{"en":{"language":"en","value":"On correct refinement of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3736990"}},"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":"Q1157144$29BC773B-38F4-4A96-9986-964FB74E282B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f60a9c83e22c5ea3994b22caf0d1d593f7ef4f13","datavalue":{"value":{"text":"On correct refinement of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1157144$9BDBE070-95C0-4181-998C-F4E5DA5CEBFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dea769d9daf1d415404159e75491d1e7c3f34bb2","datavalue":{"value":"0469.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157144$4745A6E8-26EA-4076-AE16-990A7FA09C4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"393bcc1dca4927bfc53127fb38088807c4555960","datavalue":{"value":"10.1016/0022-0000(81)90005-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157144$9EA0209A-A6CD-47BF-A9FF-145CEA86501A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$2EBD3EE7-4BDF-4CA1-BCF8-2865F844182A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1157144$F4CD977F-4BA3-42C9-9F07-C233403576FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157144$2D4CC518-CC4D-453F-9822-2682C3C88493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35fb18e35db99823823c02e90332d4f1256b25c7","datavalue":{"value":"3736990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157144$DEFB84FF-BAA0-4F71-A2A4-1F79B721B8DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f099632e8e20a6300264bb19b1a1325e6bc78a80","datavalue":{"value":"stepwise refinement technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q1157144$7BEE9A54-FF30-481B-8725-BCFF2BA93737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1157144$294E962D-1DBD-4AAC-B2F2-5EA0073EB352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1157144$FC5DC938-972C-48B5-A4FE-A5477810C093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1157144$A760FE10-DD41-443D-A264-D9C1263B586C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$6A51404E-60DE-4770-AF0F-58F29D5A972A","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":"Q1157144$F09CE09E-D1BA-434F-9A20-29E8FD438896","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aaffd9c7cf4260df2b48f797cce1de74e3055946","datavalue":{"value":"https://doi.org/10.1016/0022-0000(81)90005-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1157144$2495BB7A-5E02-4567-B669-AA71642652CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6081cef47223848f78d74137dc4c2ee3e8c9528","datavalue":{"value":"W2076964487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157144$00B53524-7961-4D66-B77E-034CA006C128","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$06384133-9130-48B4-B55C-ABB1D7DB5CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cd177f187b6c98ca780d7a64ba45dfc091b14a","datavalue":{"value":{"entity-type":"item","numeric-id":3888507,"id":"Q3888507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$693BD8C6-3E94-428F-AB09-3D78B7053F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$5CF60BEB-3712-45A8-9677-0170F6D504E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb0085fbad97e351502d04a08e987063d6b6b7a","datavalue":{"value":{"entity-type":"item","numeric-id":4184269,"id":"Q4184269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$505D66DA-3870-4088-AA45-D098571D244D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5b732c4ffa7b56a3631819adc7a20415738ad4","datavalue":{"value":{"entity-type":"item","numeric-id":4192046,"id":"Q4192046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$BB352B2F-BA83-4A50-96DC-E7CABB06F9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ed2d53bc64078e65a41a4770b143a0881e72e8","datavalue":{"value":{"entity-type":"item","numeric-id":3875322,"id":"Q3875322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$7BF72E00-244C-411E-8442-E010353C8F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$D786B0B1-44C5-49AB-A6CE-44BB4CC30719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffcb1f36fad5d15f5f81550a3f53870c6291d96d","datavalue":{"value":{"entity-type":"item","numeric-id":1242447,"id":"Q1242447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$A711CDE7-EF47-41EF-9CEA-B4EB8E0E5057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f815bf2ad909de0fa6e89988501157b6f777d2","datavalue":{"value":{"entity-type":"item","numeric-id":5554728,"id":"Q5554728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$44294325-EE87-43A4-853F-532B3243C1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba356a3f6009fa57be2bdd584b588ade0a491a4","datavalue":{"value":{"entity-type":"item","numeric-id":3851610,"id":"Q3851610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$C6AF7741-AB98-4100-9EB8-A4B7A45C39F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$0D9B4605-3DD9-434A-8EC4-20F9806E9773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d64c6681d99f7da42023f15f454bb820325bb210","datavalue":{"value":{"entity-type":"item","numeric-id":4134899,"id":"Q4134899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$A2F8465A-EB11-46AA-A069-C3CFEFB6AAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$815609B1-13A5-47CE-BD40-06D9460C67AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efda5b219e03cc9aff461dce389dc2b017b36ffa","datavalue":{"value":{"entity-type":"item","numeric-id":4131617,"id":"Q4131617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$51E2924C-6104-4926-B356-B90A409D5B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e46816d402230878881897b423feb7a3e7c4345","datavalue":{"value":{"entity-type":"item","numeric-id":3208063,"id":"Q3208063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$173D4A6B-54CD-409C-9827-797EEFBDF93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$4E89513E-13D8-4BA7-A797-03235EE465E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c0c08c998a0a93f03ec352999bc5310d5a0101","datavalue":{"value":{"entity-type":"item","numeric-id":3920613,"id":"Q3920613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$3F0568F4-C085-4522-8144-DE68814856BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$4154314A-B0EA-41FB-B372-1C06235ABD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006f116f11bb26f196a69ffd8274b32c303697a","datavalue":{"value":{"entity-type":"item","numeric-id":4105233,"id":"Q4105233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$4EAAAEE1-7153-4900-8CE2-D92A85DB76AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f757c721bf2cd017bfc4b79d90167e31b64a35d2","datavalue":{"value":{"entity-type":"item","numeric-id":4122771,"id":"Q4122771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$74FE381A-E1F4-4747-9B6E-11E2E8D12912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$5E95B814-0388-42F7-B142-19940C2A6AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a8208181890455c9457c1dae71b9062d20af80","datavalue":{"value":{"entity-type":"item","numeric-id":5640711,"id":"Q5640711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157144$FF602CA5-BF7E-4ADE-A406-2A0385C401EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On correct refinement of programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_correct_refinement_of_programs"}}}}}