{"entities":{"Q7285341":{"pageid":31125796,"ns":120,"title":"Item:Q7285341","lastrevid":105033199,"modified":"2026-09-15T22:23:49Z","type":"item","id":"Q7285341","labels":{"en":{"language":"en","value":"On the design of program logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8213378"}},"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":"Q7285341$81AB590C-EE45-4FC4-92E0-B78C0D1AA340","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c12af08be7211efb7b7cb8a46f25758ea4247221","datavalue":{"value":{"text":"On the design of program logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7285341$274D00B7-DA05-460A-8C87-797159EDF53D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c1221e4e89dc0ee901ba1e5c0e51e5d2b7dde17","datavalue":{"value":"10.1007/978-3-032-13711-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285341$24844E2D-96E9-4BC4-9C05-6B3E27F8503D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$F810B14D-7252-4993-874C-D1752FA5FE59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b8f4f6f52489f3060107e23793e8aaf707f9e8","datavalue":{"value":{"time":"+2026-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7285341$8F2DE425-A73D-4CA5-A11C-FC0B9987D973","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285341$B9A1B8C3-B0AB-4457-9561-74BE832E14FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285341$222B0A01-D53C-46E6-AA8D-7E390498C943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccbf26f18c4fedb3b1ac23a0ad17809a70238894","datavalue":{"value":"8213378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7285341$D5B0B92E-C197-4AE3-8D7B-43A1C195845F","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":"Q7285341$0EC17A84-0238-48D1-B343-9FDAD18EA86F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$A48744D8-044E-48BC-8593-6C73FAB1DFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eceb9d4f1d49d9d9c45e2282f017b93d47d978fe","datavalue":{"value":{"entity-type":"item","numeric-id":3919063,"id":"Q3919063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$3BC6AD96-2DA4-475B-8139-654FFDCDF4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f03a172caa4c2f72ed99173010bf0b5b9f28b3","datavalue":{"value":{"entity-type":"item","numeric-id":5097622,"id":"Q5097622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$08057912-D004-4DB9-9E50-9BAB90D712E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7311538a5d0aa3528f7ba756f03bb99f88f224b5","datavalue":{"value":{"entity-type":"item","numeric-id":5857678,"id":"Q5857678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$7D4D6290-206F-46C1-9CC3-B53A83484338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$13A0D6F5-4858-417B-B2ED-7769DEE841D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9347765136650ae068c681dd50837d0a09bc96f4","datavalue":{"value":{"entity-type":"item","numeric-id":2291818,"id":"Q2291818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$8F274B6C-A235-4A79-BFC9-5E316811BF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$A4EB04FA-B1AA-4CEA-B2A0-D4B69E4660C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$A3CD3377-B7AC-4E52-AABC-92AA10959D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$E39359A3-135A-4776-BC04-E5E35DD149EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$12858598-744C-4DC3-A3F1-A6BF7BC55239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$01D32AB9-CE68-4FD6-85DF-181E901C9AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$4D1A8B14-1877-4355-AB6E-8B41749B15D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4079be32b0d120cadac73eddeda20cd9afa6c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3095238,"id":"Q3095238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7285341$1A9C99E1-7CB1-4BC3-92BD-4C1D51590874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the design of program logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_design_of_program_logics"}}}}}