{"entities":{"Q3644765":{"pageid":5674671,"ns":120,"title":"Item:Q3644765","lastrevid":88569941,"modified":"2026-06-04T14:52:33Z","type":"item","id":"Q3644765","labels":{"en":{"language":"en","value":"Nested Hoare Triples and Frame Rules for Higher-Order Store"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632024"}},"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":"Q3644765$625FB378-ED67-4E57-91A5-C14D1E2E5CEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12ee0b6616225f0b4cfa860222acfe1789a27bf9","datavalue":{"value":{"text":"Nested Hoare Triples and Frame Rules for Higher-Order Store","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644765$4F4FEE28-A6BE-453F-90AC-1390BD45E2DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a0c6f9553cc9d674240700f70950dedd67bef76","datavalue":{"value":"1257.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644765$B6B18230-14CE-4276-9144-AE3D30EF914A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"204e665ecd3cf8215ec8005197a164319ef36452","datavalue":{"value":"10.1007/978-3-642-04027-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644765$F27B83C4-7641-46DC-8B4F-99CAD7AE878B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$446DFA2A-8211-40D5-85ED-9BBF095CB88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$114F2ECC-C7F4-488D-939B-7046FEB96C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6e1f9f3f83ab8ce5ed045378a12428f006569f","datavalue":{"value":{"entity-type":"item","numeric-id":2339471,"id":"Q2339471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$5D41D2BD-755B-45EC-8CFE-319D07B7060D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$30078DC0-6555-4B3E-8C77-D42F94AB778B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$335A03F6-392D-463B-ACF5-C981691EFFF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644765$DF9739BB-1DA7-43BD-A524-6D5BEA88834E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f64ee510a374f284b285e4d4ff8f9f9787a2697","datavalue":{"value":"https://arxiv.org/abs/1109.3031","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644765$C93F3AD2-7A91-4976-9D54-A6058314DC87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644765$C9128C48-0DEE-4AD9-959D-6610F174E8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644765$DA441257-5CCF-4A0A-AC5C-B2E0E2ACFC52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e9caf1a4df10c5c258a3e747b774aebde8bb701","datavalue":{"value":"5632024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644765$FD0589E3-82C7-404D-9491-12220332D8A5","rank":"normal"}],"P1463":[{"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":"Q3644765$E8FAB79F-55B1-4F42-8BF9-8C7DE110CE91","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":"Q3644765$D1EA0C93-75F3-4E9F-9389-9FE0BF9537E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a41bd7671f7c558b85930088baf9d0af58c8d7d2","datavalue":{"value":"W1598065184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644765$35A7DA51-D2A2-4700-B822-50CE74A0D3AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$31B7F6E3-AAEE-4188-BD33-5ABC016D59FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b932bbc17022c0bef22624b0dd558efeeb4b761","datavalue":{"value":{"entity-type":"item","numeric-id":3519513,"id":"Q3519513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$041611BC-1EB8-4157-9F5F-55290D7AAC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6251e2141ccc31a7588f3fd89d0a24bd1ce5e11a","datavalue":{"value":{"entity-type":"item","numeric-id":3617747,"id":"Q3617747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$2309C1A3-E472-4277-A20B-D36ABB81F7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89cbfeceb159ddcc8072c7be622a29c89ba80036","datavalue":{"value":{"entity-type":"item","numeric-id":5310672,"id":"Q5310672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$52C4A822-1A6C-4F48-80B7-08DF076C632D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463e1954a865a473cacf2f48ac807c3750b13cea","datavalue":{"value":{"entity-type":"item","numeric-id":387994,"id":"Q387994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$D67FE1E7-A84F-4C64-B274-9000ECBD75E4","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":"Q3644765$CDE05CC3-08C5-4E16-A7FD-219BA245550D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$355685D0-8072-4154-B2BD-0D59D20B17FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d35568f9e9d1b4da0eb41e1856ebed95b31b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3189828,"id":"Q3189828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$BE08C86B-D3FF-4090-B6CB-F5BF6B939DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$3B70011D-B0DD-4DD1-B910-F5C1ABE35346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609bfdabefe5ab2c449f4319c98c79ecbc9910a9","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$40005E8A-6732-4E95-AB35-94B799BD9CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$75E7FF62-D55B-42EE-8C6A-FE88129B8E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2144fe5495fdeccad8e3a872dd20d5cc6bcce44f","datavalue":{"value":{"entity-type":"item","numeric-id":3415205,"id":"Q3415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644765$03A09969-F4C9-48A5-B1F7-B4E62750F76C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd5bf6d404fc69d19155260a467e98471ba2c48","datavalue":{"value":{"entity-type":"item","numeric-id":3224687,"id":"Q3224687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644765$9231C780-3762-43D0-84FB-C12606FE2CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fe31271cb7989d6f2d8a09b1cc0aa1c2b6e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":5716757,"id":"Q5716757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce5078a41d56fca35cd2c86e02a88f20edf6700","datavalue":{"value":{"amount":"+0.8413232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644765$921DF071-9909-422F-BFB9-DAB8BD146030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c852901a9bd117add63b5c013fa4c931aa0fc090","datavalue":{"value":{"entity-type":"item","numeric-id":3003346,"id":"Q3003346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b87257b450efbde2a62d13d75b87ca15ae2d0b","datavalue":{"value":{"amount":"+0.83815336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644765$84AA09C8-4663-468C-8A58-4A1FF56B6974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d274d02aff7d99c1d85a15c8212055e143a52e9b","datavalue":{"value":{"entity-type":"item","numeric-id":2842823,"id":"Q2842823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce119db7c06a54993eedc78bbab7003442236a4b","datavalue":{"value":{"amount":"+0.8203264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644765$262B7710-F1A3-414C-A914-FFFF0D7D17C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302effae99d5b630a1a547d06432f2bd4b8bfd35","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13c95a663a7d5ac47d3caeaf816b76af3bef477","datavalue":{"value":{"amount":"+0.8049014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644765$65CBE0E1-76F1-426D-B46F-DFD184980D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5e80290f5edb83ca9f5192b55855c9c9835e51","datavalue":{"value":{"entity-type":"item","numeric-id":3519513,"id":"Q3519513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2973180cfa0f1ff5cf2882dd9910729d7211d9d4","datavalue":{"value":{"amount":"+0.79907453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644765$54DC4561-D4C5-49AD-B867-C96A2287C41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c219e3300de56166c5b57401e38748981007de3","datavalue":{"value":{"entity-type":"item","numeric-id":2770759,"id":"Q2770759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37245627b77441be23530d7032664d2d6c8a4470","datavalue":{"value":{"amount":"+0.79718894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644765$E124233E-5119-43EC-AB15-3DCE306F1E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba3d1bdf8e0e9f73ec6860d40b9b055b21eb388","datavalue":{"value":{"entity-type":"item","numeric-id":3541943,"id":"Q3541943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b22ed0de4435f41fea8f693f743dc42c56193e8","datavalue":{"value":{"amount":"+0.7949117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644765$2E32D793-655D-4B51-9F8A-F9A20FB83919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f1ef9eccd16093eaa70e32a6288166883433ae","datavalue":{"value":{"entity-type":"item","numeric-id":4222769,"id":"Q4222769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c369a8184a6095b795b7c68c91c021af734e8389","datavalue":{"value":{"amount":"+0.79446137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644765$7783A957-D67D-45C7-8F84-673DC5C9904F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcf560d3e9d98ccf37889d00e886acfd4ddb75c","datavalue":{"value":{"entity-type":"item","numeric-id":4031367,"id":"Q4031367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd333b07a776d6867ffcd88d7e1cb5cfade8eee2","datavalue":{"value":{"amount":"+0.7935213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644765$962810B6-9A95-4A74-A3B4-02699C9CDDB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nested Hoare Triples and Frame Rules for Higher-Order Store","badges":[]}}}}}