{"entities":{"Q5271064":{"pageid":7300639,"ns":120,"title":"Item:Q5271064","lastrevid":41614408,"modified":"2025-05-06T09:29:40Z","type":"item","id":"Q5271064","labels":{"en":{"language":"en","value":"A Relatively Complete Generic Hoare Logic for Order-Enriched Effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6738807"}},"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":"Q5271064$4071090F-5DE6-42C7-856E-435DF20538DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"266f7471b7c41f3f5ddb3294aab26d3d3f40bf9d","datavalue":{"value":{"text":"A Relatively Complete Generic Hoare Logic for Order-Enriched Effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5271064$A3B60A96-2BA8-4C84-9447-35D18CC05E87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b40488faac481f65fbc289b04e1d95bbff6e354","datavalue":{"value":"1366.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$B9A12DB6-3CAF-4664-9398-7CA5ADDEE8AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7e2ae87127fb5fcb3b6b9d2eee3c1760e8bb3af","datavalue":{"value":"10.1109/LICS.2013.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$02A40D75-FBC9-4D54-AE5C-223DE42C1487","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271064$6AF88CC3-C81A-4BEB-BC3B-40E82FAA76D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271064$AB91002D-F6EF-4E16-AF65-509294F01546","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f2a27057ee3b9429467b9887dffe24f85e110db","datavalue":{"value":{"entity-type":"item","numeric-id":5271034,"id":"Q5271034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271064$127DF2B3-ED1E-49EF-B9D8-77F298CEF06E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb88116a7eeacb35c0b679978087861f13003c","datavalue":{"value":{"time":"+2017-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5271064$A5E939DD-19F3-452C-AC30-E82495E9A63F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$E1BD007A-056F-4DE1-8943-C7C474598B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$C2B43D93-E4E3-429F-9F10-E4D45A2B5320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$058AE465-EC0B-406B-95A2-16144FF09795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$FF066609-7751-4C10-9B3F-BA9DCCCFB409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$33B57A79-1B97-4FA9-A4F5-E7FA381B5F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$FA13D04D-26DC-4468-9FC3-05286E7D31D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6792aed4300db4dfee2a3acfdbc0b25333f49df0","datavalue":{"value":"6738807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$25DE8BA2-5267-473A-9E47-2B915DE087B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271064$388D70A6-57DB-4819-A95E-5FE36AB6C2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271064$DEA9689E-8616-4D1A-891C-76AB0CC9ADCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271064$7BEFC0B4-D970-41D4-A24F-9CF08FA647C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271064$76466A6D-117C-4D63-8572-D7E2F57292C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5801f6cbd876d93fd48fb61dfee4176866b824b","datavalue":{"value":"strongest postconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271064$86841EE4-CAD0-474D-8BCB-D0155FD9DBB0","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":"Q5271064$4449BC41-8B68-4075-9FE2-4A9E544C464E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9ed14af1d058892afd3286a87c7c0c3b111f037","datavalue":{"value":"https://doi.org/10.1109/lics.2013.33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5271064$BE3DEC0D-74A0-489C-B920-1D48DB4E584C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a81965158572d5a8c23de3e4544f2b3332784fb","datavalue":{"value":"W1982145886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$B1C32574-38E5-4686-B901-47991F4DF732","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9d1b424d6e503b47538effde474c0eac287993ba","datavalue":{"value":"Q130864089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271064$115CD045-3327-44C5-838C-5E2C9C188CEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf33fe95eec815535a5adcb084e248791d5e709","datavalue":{"value":{"entity-type":"item","numeric-id":5208509,"id":"Q5208509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025e89716fe48f80aa800e8b59fcf494402586ef","datavalue":{"value":{"amount":"+0.9666168","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":"Q5271064$2A24D1F8-04C8-4063-AFF6-EE5A4B32C30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672d995dd3428eb07ed30b7429a38292a5821170","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2d33607664bc0091523c8b9863055c96e4757d","datavalue":{"value":{"amount":"+0.887965","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":"Q5271064$B55BB8B4-B7A1-4175-9564-DF087BC19FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001b1aa20f7fcd2f6a0cbb9ae9c35d1e3b8f8ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4551034,"id":"Q4551034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5de286d8d3e68eca43d0a9eab5bfe5e325dcdd3","datavalue":{"value":{"amount":"+0.88595414","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":"Q5271064$43442FE7-7EAF-4517-94B6-90FC0F9363FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217dcec96f69f38daaad7f3a2481eb955a50e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3210906,"id":"Q3210906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e2eb984129621cd641b16f6ef6b4f1fc8eb6a4","datavalue":{"value":{"amount":"+0.8797473","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":"Q5271064$E8665126-75C7-4046-A3D1-8EC3A4B991F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c3c4fdb331e8e1aa76150221cea6f2268d62a7","datavalue":{"value":{"entity-type":"item","numeric-id":5300068,"id":"Q5300068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d727bef3c329cd7210f3d172d16570d0f793399","datavalue":{"value":{"amount":"+0.86803216","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":"Q5271064$5F7D851D-A05D-4A16-8E57-9C36AB7E528B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb0b9a2c322ab5a0d5f9ca4512217011db1e812","datavalue":{"value":{"entity-type":"item","numeric-id":2957951,"id":"Q2957951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17264183e8bcc1033dd4e5381b34e8d75c4c6d05","datavalue":{"value":{"amount":"+0.86564976","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":"Q5271064$D14F0F80-1A3A-4355-8CBF-F4D28562D6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbc6cfa33195c60907997991dadb1278b660527e","datavalue":{"value":{"entity-type":"item","numeric-id":4508267,"id":"Q4508267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cedc1337abff2b8dbe87e9ff6d42f28e9f71aa53","datavalue":{"value":{"amount":"+0.8655589","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":"Q5271064$CE173724-CBE2-46A0-B246-0FF70F62FBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033de07e3d56708ecacab644c5d61e90a196357","datavalue":{"value":{"entity-type":"item","numeric-id":3711743,"id":"Q3711743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469bf8adcc9684f368a8f3812d19b21a79f1f824","datavalue":{"value":{"amount":"+0.86413324","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":"Q5271064$B418226C-44A9-4EF5-A82E-AE280312D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7236c6bc9a3f44e0e53f212392de01466cce0599","datavalue":{"value":{"entity-type":"item","numeric-id":973056,"id":"Q973056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f122120cabab854489ba6ac53705e46045ccf85f","datavalue":{"value":{"amount":"+0.8628298","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":"Q5271064$EB56C2A4-2159-4528-AF99-0192863405D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5271064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5271064"}}}}}