{"entities":{"Q877026":{"pageid":878874,"ns":120,"title":"Item:Q877026","lastrevid":65027700,"modified":"2026-04-11T23:50:19Z","type":"item","id":"Q877026","labels":{"en":{"language":"en","value":"A compositional natural semantics and Hoare logic for low-level languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5144953"}},"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":"Q877026$84F5CA45-BA1E-41BD-870B-BB89984C9CA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"827b20cd1ff79df2b2ed9e01da4c59018c0d84f0","datavalue":{"value":{"text":"A compositional natural semantics and Hoare logic for low-level languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877026$90969664-C7C2-4EB2-B666-487DDB37FC70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b248c760a09cd7c01f82a3ed22700871774a7990","datavalue":{"value":"1111.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877026$0F822F6D-2366-42D2-A98C-283210114503","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5de519018acf0d952865d085d6e9c2ccdf1b2d19","datavalue":{"value":{"entity-type":"item","numeric-id":843218,"id":"Q843218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$28134059-758E-471B-A4C2-3FA2C3D246CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$55B0A561-2FE0-4665-AC30-BC2F745164A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$730DFE25-002A-45FC-B663-4FEF13BECE1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c162f292d55d8cae8f707bd4c33cce3b2222d9aa","datavalue":{"value":{"time":"+2007-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877026$46388178-BD2F-4B6C-A245-CE70D1650D18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877026$5AB167D8-5B13-4153-B5A0-BAF9E25AD846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877026$0FB8B15F-4BA7-461A-B692-03D477CF6E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877026$46A6597C-0349-4AC2-B0C8-410150AE0108","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6b1e7432e5ee3874f5175ea41a22c34017552cb","datavalue":{"value":"5144953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877026$8F9B695F-E00E-411E-99CC-D85FE9879D31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df5863278e428f3cc7e3713fd725f632c57e845","datavalue":{"value":"low-level languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q877026$1EEB4C7C-4E01-4236-8E67-7852243D632D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6e064560fc1e96295608eaef7e624b550d9ed81","datavalue":{"value":"natural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q877026$337CF572-12E6-4250-94E5-E84F8388994E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"116c12e4ced52ff19506df15cba07bbd94095dbf","datavalue":{"value":"Hoare logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q877026$6D5873F8-1A69-42BB-B49C-F755CE23889E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q877026$DE1A3A65-14E4-47FD-AF31-205BF75D1096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b3cecd504294aa772937a3a4c6753abfbb64ca7","datavalue":{"value":"compilation of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q877026$F30AFD9E-4510-4705-97EF-31065C45E268","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":"Q877026$0D711293-E72C-4716-916B-895CB15625C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8054e18ddbd349aa1b63e28ff5e4e6be7668c935","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q877026$D325C018-540F-4E34-A8DC-B345362511F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d1c1786bd2bf3ae3cdc8c11ac00763880608aed","datavalue":{"value":"W2170606418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877026$55A83610-8FFD-4E44-AD27-87D914179997","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"711b9a58df9e9d02e360a862629fbf9f3983be19","datavalue":{"value":{"entity-type":"item","numeric-id":5493398,"id":"Q5493398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$6B822D05-C561-43B0-8248-81C66C5406A7","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":"Q877026$039A288F-4017-4C08-A379-C305D4178CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$3E401FD7-AA61-41BF-B286-E1DB819B5C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22744747abceff09286911db8803976ee2b14239","datavalue":{"value":{"entity-type":"item","numeric-id":1145492,"id":"Q1145492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$39814AE9-48C6-4068-852F-11EF9BAF48C7","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":"Q877026$1F2BF7BD-D1EC-4BE9-880B-AB8F041C3852","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":"Q877026$6F499982-4F03-467C-A662-04E47D0D5AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689f6b7f9854c12a4cddd7dba59ed43395c8aca7","datavalue":{"value":{"entity-type":"item","numeric-id":1225451,"id":"Q1225451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$B671688F-57F7-4C60-A939-7090E49DBECE","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":"Q877026$348183BE-2410-4981-8D6D-B52A6B35FEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde0c5acdec560094faaeeaf74535ff9bab476f","datavalue":{"value":{"entity-type":"item","numeric-id":5348933,"id":"Q5348933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$FE4E980D-FBAE-4B1F-B2A7-3FF28CE72D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95495a8e4f0058056e049e538f11019cff0c80a0","datavalue":{"value":{"entity-type":"item","numeric-id":1416071,"id":"Q1416071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$539A80A7-697F-4B99-BFD4-A0B26F501B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ddc45ffb2c8e40e8e4acb1d93ee6d50aa952c7","datavalue":{"value":{"entity-type":"item","numeric-id":2852100,"id":"Q2852100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$A31B77C6-425B-48DB-9EFA-04D761FFB252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd3cb3ad644dad014ecb5bfe915da6e6d4ac4d7","datavalue":{"value":{"entity-type":"item","numeric-id":953533,"id":"Q953533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877026$0336BB20-15AC-42D8-BF1B-B45FD7287F74","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":"Q877026$868B01FA-E12D-4210-AE3D-D2F5B2154B33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a2c2fe4302089145a4529a7250984f230187346","datavalue":{"value":"10.1016/J.TCS.2006.12.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877026$4A227CD2-5F10-45EB-A5D1-431D481A3D21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a505f8601d2f3a55ecd156f93bea2ba67fe5ba85","datavalue":{"value":{"entity-type":"item","numeric-id":2852100,"id":"Q2852100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q877026$8EB69147-DF76-4700-8355-8C99D71B9456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d5a520e143c0421e6b654e60403b2fb9567fb8","datavalue":{"value":{"amount":"+0.91457385","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":"Q877026$221CD4AF-7A1D-4A8E-BE8C-54543E53CFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751570f5752c2c24c39a8f6620841facdcdf4c90","datavalue":{"value":{"entity-type":"item","numeric-id":5449610,"id":"Q5449610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c33146b9ec3a93fe1557447cbd0084cb38daf7","datavalue":{"value":{"amount":"+0.90581745","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":"Q877026$195AD17E-26C9-4F6E-9CDE-D031291620A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19e77784c701cfdf07eb85ea483ab72521d74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5712546,"id":"Q5712546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2575071517a6c458689888800ea837c30d632fb2","datavalue":{"value":{"amount":"+0.89356023","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":"Q877026$3E7598C9-1782-4079-A8C3-BF5B1DB24C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a51a0c7ebb1b24b7e1eb67929759663ab6faafd","datavalue":{"value":{"entity-type":"item","numeric-id":1205176,"id":"Q1205176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbac8c12ff54d7ecbcbfa8193ec62c2656e92f23","datavalue":{"value":{"amount":"+0.8836088","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":"Q877026$4B8DECB6-0DE7-41AA-8E96-9BEC0580A362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f800435365e02e0fb3926ac33c3ae1144ca3cac8","datavalue":{"value":{"entity-type":"item","numeric-id":3756542,"id":"Q3756542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b66d112770a57baf899f300c0bc467efd8b32bf","datavalue":{"value":{"amount":"+0.88118094","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":"Q877026$57BD09E2-ED3A-4313-94F4-DA15B3874FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539af1f29a63fd967a7fa7e490d1c41cccd980f9","datavalue":{"value":{"entity-type":"item","numeric-id":672703,"id":"Q672703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df8154dd7f1873df1d7333ce49c47b32ccce4eb","datavalue":{"value":{"amount":"+0.8793152","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":"Q877026$78680291-3B98-43D6-B7E7-29B739FFAB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b15dca19cbe1750d785ecea595e6920ecd08073","datavalue":{"value":{"entity-type":"item","numeric-id":5240216,"id":"Q5240216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845db488882cda1da09d8c0e0eea40f9b8a1945c","datavalue":{"value":{"amount":"+0.87752885","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":"Q877026$465B45FE-576B-4B0A-9313-CAA5FED4892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a222f75823aab5c47592ec20f22b4298c6cf6b","datavalue":{"value":{"entity-type":"item","numeric-id":1352493,"id":"Q1352493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10e344906d12ed9afa1f9776afed4364579287d","datavalue":{"value":{"amount":"+0.8760287","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":"Q877026$0F743DC2-D91C-4C94-BAE4-2EF0F47117EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2495bc2180c643aa39dd78f4b50a291fcaaa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1956381,"id":"Q1956381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0811747eb832cf207d50d82518f577db0498b50","datavalue":{"value":{"amount":"+0.87269914","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":"Q877026$760C6EE4-CB17-4ED9-97DD-64AB90DB004B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional natural semantics and Hoare logic for low-level languages","badges":[]}}}}}