{"entities":{"Q805248":{"pageid":807096,"ns":120,"title":"Item:Q805248","lastrevid":77860877,"modified":"2026-05-06T10:13:29Z","type":"item","id":"Q805248","labels":{"en":{"language":"en","value":"Weakly expressive models for Hoare logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4203735"}},"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":"Q805248$25615BF9-63C5-4F8B-B0C7-E028A1EE7C9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfcee936e15bbe543b84026a71a373545f807b9d","datavalue":{"value":{"text":"Weakly expressive models for Hoare logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805248$2A64A7B4-1596-4874-82AC-0E38754CBF72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"957f51bfd96116fccb990f9d0e7688ee6034095a","datavalue":{"value":"0728.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805248$C9B04539-DF2F-4B39-8B94-2650A404655A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15a1d091baf285242eefae4de18722677c38ab01","datavalue":{"value":"10.1016/0304-3975(91)90232-Q","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805248$CDEFC3ED-8CE1-4B5A-B38D-E60B48440B9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"deb27c7243c11db6d0e47245e118b5ce2029ef31","datavalue":{"value":{"entity-type":"item","numeric-id":671645,"id":"Q671645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$CFD3F228-DB59-4F34-8939-E7DAE56858DB","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":"Q805248$70F749EA-E333-421A-BB14-14F81C347DA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q805248$00BA99C6-8BCA-4D19-9971-6218F42B11B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96c97e040f4a9037b0d31008bc82e56c0cf4a3c4","datavalue":{"value":"The author generalizes the notion of complete models for Hoare logic to the weakly expressive models. After some preliminaries about Hoare logic, the author introduces the weakly expressive models and proves some important features of them. The main results are that the complete models are weakly expressive and that a model is expressive if the domain of every program is definable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805248$3C0AC890-BC71-49D4-A333-A34CB966FB8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805248$490BD1E6-7CF1-47A0-B31A-54046449D844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805248$7F1F6E54-7E12-4266-A589-9B6CECD75710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805248$7EB63FF5-D0DD-4AA6-84F5-EFD3665099E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a9b740d2f34265a90593da3f2375b0fa7240a48","datavalue":{"value":"4203735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805248$0CFADEA6-A82F-4B3B-8526-3C8093E864D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b56ea6abffa7d87d3b4a57d3ad009c0504f3eda","datavalue":{"value":"complete models","type":"string"},"datatype":"string"},"type":"statement","id":"Q805248$4D2B8BED-D22C-467F-93B3-8B9321D408D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q805248$00155092-594F-48B6-AA45-7524A676051F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e5817a545bc524c87bc88acada11fb009fe39","datavalue":{"value":"expressive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q805248$2A9C9B0B-D06C-4E74-8250-C0C5E426451F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b838b70233056ed7ed17285e2cb38a1750639542","datavalue":{"value":{"entity-type":"item","numeric-id":203307,"id":"Q203307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$00F04047-75C2-4299-B04E-49E92DE78359","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":"Q805248$A9863286-1F45-4BEB-AD2E-6E05BCE30BDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$9BC373C7-2CE8-430A-AB91-F127A4D17EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d6971c4054c6c2a549c4d4d04e54db2a8ed162","datavalue":{"value":{"entity-type":"item","numeric-id":1163369,"id":"Q1163369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$5A84B14B-15B8-42F0-B556-3311B84DC664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23a54cf5c2c32f027cfca2700657a849c9c7aec","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$6E213733-B24D-467C-9312-41A4E1D40A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9524591c716399a044c6f3a340114d91b4fa248","datavalue":{"value":{"entity-type":"item","numeric-id":1056220,"id":"Q1056220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$886A2DCF-CE0F-49E0-BCB2-53D2C4A41822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896a4e1608ded66dec0047e42ace35f2bb27df8d","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$E9C2D19F-DFA9-4B52-BD19-340D38AFE167","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":"Q805248$C7604248-22FE-407F-A766-5B8354B13C16","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":"Q805248$F051C651-8C1A-4F7A-8DB9-183ADF5EC1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322b6f1a81d5899d0a8b85dffae86812b3ca5836","datavalue":{"value":{"entity-type":"item","numeric-id":1171876,"id":"Q1171876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$25579543-273D-4B87-92AF-D84FA0F6A6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$B2554AD7-51BD-4CF3-815A-25A70BB10328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0535354c25e94c8bb5c29ae295984af05b7dfc6d","datavalue":{"value":{"entity-type":"item","numeric-id":1064046,"id":"Q1064046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$9F6721D5-8C28-466E-8D1E-40EDBB6CFFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377324767631186c74643cd4927092bc831167c8","datavalue":{"value":{"entity-type":"item","numeric-id":4139636,"id":"Q4139636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805248$C1CB0E9B-7487-4C39-8F82-6D3940CACD20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ac794e7992071c126d08eec85a3e5c91841045","datavalue":{"value":{"entity-type":"item","numeric-id":3323928,"id":"Q3323928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5401e10020b1bc0542ea46b255735a49370ad6c","datavalue":{"value":{"amount":"+0.9151664","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":"Q805248$424AB832-0A32-432C-B130-4B83C16316CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93f39de2ca9b3a85ffe93cf3e34e5c6272e166d2","datavalue":{"value":{"entity-type":"item","numeric-id":4508251,"id":"Q4508251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd987308a3df0f0d399533ba6f7f834c8e362ab","datavalue":{"value":{"amount":"+0.88817644","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":"Q805248$BD513786-CDFB-4279-9CDB-766EC905BE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54ddba3056b2cf50d60ab1c9a332c8cab1c4543","datavalue":{"value":{"entity-type":"item","numeric-id":2155209,"id":"Q2155209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ca681e87233d008e87f15527786c4d36b17093","datavalue":{"value":{"amount":"+0.88656133","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":"Q805248$2736D27A-BC94-4797-BC45-ED4FBA44891B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1aa981cda532a909c5160e606746cedf8fa3ae","datavalue":{"value":{"entity-type":"item","numeric-id":3433107,"id":"Q3433107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385f2a007005750d49686535a03bea83647e4ee2","datavalue":{"value":{"amount":"+0.8830229","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":"Q805248$9E6D36BF-8E11-4BD9-9482-BEFC517610E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4650aba39cacb27e2010918eb661fb5eb8c81d84","datavalue":{"value":{"entity-type":"item","numeric-id":5278397,"id":"Q5278397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065eb2015598f80045c9cf42d0c765b7f90a87c9","datavalue":{"value":{"amount":"+0.87750405","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":"Q805248$2958700D-FFDF-4C31-B936-87FBCD75E160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd5c2832aabbf4b304824c9b3020a0ed9253b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbcf01bb73e85b2f71154e567eaf5400f2076e7","datavalue":{"value":{"amount":"+0.8773998","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":"Q805248$9037D1F4-B85A-4955-8246-86F0D6E56BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a020c71a67a59da90c8fb138f5c0ed619d11d2","datavalue":{"value":{"entity-type":"item","numeric-id":3469083,"id":"Q3469083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67cca9c80af7e6aafe6967c630183b1b2cfe3ab","datavalue":{"value":{"amount":"+0.8743872","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":"Q805248$08F2D6B6-DC20-46A9-B5E8-98DB28936FF4","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":"6967750f10f13138244c0a3a5b1ae45cc6c8c00b","datavalue":{"value":{"amount":"+0.87420416","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":"Q805248$2C096EEE-0E18-4913-8A7A-E0D11A3F453E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9969ad97f00fce387e4d4af6d7ed2c1fd48323c","datavalue":{"value":{"entity-type":"item","numeric-id":4580199,"id":"Q4580199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0d62790375be9cb5f2ea4e00ffcfd524b24219","datavalue":{"value":{"amount":"+0.8733463","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":"Q805248$FA45AA09-8961-455A-A46F-8FC80ABD036D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff7aca07374a6e46ccfaf4317d764b31696adbb","datavalue":{"value":{"entity-type":"item","numeric-id":3477997,"id":"Q3477997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5029561d310447a3f81afd38c5c17204d066d242","datavalue":{"value":{"amount":"+0.872993","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":"Q805248$73C88336-4CBB-4482-86D8-93A814E17AAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakly expressive models for Hoare logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weakly_expressive_models_for_Hoare_logic"}}}}}