{"entities":{"Q2026792":{"pageid":2037534,"ns":120,"title":"Item:Q2026792","lastrevid":57702648,"modified":"2026-03-31T23:52:43Z","type":"item","id":"Q2026792","labels":{"en":{"language":"en","value":"A sound and complete Hoare logic for dynamically-typed, object-oriented programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350301"}},"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":"Q2026792$5C76FEFB-E965-4EA0-B33B-A69C31E7F673","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d36b8ad091c53664e6cca5d2439aaaadffaad3bb","datavalue":{"value":{"text":"A sound and complete Hoare logic for dynamically-typed, object-oriented programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2026792$6604BCEF-BEE9-43AE-BE04-3CD64EE4C957","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fbae47ee39495847a79d5ec435758eeeade5543","datavalue":{"value":"1475.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026792$5CDE1937-10D2-47EC-B9C1-1F1CD6A6D257","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f1e427532802c4d5488f8653c010b4b8c02d54d","datavalue":{"value":"10.1007/978-3-319-30734-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026792$616763BD-F276-4362-99D6-F9F7B734BB64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11fee1fba4cb6c71da709a12c7f631c87b857e53","datavalue":{"value":{"entity-type":"item","numeric-id":2026791,"id":"Q2026791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026792$F488C175-BF50-499B-8C52-A6DED8A6F751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2026792$D00BD435-B1A0-444A-AC57-F690191FF881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-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":"Q2026792$141E09F5-8ABD-4F54-984D-FDDBB800394A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5bb962dfa3bb8ac48c3904a73ccef1174b1ec32","datavalue":{"value":"https://arxiv.org/abs/1509.08605","type":"string"},"datatype":"url"},"type":"statement","id":"Q2026792$F994BA94-E915-4B4A-91ED-C01026D1C320","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026792$162AA6C9-36E3-42E3-B4AB-5E717CC3C8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026792$4445C4D7-5888-456A-9DC6-3C8B08F02C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026792$01F9B442-DEBD-4432-B079-951B1DAD77A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026792$19A96590-5C08-488A-B645-E7C25BB90099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026792$04EB23E0-1EA4-4720-A08F-072D5067B469","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9770bebdc8ef61116b39442cb2227ed6b99970b","datavalue":{"value":"7350301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026792$74A464E5-235F-471F-8F7B-65F7F1766275","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928305b1f699a6c0d45ef743dbabb9e4653bb3d7","datavalue":{"value":"tagged Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026792$A93A4B12-EF8E-4C5F-9955-13443A9BE626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e33d8f8d642c4032c6b3f919c9259d72836e1474","datavalue":{"value":"dynamic typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026792$41359CE6-CEE2-4766-A243-3438CBD54F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc30c724ab903906e27421f1801424633be95f64","datavalue":{"value":"pure object-orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026792$9149DEE3-D8D6-4ADB-A4C9-5F8DF270B1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026792$0F007942-1560-4383-A69C-B144BFEF23CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026792$D7659C29-40DB-45BE-83A0-F53F260FCDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026792$9070AF7A-6C80-47E2-8796-CC2C59E7CBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026792$042E4B6C-02CB-4528-99A9-5921AEE5F79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9b113f6a2661e34e95730bc1f05bc309ae0030","datavalue":{"value":"multiple notions of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026792$968A8128-C75E-4730-8BE1-62792546158A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7f3cad21b79a918573bea4ff5a357fb7e915fa0","datavalue":{"value":"completeness for total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2026792$B4983630-42ED-4A27-8552-40FC4FAAB44A","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":"Q2026792$798A2845-29B9-426C-97DB-8915910F7C38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3231520fad938704b12e1f3cde36c1ed605cf4e7","datavalue":{"value":"W2347161843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2026792$633A562F-BF2B-4B70-AC5F-BA0174FAD5FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa65c7f32f6ba0869650b0738f3e526afcb5338b","datavalue":{"value":{"entity-type":"item","numeric-id":5902541,"id":"Q5902541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d0e618e43d10b941f8fa4ef76d76f95354fb0a","datavalue":{"value":{"amount":"+0.8950595","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":"Q2026792$1AC1AB6B-1795-42E1-B9EE-121E815EE137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02658ea832e71a99ea5469476d7e1df85df4a9a2","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20e43e17b538cc870139eb1f9593da043e356fa","datavalue":{"value":{"amount":"+0.89287174","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":"Q2026792$11CCDD56-A010-4E92-94CD-38AECA7870D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dcbb169f2c708b8e803982d4175da6fc4d4cab","datavalue":{"value":{"entity-type":"item","numeric-id":5464642,"id":"Q5464642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de65093e4f5c8918dc38cf303e43e8cece5e76fd","datavalue":{"value":{"amount":"+0.88203907","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":"Q2026792$2218C6E3-09DA-40ED-93E6-63382530D1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849f75c5a6e8b0c6538786d519488b33480e2443","datavalue":{"value":{"entity-type":"item","numeric-id":2038040,"id":"Q2038040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed4ac3c914876e925b4a27141eaa0e568ba9344","datavalue":{"value":{"amount":"+0.88099086","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":"Q2026792$D9F2DA8C-E273-42F8-8AD9-658FB943B529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906280411292f7d7ae65a58a3d97379b3b9e54c0","datavalue":{"value":{"entity-type":"item","numeric-id":2754049,"id":"Q2754049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6efa6347a7fbe6523cf2456f9663ae8ccd0fd249","datavalue":{"value":{"amount":"+0.8772811","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":"Q2026792$0CA1F2A4-1F39-487E-A111-7654D954B4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652d0cc4bbd3c41cff70f26804bfae9ad1651990","datavalue":{"value":{"entity-type":"item","numeric-id":2937782,"id":"Q2937782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27e55a654d5155ce4034ccce6a7036332787762","datavalue":{"value":{"amount":"+0.87393695","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":"Q2026792$7C97DC7A-1E4C-4A24-A333-C06DD57B139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa23e5f0c1fd583be6c5593f42349b0540bc16f2","datavalue":{"value":{"amount":"+0.8738406","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":"Q2026792$F08DAB24-DA89-4371-9B41-3A6301164F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e78376902b3e7b02d2c80b765b954fcb85c79b7","datavalue":{"value":{"entity-type":"item","numeric-id":5748874,"id":"Q5748874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97edb64ca1c895253210c0f82b6a9234f92a961e","datavalue":{"value":{"amount":"+0.87163967","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":"Q2026792$CEB4E757-EA09-403E-854E-43FCE2DD5E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dfa17040c705420c2b156bf9fc17fdc2a3345f","datavalue":{"value":{"entity-type":"item","numeric-id":800712,"id":"Q800712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771b98ad3120f2d2c174e1865f3e9f18c83b0252","datavalue":{"value":{"amount":"+0.8711415","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":"Q2026792$53FB8B20-5D17-42C9-9DA6-70F266F7450C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6961f42b0e586ec5f5db21fa2d898ad09097791b","datavalue":{"value":{"entity-type":"item","numeric-id":387994,"id":"Q387994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549f6bb99f0be265ada8bbb6eb9e68fc529254fd","datavalue":{"value":{"amount":"+0.87110746","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":"Q2026792$E9366252-BF96-40BE-BC72-BBC0CDEDAF7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2026792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2026792"}}}}}