{"entities":{"Q3183544":{"pageid":3194252,"ns":120,"title":"Item:Q3183544","lastrevid":80028263,"modified":"2026-05-06T15:16:35Z","type":"item","id":"Q3183544","labels":{"en":{"language":"en","value":"A Hoare Logic for the State Monad"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618524"}},"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":"Q3183544$6DD54AB1-7309-4341-A541-E7D6C5E23C5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30e55ba661aa34b6d8f296c6313c5cf54f5e7de9","datavalue":{"value":{"text":"A Hoare Logic for the State Monad","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183544$832796B8-D28E-424F-9F8E-EC4A2A414E83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f3513a5dcce3e4529d787f49e49056122bc73b2","datavalue":{"value":"1252.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183544$DB85EF2A-0F72-4BBF-83B1-C00911AC9AF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a218b4fb7b43623a42ed815a6c46df3ead9eafc8","datavalue":{"value":"10.1007/978-3-642-03359-9_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183544$7D25149F-B09F-4F0F-8825-153DA20E86EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb347ea749674b96dcf23d1f480d130c607a21fd","datavalue":{"value":{"entity-type":"item","numeric-id":1791196,"id":"Q1791196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$9D40C286-BF4E-472B-BD35-0693EF38D8DE","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":"Q3183544$AF818E0D-5587-48C2-8A09-10515DA0BF8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183544$6DC77D7C-DC9D-4466-9F37-AEE143D79F24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183544$82590416-C412-407D-AFE0-7B3D3AE083C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183544$DB4B2634-EB24-403A-8FE3-5CE3834A5E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183544$1C3AEAED-496B-4044-B15E-BB8AD0DB7CA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eccd7b4270f3b8f04faf23f900d32a8acf0f3b67","datavalue":{"value":"5618524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183544$9D9B4E31-4F00-4FEA-B567-4C4736961020","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$D5281142-7522-4F3F-BC31-79B5797D761D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$B29CC217-92D8-4DFA-A8A6-AFDD74C684FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$22FBAD0D-6FB5-4FFE-AF48-6FDE4DD8CA72","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":"Q3183544$589D6190-B24C-4566-913C-DA0E0BE31E71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3458f622fced41b74aee5d8194078b873fb7e21","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183544$0DA0F9E6-D85B-4A78-9B1D-EBE4C9C7746B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c6dddc403358470b06d20c13074d8ad1c191238","datavalue":{"value":"W101014555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183544$9834C00D-223D-4BB8-BCE9-E634CC287F7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a386259d7b6de278f96d59178a0ebe00c941a927","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$1606DB90-C94B-4B42-BC27-E894F9A9E2F1","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":"Q3183544$859C7189-B14F-4BF5-BF60-3DC47F0BBF15","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":"Q3183544$D2751989-091E-4476-9096-943C06E89D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$8539A8BC-1A74-461A-8EA9-297C5D3F7037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09623b25863ff5c40989a5025b9634ea6113fef","datavalue":{"value":{"entity-type":"item","numeric-id":5501458,"id":"Q5501458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$C293715B-FB5D-4CDE-8C47-64DA667FC9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$A2AB65F1-0D49-4836-ACCD-739C36C3079B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$7A545945-A85D-45BA-804C-21C5A2905350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba8bd57f8794d317056b114a38bf751913f81c7","datavalue":{"value":{"entity-type":"item","numeric-id":3612448,"id":"Q3612448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$3A6D5B80-F9EC-47CB-A2AB-E64E6455E773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb24132ceead7ee6cd48198dc7aa757adff4770","datavalue":{"value":{"entity-type":"item","numeric-id":3523184,"id":"Q3523184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183544$5E0598EC-8A0D-49D4-935F-1073F4B2EBE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f97ef92fc18eae7506018001a310e958af424e2","datavalue":{"value":{"entity-type":"item","numeric-id":4417837,"id":"Q4417837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a8521bd5ed6ff26e95fbc6dabd3f42a5f3e71c","datavalue":{"value":{"amount":"+0.7361893653869629","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":"Q3183544$02BAF184-6C03-4ADE-BBC0-F5D453F615AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc53649bd5d635da871bdf61e590a80b040daf0","datavalue":{"value":{"entity-type":"item","numeric-id":2176680,"id":"Q2176680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4efc917e2ced51663be0877762ac8f192b9cb22","datavalue":{"value":{"amount":"+0.7348986268043518","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":"Q3183544$59785967-7944-44A8-8A92-67DE84454DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3bb6f112e6ae637f5a1bb26b466dde982f612b","datavalue":{"value":{"entity-type":"item","numeric-id":3523184,"id":"Q3523184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dfbffa246f8c7fe93bf6db772e7e5f1b293cbf0","datavalue":{"value":{"amount":"+0.7347683310508728","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":"Q3183544$E2178408-BBD1-48FD-9F22-2814960D60D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e82239519d59d1ac25c976c2117835da5a89017","datavalue":{"value":{"entity-type":"item","numeric-id":1799129,"id":"Q1799129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1793caa0dd34b12be4f3781266be465ecb9ddccf","datavalue":{"value":{"amount":"+0.7238167524337769","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":"Q3183544$6E10FB0E-16E1-4FF1-BDCA-CBA20A68D4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0b077a05f43e46ebb20a054225d3119e45453e","datavalue":{"value":{"entity-type":"item","numeric-id":5168878,"id":"Q5168878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890631cc7afb780028ed617e1aee8669b66dc211","datavalue":{"value":{"amount":"+0.7154032588005066","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":"Q3183544$9B10BDCC-FD3C-47E1-8404-96D2A7EBE049","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Hoare Logic for the State Monad","badges":[]}}}}}