{"entities":{"Q3569038":{"pageid":5598942,"ns":120,"title":"Item:Q3569038","lastrevid":51015686,"modified":"2026-01-16T05:35:12Z","type":"item","id":"Q3569038","labels":{"en":{"language":"en","value":"Towards a calculus of predicate transformers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723025"}},"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":"Q3569038$9CB7DCE3-C9C0-4DAD-9B63-F74FE57E23D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"349c1c0b58e8df0021b2d48d4fa66d6118ccfa1b","datavalue":{"value":{"text":"Towards a calculus of predicate transformers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569038$964F85D4-F3BC-43BC-81D2-02219894A616","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fcadc180f76c4c3a8ce79411d80afb6395be4f3","datavalue":{"value":"1193.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569038$01DD07DC-D412-4125-AACF-8571D3993F79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41819be96e45c1148ecb184891d5a35acfbd0a84","datavalue":{"value":"10.1007/3-540-60246-1_154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569038$67852995-59B6-4CFB-B10C-72AB6E8FB324","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569038$9D846820-3237-498D-8D58-EFF8635846E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569038$2DB7F489-5EBB-40A7-A29F-E790079798BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569038$47948828-5FA6-4893-ADD0-1CDD7CE86128","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49c557b430c119aa830f642b4d617333de20c2ad","datavalue":{"value":"5723025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569038$B21D63D5-D690-4F1E-B6B6-151264371C64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b13c2f82ad7b559e1d02bec32fe72e234e814e78","datavalue":{"value":{"entity-type":"item","numeric-id":1330445,"id":"Q1330445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569038$702D054C-EFB5-4753-824F-7DF8637B6ECF","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":"Q3569038$B4CDE07F-C05D-41AE-92C9-59721870B549","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6b8afc66ebdf282df41ae6e5fab29bb79ccda89","datavalue":{"value":"https://doi.org/10.1007/3-540-60246-1_154","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569038$1E4F6588-D573-4A83-8E8A-EC85CC36CD67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6cdb0884e14b1105005492c8d34fc5304d04c9a","datavalue":{"value":"W1585269891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569038$94F809BD-C6F0-45F3-8662-E72A97517D4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071821da955de9535111d5a5bcf718635f83dca6","datavalue":{"value":{"entity-type":"item","numeric-id":1330667,"id":"Q1330667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03af4fd51a7ea3936c430db22587003e0fe713b7","datavalue":{"value":{"amount":"+0.8062093257904053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3569038$38037D25-3A1A-4F27-8B8A-394096E41D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf40fe6e41abe507700f2b9818bffab569481e9","datavalue":{"value":{"entity-type":"item","numeric-id":4281676,"id":"Q4281676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0a3bfb6b9e5a55df16c44cd6959f41bcd8811c","datavalue":{"value":{"amount":"+0.8053149580955505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3569038$0640107F-D58E-4EA1-A758-E988C26E21CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2817ff336bf0ca6b2ca7d723dbf4393141167836","datavalue":{"value":{"entity-type":"item","numeric-id":4281666,"id":"Q4281666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4e2d29fc0232f8cc887b76ed1da06b73c32289","datavalue":{"value":{"amount":"+0.7986178994178772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3569038$F4D2493B-16D7-4D99-A4F3-AB9CB44BDF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed79a8a3a12b6c6ae0aa4c8480186364a76f503","datavalue":{"value":{"entity-type":"item","numeric-id":1093363,"id":"Q1093363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4e2d29fc0232f8cc887b76ed1da06b73c32289","datavalue":{"value":{"amount":"+0.7986178994178772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3569038$517BEB00-656A-4426-B4D1-0197B1648306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a788e0af5be9dbb49a89b4b8c4f13fbf7cbd85d5","datavalue":{"value":{"entity-type":"item","numeric-id":1199549,"id":"Q1199549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890735ec3a221e12d97f8054bf2fa5121f383d6b","datavalue":{"value":{"amount":"+0.793502151966095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3569038$8CF30C9B-5FD3-4FC4-BE6D-0044666F4091","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569038"}}}}}