{"entities":{"Q3914400":{"pageid":5944305,"ns":120,"title":"Item:Q3914400","lastrevid":54979684,"modified":"2026-02-02T12:00:58Z","type":"item","id":"Q3914400","labels":{"en":{"language":"en","value":"Programming by Refinement, as Exemplified by the SETL Representation Sublanguage"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3725669"}},"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":"Q3914400$0C8A8658-C8C2-4EEC-BC8F-04167E38524E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c15e887eda0a74ed8219f8f581662eba3d4e78cf","datavalue":{"value":{"text":"Programming by Refinement, as Exemplified by the SETL Representation Sublanguage","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3914400$ECC66144-1C8D-4073-95AE-2CE98CD65BBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaed2db02ba8baeace4a261b92fcba2fdb81438a","datavalue":{"value":"0463.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914400$348C53A5-BD54-4C28-BA3B-5EE8867DC1EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1a5b2cc3378b8c0580b7d1d7a6310fc06ea0602","datavalue":{"value":"10.1145/357062.357064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914400$F4BE4E50-6192-44E3-AB10-77B0E0251160","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a81f6f16e3df82201ebeb8c9a12ebbaaa2b0eea","datavalue":{"value":{"entity-type":"item","numeric-id":1161298,"id":"Q1161298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914400$9B2D0A67-E28A-4068-AC39-9BBBA36AFDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc03107954f8301e9f622716cf12159c1426c400","datavalue":{"value":{"entity-type":"item","numeric-id":3914398,"id":"Q3914398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914400$91CC4BC6-784C-4762-89FA-728BD0175DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad8ac868984af8729e0a505a7ed37d29052c6218","datavalue":{"value":{"entity-type":"item","numeric-id":3914399,"id":"Q3914399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914400$5EF6DD37-D18D-4CDC-8EA3-F92F2BFA5304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa77ebed6cbada999c1bc9ce158ac175190fe579","datavalue":{"value":{"entity-type":"item","numeric-id":3741004,"id":"Q3741004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914400$963C0581-AA08-42D3-81AA-94E620934F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9508babbaae830189eafb34c9955abb3b05c5e9","datavalue":{"value":{"entity-type":"item","numeric-id":6482611,"id":"Q6482611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914400$6F8EB3E9-0B5C-4C85-BF5E-397163B4C39F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914400$13EEDB3B-F496-4ED5-9288-D9D349DA385B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3914400$F4A4AAD6-C982-486F-9C6A-A1775F427C47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914400$6B541C51-54FB-4A6B-9CD3-A0652B1E2BD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdf41572aa7acac2b010115d9119548504520641","datavalue":{"value":"3725669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914400$9599961B-8B2A-42B3-A179-355A3E0F07D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f820ed1b4a7bd13e9d4e7f7674e9d6033927cd","datavalue":{"value":"high level languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914400$6DB9E73A-E8BE-4093-A822-E0CF53FD68CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914400$929DF19D-0A57-4570-A09C-0A10BD1C9495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b895abf7b11b8b5c69545aef22862db7a641326","datavalue":{"value":"automatic data structure choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914400$0A18294D-7885-4DE4-8CBC-32B1A1440DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914400$03D5A824-2DFB-4E5F-B7E6-47319F7ABA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f30d2f1c6445aebc9fd70ec686b3957c7d9073","datavalue":{"value":"set-theoretic languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914400$EB2C343B-389B-4EE9-A631-644D34831F3D","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":"Q3914400$3DE7CFDA-5106-4ECB-8EB8-C333661D8CF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb0b388ade778a174e486e153b87f6e1c114a13b","datavalue":{"value":"https://doi.org/10.1145/357062.357064","type":"string"},"datatype":"url"},"type":"statement","id":"Q3914400$7457EE9F-CA45-4694-AA8C-A798464BB83F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce28d81fd0de575eca2bd5beabfa81dbf775a56f","datavalue":{"value":"W2040073555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914400$F243237B-E348-4C0F-9A77-53E8C262AEA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3914400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3914400"}}}}}