{"entities":{"Q444460":{"pageid":446227,"ns":120,"title":"Item:Q444460","lastrevid":61864098,"modified":"2026-04-11T02:11:25Z","type":"item","id":"Q444460","labels":{"en":{"language":"en","value":"Deriving a Floyd-Hoare logic for non-local jumps from a formul\u00e6-as-types notion of control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065752"}},"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":"Q444460$AF591DF8-C079-45CF-9FBB-441C2C469A9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7253f29fbe31edf2de8b07c9bb6cefcde686521","datavalue":{"value":{"text":"Deriving a Floyd-Hoare logic for non-local jumps from a formul\u00e6-as-types notion of control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444460$A8ED4273-9061-4B3A-BEF1-198CE4D6385C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad9d00c49a978fc856f58a996df70b4d4067baff","datavalue":{"value":"1259.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444460$C3861368-6683-4DC2-BC64-AE5C2AB9490D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"169ae84668f51a3b0c677acb49053801d20f842c","datavalue":{"value":{"entity-type":"item","numeric-id":444459,"id":"Q444459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$7F7AA62A-4915-4D09-B9DB-56B6C291EE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b19bf96bf438b05a47d5097beb71893c0804485","datavalue":{"value":{"entity-type":"item","numeric-id":197378,"id":"Q197378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$C5D0DB78-6B0C-4938-8917-BF765AE327AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$BBFD62BF-123B-4F82-953D-51A1B021C2AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444460$EC061E93-F530-449A-BAAA-9CB9ECC7AB95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60c0f1ebd05384b7456e01d9ec8374247afc2fde","datavalue":{"value":"https://arxiv.org/abs/1112.2950","type":"string"},"datatype":"url"},"type":"statement","id":"Q444460$A39E5520-5F61-40E7-95F8-5DC599C8D0AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444460$B91180B2-C614-4D4E-AC7B-65759F668A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444460$5D349D70-1214-465E-B42E-B71D321625F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444460$9C13C229-F4C3-4AF6-AC80-30E7B1E5740B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444460$D81D8CC1-3AF4-424E-AC1A-CA63EE965479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1f792c3408d2c52d105d885477d19b60ffdc0ad","datavalue":{"value":"6065752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444460$D4D5698B-3C74-44CC-AA50-CDA3543C519D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f082d23ececda4495232af64202f592a5942f2","datavalue":{"value":"Floyd-Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q444460$BD2F3E15-4BF9-40F5-86AC-FBC2096CFFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb6faa8c277ad8d5d1904300331c2931875bbf1","datavalue":{"value":"higher-order procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q444460$D4397E34-3270-443D-B8D6-CCE1A279841B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b49430f3f0e97f41b6e060be3600a928e3b217","datavalue":{"value":"callcc","type":"string"},"datatype":"string"},"type":"statement","id":"Q444460$92AFDFD9-6C79-429C-81CE-B60AD190F523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d25e20c0482078eadaa7ad2ed9897358d4d26d","datavalue":{"value":"continuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q444460$7B0FB6AD-EDFD-4465-BFF0-1230413E9E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q444460$0484DB17-E454-42C3-958C-B02ED6A62470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2fe7b2c0e3251ecbfbae29ddce7ab56c50f27c8","datavalue":{"value":"non-local jumps","type":"string"},"datatype":"string"},"type":"statement","id":"Q444460$61DB101F-305E-4560-9D17-F868376A39AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07429cb8e851635aa3eff0d6be2bffb8945f495","datavalue":{"value":"imperative dependent type system for Hoare triples","type":"string"},"datatype":"string"},"type":"statement","id":"Q444460$FD329D3D-8540-480E-9259-C5694BB8074D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$C2062C70-A4C9-499C-A743-25EC60B9D402","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":"Q444460$BED9636C-9C80-4309-BEB5-1D6BACD126BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$CE25147A-60B9-44EA-9955-F03F9EF6C3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$3A6E25E9-787F-4BA9-9E9F-BB451EA1B854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$16102DB2-B74A-471E-AA3B-F00E0D7638BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$BCFA6AA6-61B4-4B93-BD5B-DA4A5FFC4638","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":"Q444460$096408C6-E7EF-46C1-9F76-B70177352AC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd7e6264fb6b3f6d9b11172f87fda3277c330df0","datavalue":{"value":"W1967996089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444460$FF068190-926F-4D38-82D1-2A620B29F843","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$9AE9CDA7-C78C-4C38-BEF0-0E8A68ECC4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493a160c5913f817e8be349b51a57b4910361b4f","datavalue":{"value":{"entity-type":"item","numeric-id":1974480,"id":"Q1974480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$7E49F4A5-0EE1-4FE3-9F76-F80B1B223759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fdea4f58240b583e8d37e1858a840704f4b8960","datavalue":{"value":{"entity-type":"item","numeric-id":4281464,"id":"Q4281464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$DF6E79A9-0E94-407F-B14D-287EAFDB8F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d924809cd7dde4fee01261ee91e6338b092ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$7D748F7C-00E8-4F20-9A13-B8F26162B49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8fb1b1032697cbb224955657b7739e1270ff2d","datavalue":{"value":{"entity-type":"item","numeric-id":3400921,"id":"Q3400921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$E48FFCF9-7EB0-4D4E-894D-1D7CAF58ED58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ea8498461ad98c2c25d2d3ae72c43b05174e53","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$9D4FAD50-B1EA-4F12-9D09-926CFE0A0751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079581106df11c72b68bb08c8e3f6fdb85f44f2b","datavalue":{"value":{"entity-type":"item","numeric-id":4842532,"id":"Q4842532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$62CB7CAA-F0EF-4EB2-92B0-B5C020DD85E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$5C496392-9D6D-4BB6-AE1D-C21360235BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb6ff5311a74b34184b2722f45306b1bbefaa27","datavalue":{"value":{"entity-type":"item","numeric-id":2550288,"id":"Q2550288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$A6CF89B1-8FC7-4AF7-90F5-E1700ED32677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb486c3fa13afc92306bac1f9883fcb9173e09df","datavalue":{"value":{"entity-type":"item","numeric-id":1274979,"id":"Q1274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$1311F492-4F29-4F4A-855B-BA1E6B18F3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8914cc22efd8b4b68f3bc7e4fedf7bb2faa5d5","datavalue":{"value":{"entity-type":"item","numeric-id":4385541,"id":"Q4385541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$DA6E3FB1-B444-4985-9492-A3A8A6B14954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4198ce3dabdf90b9900bb8805d1e27c3f47767df","datavalue":{"value":{"entity-type":"item","numeric-id":4823807,"id":"Q4823807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$6D734BB4-990B-4271-B5FA-E68A8C5BA7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c38347a4ea8d62e9cae23b0484740b9b87a22701","datavalue":{"value":{"entity-type":"item","numeric-id":2946583,"id":"Q2946583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$8A29E8A6-C90D-408E-847B-29C8882E95E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$5CB11388-B0D8-4C8D-8802-C59267A681BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cdd87ded22e91b240f87cd42c83be6c8b249a9","datavalue":{"value":{"entity-type":"item","numeric-id":1172384,"id":"Q1172384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$293ADB49-A881-4AC7-8357-B4BD5E64B315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dc71408bfc822fcfb26590a9ac4a240325ab9b","datavalue":{"value":{"entity-type":"item","numeric-id":3024836,"id":"Q3024836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$76A4AE8A-B679-4E60-B348-91AE02F6EEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfbae7f3af0a4568d5900068d085401f43ab2ac","datavalue":{"value":{"entity-type":"item","numeric-id":1232295,"id":"Q1232295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$22FD6B6B-69C6-40BE-A766-9AA7ABC9FD50","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":"Q444460$B2560EE9-A979-483D-9A92-88CD5CDF0CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$9235C5F8-1A96-43A1-988B-AB93FE15441A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$862F2E6C-2A5B-414C-AB3B-EE95A8A4D859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$D2453163-2554-4A67-9532-6EA00A4A6805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca5899cc29d9e26591c0bb964706a1571af7dea","datavalue":{"value":{"entity-type":"item","numeric-id":5704010,"id":"Q5704010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$2D48EBD2-500C-46F6-B3EF-7E6D5BDEB91E","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":"Q444460$91E9D064-F6CB-43DB-8FD1-E1C09000FD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$8CB0BF6E-BC6B-4C85-843B-09719214AF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc76a40dc292ec2f668a85cb17db89267cde3a0","datavalue":{"value":{"entity-type":"item","numeric-id":3591433,"id":"Q3591433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$3E02728A-51EC-4782-BF8E-924D40DCA812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$2137D355-588A-4F23-9A6A-7ABF3321C572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88e260db34f519c1460bc034e109bb9ee84bd5a","datavalue":{"value":{"entity-type":"item","numeric-id":1280731,"id":"Q1280731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$9B42D8A1-B4C4-4F79-A1F4-113CE6A677F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$0382C3FA-7B9E-450E-BD71-30E4DE02479C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$73949397-0CE0-4951-AD6A-05641268F994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b355c034a15b6951cab8a2fb9dd01fb3be3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$9B3963B9-685F-4C4F-9BAB-9062F4B4C474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$51E9A4F5-DEF7-4306-8049-6E32327ABFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$8D1E6C7C-8ACE-46A3-8D28-4177BB7FD42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0cab4051b08c21877e1d6824729137cc44bcf1","datavalue":{"value":{"entity-type":"item","numeric-id":1290331,"id":"Q1290331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$2C12FACC-8B90-402B-8DEF-66F7D08A6BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683a46f331c4509ebb717490a3c704f662ef3419","datavalue":{"value":{"entity-type":"item","numeric-id":5957855,"id":"Q5957855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$85D082D4-C821-4351-BE7B-41E34960952C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0485b922d32fe9939be19deb529baa8878bdb978","datavalue":{"value":{"entity-type":"item","numeric-id":3976056,"id":"Q3976056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$58D04102-91F8-4D18-9AC8-3D11EE68CB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9261142f5de7220f1e713cad91e4e3d75f744eac","datavalue":{"value":{"entity-type":"item","numeric-id":2852367,"id":"Q2852367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$66A740E9-AB37-49D1-A891-5D86FC634569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$1E8F8170-F101-482C-A683-B627D251E657","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":"Q444460$3F4FFBE9-B1D7-46F5-B111-592E59E85FCD","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":"Q444460$D2CB2C95-BD7E-49AA-B6BB-DFF928AF5963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481d78a79f18ce6dadeb3fc5099daa3eedefeb4d","datavalue":{"value":{"entity-type":"item","numeric-id":3959405,"id":"Q3959405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$DA1715DA-EA70-4CAE-BF69-45245DE4C583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8952469047e1b527e3099da8ba6f1fc71a2a80ed","datavalue":{"value":{"entity-type":"item","numeric-id":5487826,"id":"Q5487826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$F6947FF9-402E-46CA-9279-8384FDFBC3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$6C3E0917-121A-4937-AD6D-D925BED98B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$61AF415F-5C69-445A-A280-D50958237F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$C6CF587B-02BD-4F56-9757-4176A048C7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0681e4f81a6bd5fa9bdc18bf3f5763e6f197c074","datavalue":{"value":{"entity-type":"item","numeric-id":5902410,"id":"Q5902410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$3440DBA5-3122-4E0B-948F-0392F5EA8218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff72fafac4b9771b19eb61a4a329b67e2f665e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4460845,"id":"Q4460845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$45E668C2-829A-4CEB-ADC2-269850D307DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb3a78bbdc3452fd4009af98c6e088b6a28ed53","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$C242AB40-E3F3-476D-A5DF-412F6CC377BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a0635f68b43d9390371e8ee87b6f66f21e0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":5716757,"id":"Q5716757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$2BA40C4A-C516-4D1A-A856-60D21AAB6343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$053C38A9-E12D-4D18-9530-365CF5D6895A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$A8435019-3382-4BDC-9E93-CEA829933516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$1EE33361-2F5B-4874-84FE-BB02F3CA7434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211ccd5b5f94c4e816f76718008ebbfd030c7f86","datavalue":{"value":{"entity-type":"item","numeric-id":3183544,"id":"Q3183544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$2C687AA9-ED3A-44F3-B734-CA65866A2D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7c68b4d2f2637cb9ac79742d9c96fc8c9c5a22","datavalue":{"value":{"entity-type":"item","numeric-id":5898611,"id":"Q5898611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$B6BAC01F-5591-4590-9BD0-B6A8C479E7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2eddc187b5fe635eabdc301300820f2031fd242","datavalue":{"value":{"entity-type":"item","numeric-id":1178704,"id":"Q1178704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$4752A586-1C84-4C76-9BDE-0F34764EA0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7fcd619b06b18590e013852bdadcc4a0f42b00","datavalue":{"value":{"entity-type":"item","numeric-id":1290329,"id":"Q1290329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$0A5FA4B2-A9AE-440A-B311-6FBCFB08C6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5e35fc77ecf7a7970fb7819388d0467b75dc04","datavalue":{"value":{"entity-type":"item","numeric-id":5302644,"id":"Q5302644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$07F7F3D4-AD8A-4644-AFD3-4AC06621D767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45693061e506ddfc304d90cb392dffdbb69b973","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444460$E13C4ECF-28C5-4F03-A2A5-4D90D66DFFA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba456abcd91af047b432867061b1d17272569d01","datavalue":{"value":"10.1016/J.JLAP.2012.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444460$3752CB67-7F71-4363-B64C-AF19824758F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f248c5b2fab00a91b3e2bd8c96854994826462","datavalue":{"value":{"entity-type":"item","numeric-id":3400921,"id":"Q3400921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee85e9b4ed20e4c6acadc017465bb5a26f2319e","datavalue":{"value":{"amount":"+0.7607274651527405","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":"Q444460$0F5C90D9-980F-4F0A-8876-0934BD783004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91238b58ee337808c67418828dc75cdf05d0f370","datavalue":{"value":{"entity-type":"item","numeric-id":5898611,"id":"Q5898611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cc79b01e7a97d3859952e6e19cdbe9de551ded","datavalue":{"value":{"amount":"+0.7246461510658264","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":"Q444460$A90959A6-9B6A-434B-978F-0D42632E85F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db2248a640cfa56601cb4aa2b1294c116c36c69","datavalue":{"value":{"entity-type":"item","numeric-id":4664922,"id":"Q4664922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9c94d6e09cdf1a2a01c226e6af0e1615be42af","datavalue":{"value":{"amount":"+0.7243391275405884","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":"Q444460$3E60973F-0E39-4F35-9075-F7EF6C89530E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec95ec83f2523772b730e87f093c2bad7a4612e","datavalue":{"value":{"entity-type":"item","numeric-id":5493398,"id":"Q5493398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c16ab7ddfea480075931f041bed96d63146fc35","datavalue":{"value":{"amount":"+0.7161185145378113","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":"Q444460$DE017FC6-4554-4F0B-BC0C-2BD29090872E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a250ca016f0d5c763d56fe7f0ad35c2bbe1d87","datavalue":{"value":{"entity-type":"item","numeric-id":4501670,"id":"Q4501670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde6a0d895fff7db56237e0c4093613f6631ffe5","datavalue":{"value":{"amount":"+0.7141714096069336","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":"Q444460$658C0ECF-B9EF-4A08-8A0A-B60BC1C5B2F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deriving a Floyd-Hoare logic for non-local jumps from a formul\u00e6-as-types notion of control","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deriving_a_Floyd-Hoare_logic_for_non-local_jumps_from_a_formul%C3%A6-as-types_notion_of_control"}}}}}