{"entities":{"Q2842647":{"pageid":2853367,"ns":120,"title":"Item:Q2842647","lastrevid":51801233,"modified":"2026-01-20T02:53:26Z","type":"item","id":"Q2842647","labels":{"en":{"language":"en","value":"Graph-based object-oriented Hoare logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198962"}},"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":"Q2842647$436F20BE-28C4-41CA-BC95-46DD0FD1FCB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9c29dd136d79a8b14d02c6a29b8bbaf05ba8e96","datavalue":{"value":{"text":"Graph-Based Object-Oriented Hoare Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842647$408FE024-C518-4E67-9B98-6D91DB5DE574","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b61800639514768e6fce6366ee94bb3dbc74b840","datavalue":{"value":"1390.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842647$43917E97-AC64-4906-A5D7-D8AC903DE63D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5ad0af46a55ad2f3e710a4c65997e74a0df2766","datavalue":{"value":"10.1007/978-3-642-39698-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842647$70128876-D66A-44FD-9D21-490EB5D2EE35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f1080b206e10b14229302079790b86063f979134","datavalue":{"value":{"entity-type":"item","numeric-id":2842622,"id":"Q2842622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$70D975AE-E48A-42DE-8754-978C1D16CC1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842647$6B4849AF-718A-460D-A7CE-DF9B010F0D17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842647$1C38BA5E-FBED-41AE-9849-A7026FFA3E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842647$8B003C4E-15FA-42BD-A169-60968743FDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842647$38785F8F-B46F-4765-9465-17EC7D32B682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842647$BE64ACE4-FA8E-4157-83C0-A7CA54B0187A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ce55a5a93cb6b421c96fdba39f1bb06232d417c","datavalue":{"value":"6198962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842647$1DC4DB14-02D8-4AF8-B7B0-C30D335559D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842647$100E474D-AEF4-40AE-8FC0-2EFA4C31FF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4caf5f6d2ed4be219acc3d1e51c1546da4220e8","datavalue":{"value":"object-oriented program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842647$4BB3ED45-509E-45F2-AAC4-0C5DF43EC716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d6cdcc939870e7d81574a038c786c940d6f820","datavalue":{"value":"state graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842647$F21AA0F3-EA37-45E7-8EEB-BDC16AC34522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de5c78d46b9cdcf0ebef8b039e94b15fe93e030","datavalue":{"value":"aliasing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842647$7423BDF8-3DEA-42D3-A32F-E47A249ACC6F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94d282fe65ea5eed1e66da6ca542844ca7a9c506","datavalue":{"value":{"entity-type":"item","numeric-id":14236,"id":"Q14236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$FA70F841-9D4E-49F8-8603-D69CF8312AF3","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":"Q2842647$D9E8029F-F0FF-411F-8D7F-004EC5677A9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"317f9b42ba9e84a51e21efc196cf9d1b60f8a69e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39698-4_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842647$ABD81779-9989-4E25-A4EA-594AFAE99C45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac2681ab28603f38912e538f1e2b3633ee196eb3","datavalue":{"value":"W183428347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842647$68CAB011-46FA-41EA-907F-0EE06DBA037F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f5a6ce1232c90aed250067ac9bc65a7d3e9ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4124296,"id":"Q4124296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$E45B9200-3984-4327-B575-55D344E52820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b816bf259b1747d8af1abd1ba258102ec50e71","datavalue":{"value":{"entity-type":"item","numeric-id":1004291,"id":"Q1004291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$9638387E-F595-422F-BFD0-7CE8A2F439F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f543771512199937c951431ae1aefaddde733a","datavalue":{"value":{"entity-type":"item","numeric-id":5292610,"id":"Q5292610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$35105EFD-58C8-4454-9444-D9F26676FBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c670c189ca485c7f6b031024bac0680e696f6","datavalue":{"value":{"entity-type":"item","numeric-id":854169,"id":"Q854169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$02B5EE39-5740-45BC-B77E-752F404E5BA7","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":"Q2842647$EFF10E89-11C6-4F5D-BA7D-0DF8032B89B3","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":"Q2842647$A136B6DC-905A-4894-9E42-BDF3A70E754D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e521a76d17bb67e40357c17948f3ee6e6f48d7","datavalue":{"value":{"entity-type":"item","numeric-id":4934618,"id":"Q4934618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$BF81E624-BFBE-46F6-9DE6-FBCEEF2BF2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$CB52E4C4-E547-4665-BB5C-D6DFB94F2706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0244d42b59746eaee648b37b32fbd969f75556ca","datavalue":{"value":{"entity-type":"item","numeric-id":5902541,"id":"Q5902541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$45945B05-E17C-4677-8D7D-203696939E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab62ae941b4504ce193e952541d3a4c7ac7590cb","datavalue":{"value":{"entity-type":"item","numeric-id":4808824,"id":"Q4808824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$D78166D5-3029-49C4-801F-0624C9A7011C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6431051f99a6d8aed95864251dc195c55710044","datavalue":{"value":{"entity-type":"item","numeric-id":1019019,"id":"Q1019019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$1671A0A1-7B6E-47F9-935B-A1C76FAAB207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81fd53ac1c3c5eff2f072275ddee84b7f08a6e8","datavalue":{"value":{"entity-type":"item","numeric-id":2842647,"id":"Q2842647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$651C04A4-E3A4-4009-BC95-894134673CE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b50a35d0a06852b45246485681d77aea2ad460c0","datavalue":{"value":{"entity-type":"item","numeric-id":6057348,"id":"Q6057348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$AA9BE06F-5A7C-40C0-96CA-6D127DDA9C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$CED45D0A-2A03-40BA-BBFC-45488EBBCFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6566f7241c7ed7c04cc74ecd005197b6f32908c7","datavalue":{"value":{"entity-type":"item","numeric-id":295007,"id":"Q295007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842647$712BC4DB-CA51-460D-9CD1-71CB651DB132","rank":"normal"}],"P1643":[{"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":"50118ff18b4f1cade801390f03f6d2eaf9621da3","datavalue":{"value":{"amount":"+0.7986856698989868","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":"Q2842647$7B59B695-720D-4B0C-8CC8-82101632BC61","rank":"normal"},{"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":"006f1f6221e670db40876d5911b98d385ca4a075","datavalue":{"value":{"amount":"+0.7714749574661255","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":"Q2842647$E800D686-B995-4A6E-B17D-0E8350CFFEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2394bbb3853ecf63c20bcb8236988818ed2daabe","datavalue":{"value":{"entity-type":"item","numeric-id":2571207,"id":"Q2571207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb040823a09a8eee6f1bf85c52e71a8b530b2e0","datavalue":{"value":{"amount":"+0.7347093224525452","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":"Q2842647$7A2777A9-D6A2-40AC-A90F-D5848EC1C890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d0b361db9d547be7ef221f759742c54b30be5b","datavalue":{"value":{"entity-type":"item","numeric-id":5348916,"id":"Q5348916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4edbc2a07c3921f5b660d820aa6b6869b0d1fb75","datavalue":{"value":{"amount":"+0.7308993935585022","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":"Q2842647$DBF93F11-97B1-48E9-9FB8-F9EBDB5CF73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6aaebf68c59600c5656aefd5570e3997509162","datavalue":{"value":{"entity-type":"item","numeric-id":2026792,"id":"Q2026792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec3008aea90060d228514de3a7357f561827343","datavalue":{"value":{"amount":"+0.7307794094085693","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":"Q2842647$1B592BAD-8066-4743-A74F-4642EE7B48F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842647"}}}}}