{"entities":{"Q2942773":{"pageid":2953493,"ns":120,"title":"Item:Q2942773","lastrevid":52342688,"modified":"2026-01-22T09:43:55Z","type":"item","id":"Q2942773","labels":{"en":{"language":"en","value":"Generic weakest precondition semantics from monads enriched with order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481067"}},"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":"Q2942773$78B65A10-7AA9-42CE-937D-62D55C3FB45E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50ec11694f4465c4a744f90a348b9b8b4da78d69","datavalue":{"value":{"text":"Generic Weakest Precondition Semantics from Monads Enriched with Order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942773$F155F83E-EC33-41EE-926B-74B82628654A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f42bb253c11ce985eb996a611fc21dff9c0f67d6","datavalue":{"value":"1331.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942773$D45E5042-F03A-470E-B801-1BD3BF9711D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f650d98f8ecba8732e641236a147cf78ed7f8e24","datavalue":{"value":"10.1007/978-3-662-44124-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942773$58C68934-99F7-43D9-94A7-BD7C9DD9B8C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942773$5465CBDD-F5F9-4A71-ABD2-1EE44AC0DCE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7bccb37f598e8e97b191e774d9cef485c5e3f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2942771,"id":"Q2942771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942773$B3ED9944-2E8E-4E9E-8315-06FC8BE56D70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942773$2F4F40DC-5411-4C73-8178-CB4F2A21D726","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ae21eedda512c4553bad1ae6ecd4f5220f8ac9b","datavalue":{"value":"https://hal.inria.fr/hal-01408750/file/328263_1_En_2_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942773$1A2F0289-8257-4665-B4AC-D41FC36958A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942773$335CFB8C-85C2-4F11-915E-B931E4270E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942773$8BE09411-A0A3-4D16-8093-3537738EEACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942773$E1E628B3-F090-4AE8-9462-8178649EDD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942773$6D6FB5A2-FECE-4EB5-88E3-D489BBA6771B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942773$EF9B58DA-B776-4512-8971-99F8E23A9710","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"279d05d5f26ad5d38dea08de54ad0a1e1172fe9e","datavalue":{"value":"6481067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942773$0C78FED2-F5A1-485F-AAB7-3043F0A04E6A","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":"Q2942773$CB7B3B47-3FF5-4A8D-8CC9-4928CB16DC30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7270c18929d1d58fa3152d643ac3d745b79be1b6","datavalue":{"value":"W2177831262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942773$AD248781-42EA-4164-AED7-DF64AB1FE7CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce55a1d848848e0caa5e2473660ded0dee474912","datavalue":{"value":{"entity-type":"item","numeric-id":890376,"id":"Q890376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbfbb5a7465825f98c84089861066e68f84db84","datavalue":{"value":{"amount":"+0.9966561794281006","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":"Q2942773$23A221BB-A1F3-475D-97AE-0E3611C6B192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3b04bb90ac64eb645840d6b517c16aa38d99b","datavalue":{"value":{"entity-type":"item","numeric-id":4725716,"id":"Q4725716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cea97559b31340a127d88801cda25c9bcdbf9e2","datavalue":{"value":{"amount":"+0.7792941927909851","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":"Q2942773$4B3223AC-AEB1-412A-8253-511C6B18DCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555b29fc6ed05212c1da07dcdfafb6544782870b","datavalue":{"value":{"entity-type":"item","numeric-id":5058365,"id":"Q5058365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b729934b7f6dcb39f8182923392c214ab6eb3b","datavalue":{"value":{"amount":"+0.7678953409194946","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":"Q2942773$FEA61858-82EB-4955-BF35-C4D104A19846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318712e7d38345dd5d1003c2c8db6e07adc0668f","datavalue":{"value":{"entity-type":"item","numeric-id":5271064,"id":"Q5271064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f2a286f6f25f17d719bd231566f56dcc19edbc","datavalue":{"value":{"amount":"+0.7658439874649048","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":"Q2942773$C5708926-4FFF-4E9A-A76C-1985A188F5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527587a1ff474d835d5707030072688b1eed0c75","datavalue":{"value":{"entity-type":"item","numeric-id":2942780,"id":"Q2942780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877ea01a181130685ad7e6da7b4702fd3eaaa7fe","datavalue":{"value":{"amount":"+0.7579932808876038","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":"Q2942773$384B15A3-1F6B-4A45-8F38-3B7586D68333","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942773"}}}}}