{"entities":{"Q4727399":{"pageid":6756976,"ns":120,"title":"Item:Q4727399","lastrevid":41542097,"modified":"2025-05-05T16:00:32Z","type":"item","id":"Q4727399","labels":{"en":{"language":"en","value":"Formal models of stepwise refinements of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4001446"}},"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":"Q4727399$5873FAF8-4384-4456-82F4-18C196F6C917","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3b548e0ecad3c163d7c19a7a5b713438d9357cf","datavalue":{"value":{"text":"Formal models of stepwise refinements of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4727399$569D75D7-D7A0-4E85-8905-BB145BCAB2E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"274c19b86ebec5cc4f722e1243ca0e80710ccff1","datavalue":{"value":"0617.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727399$D2A2962A-EEB8-4C32-96E3-226E5BC162E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"937021e2ba57d09a6db79c96e41cf146991c3a32","datavalue":{"value":"10.1145/27632.28054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727399$A1F9A8CC-4454-471E-B758-5007BBF7748A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727399$3DA00340-6C7E-45C1-A291-6D89E37BD73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81820d767eef8c8fed51a6d6c49033814d04c661","datavalue":{"value":{"entity-type":"item","numeric-id":679337,"id":"Q679337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727399$C25FEAB7-1861-4B55-ABD2-5BEC4C382A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc91625cf26d9f38636af1785664b029e077bed","datavalue":{"value":{"entity-type":"item","numeric-id":797984,"id":"Q797984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727399$919705DE-3804-44DE-BAFC-1E05D6E903FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"648f066d7111f855f920a4df12eb5365632ac7c3","datavalue":{"value":{"entity-type":"item","numeric-id":59986,"id":"Q59986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727399$0784BD20-A4D8-4E89-BD66-727AD40F6FC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q4727399$A45B053F-D79F-4775-895A-35E0D2C795EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727399$B533CF1F-D5BD-4BB2-9A1F-0F00974716B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727399$30E9A0A3-85F9-49DE-8EC7-1809B1976B06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d09734e778ab7037da687bdbe3a107c7003dc8f8","datavalue":{"value":"4001446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727399$5BA6DEBD-0B64-4C34-A6CC-80AB42F0C85B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727399$410E4BEC-8C9A-4C89-A7DC-2913781B7AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f720432df8e409e65c182dac46eb9be2898fb6d3","datavalue":{"value":"alternation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727399$9593F3F7-E7D4-41F8-A9F3-BAF8630449FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"656fb707164d22202475cfb150eddfd236081cdc","datavalue":{"value":"assertion-based specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727399$2FD8BDE6-9499-4F0F-9D87-EB4AD8F17477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53415510dbf33e74653162bc5e40ae6e9dc5604b","datavalue":{"value":"assignment rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727399$76B3C1D7-B04C-4CE2-803D-D963246AEADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b063782162ea0e5cbde444039cfeaf3d7acd78d","datavalue":{"value":"function-based specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727399$0D4A0EF8-30C6-404D-8E46-174917694BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7925666a81036c63075f75395016acbab2adf6ef","datavalue":{"value":"generalization rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727399$3193FB3A-8638-483A-916A-A070EB8CB06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef494f91c773f014be05f2a52549a012bb3044f8","datavalue":{"value":"iteration rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727399$D5BA1D7E-6019-40CC-8352-DC26F068C739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f38a14541266dac6ac05f3cc57d8b3cbff4c2af6","datavalue":{"value":"relation-based specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727399$768889F0-FB89-4859-B4D2-375C13471FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad5b0c72e5da4e7fb16d467a6a4dff91ff005ca5","datavalue":{"value":"sequence rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727399$19E64A57-0EE4-453B-BE7D-7AC854AD6B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307a0aa7720fc50c5c38aa102a2bc7f75cac371d","datavalue":{"value":"program specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727399$771B5A63-1857-449E-B3F0-1F5DF44F7D0A","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":"Q4727399$A633AC81-3FBD-4839-9C37-2833A0D621D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46af4f790c507f70a18c20ddde475aff65161edc","datavalue":{"value":"https://doi.org/10.1145/27632.28054","type":"string"},"datatype":"url"},"type":"statement","id":"Q4727399$5F21E08B-1BDF-4429-B6B3-EC59B06E8B5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7497f74b51a465d0ba6167ac9a6af734cd5e0ef8","datavalue":{"value":"W2034529357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727399$4547FFD1-E3E0-4C9B-B5A4-C293F5E94B9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad830adf215314f88d85a625d9beab8493dd4c12","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbc41556eaa59cf137fab1db71bed58b4ce45a8","datavalue":{"value":{"amount":"+0.89772666","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":"Q4727399$6A411D74-B116-45B4-8BA4-C00291AD7FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4f7d8a182f46ac49aed2341db800546588df61","datavalue":{"value":{"entity-type":"item","numeric-id":2723910,"id":"Q2723910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29b6f0ccf2ff1bb5fcb9fc500627cef03784e8a","datavalue":{"value":{"amount":"+0.89004517","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":"Q4727399$B3686CE8-4CC1-4D50-963E-2F7CBD29BDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f25582aa5220ed59e70b635ab7aeec5019f05c","datavalue":{"value":{"entity-type":"item","numeric-id":1059401,"id":"Q1059401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf0ce7f51392e51ce5e8076206c518fdb7f7e9c","datavalue":{"value":{"amount":"+0.88779485","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":"Q4727399$616C116D-3F70-45E6-8D4D-EEECDEAAAA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d941a9ad893651050a6a9eee0d15e0c81385c2","datavalue":{"value":{"entity-type":"item","numeric-id":4522757,"id":"Q4522757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9113eebd60d95c8cb0d839cae9852570144e310a","datavalue":{"value":{"amount":"+0.8790138","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":"Q4727399$16600140-0DDD-4EDF-A15B-FB81D393EC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d41a3745b3e3bfefb6c18ef427f44efd8b5b87","datavalue":{"value":{"entity-type":"item","numeric-id":3317106,"id":"Q3317106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e31d2fb61912857e78f2a238c774485f2e4d067","datavalue":{"value":{"amount":"+0.87805283","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":"Q4727399$903FD674-A93B-469C-9223-772F5C16FF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d80af2b2f11cb6b863df45d0a9823780e2fe6db7","datavalue":{"value":{"entity-type":"item","numeric-id":5402520,"id":"Q5402520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c8e369edf77feb993c412c55fb75913f307476","datavalue":{"value":{"amount":"+0.876081","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":"Q4727399$91A53E84-5761-4572-BFE0-5A5341BDE700","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4727399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4727399"}}}}}