{"entities":{"Q5423862":{"pageid":7453436,"ns":120,"title":"Item:Q5423862","lastrevid":40968031,"modified":"2025-04-16T10:18:49Z","type":"item","id":"Q5423862","labels":{"en":{"language":"en","value":"Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207431"}},"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":"Q5423862$187C981B-AC12-4E00-8BCC-B59238CBDDC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"053c4eaefdb53357547d941b6e88781ebad4e9d9","datavalue":{"value":{"text":"Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5423862$D3FB6562-CB75-4E2E-8801-D9002A3D8CE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48f0c954a3e6892a00521dc48bbbdc3d7fc20930","datavalue":{"value":"1196.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423862$D550A3A0-3D3A-4D9C-BDAD-EC108EE171A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7380cecc2c2008b0b619eff68457b255a16fdf0","datavalue":{"value":"10.1007/978-3-540-73770-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423862$F0793138-050D-441F-A1C2-DAFC2FD18CBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423862$01B5AD64-AE5A-4AA8-B54B-BD25C6E89F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a52c6a0791e5ecd88fc3b0e3619a9c1571b3ca0","datavalue":{"value":{"entity-type":"item","numeric-id":5423861,"id":"Q5423861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423862$CC14DC67-0097-4945-B9A0-6A67EF107D4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423862$3E8CCA2B-A477-4F5E-890E-C0561234AC78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27b591515f5fb68f7eef8b751b948f7aac1b317d","datavalue":{"value":{"time":"+2007-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5423862$1013EB54-285F-4233-B9A8-D482BC98E274","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423862$A4C67CF9-A2B6-488D-93F6-A29624949A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423862$3A63D550-C485-404E-9CAC-F7FE72798E6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ee3413f168732d60f6ab68d03657c12b90af8c0","datavalue":{"value":"5207431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423862$4634B3AF-91EC-4D98-8065-A6798245450F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5de799f3306340c4d6923fa3b941920d533745","datavalue":{"value":"disproving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423862$9D138457-35B6-4A3D-9ECC-C4CA4E2F6AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423862$75973E79-2785-4A14-85B1-DC6CBDFB9931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423862$677A77E0-7D86-4940-8D6D-F1F759238D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423862$92E6664B-1CE0-4ED7-943E-826302799120","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423862$E600B6E1-E9C1-4EF1-B8C3-AACDBD4C32E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423862$2CB11A4C-BA19-449F-A980-6980892F19FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423862$66938DAA-38BE-464A-8201-05CBE5263570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423862$E92BD249-5F3B-48D0-962F-BFE812EF988E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423862$443B2EE4-6F60-4B90-B68B-960168251BC0","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":"Q5423862$6842AB7A-9A2D-439B-AF27-0357B5DA8F63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc7c0d7128f31d181f731bab276decd4d384b805","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73770-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423862$AB330B78-AAD4-4454-823D-F7CFCA9AD051","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4fdd2435bd272cdf15cd3ad5c941bfeed392a21","datavalue":{"value":"W1522637266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423862$A64C20A4-97B8-417F-B770-DB6EC1741E71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e644170331a6a9485b207c047e686cd4d5525","datavalue":{"value":{"entity-type":"item","numeric-id":3826528,"id":"Q3826528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610687e5f4d0e46deaeb25390075f734e2ff5f37","datavalue":{"value":{"amount":"+0.8778602","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":"Q5423862$356ACACC-69D7-4730-A5A3-0B172A556D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937995320392f6849bac351e1b342cfae766a7af","datavalue":{"value":{"entity-type":"item","numeric-id":2771739,"id":"Q2771739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11797c5561435cac9a2f8300180713a4165ab63b","datavalue":{"value":{"amount":"+0.87202775","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":"Q5423862$CDF86A8B-551E-4241-8BA7-7775C4A1FA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef10785ba3147b129147c393779f9863b9a70a","datavalue":{"value":{"entity-type":"item","numeric-id":5506391,"id":"Q5506391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46abedca7a4631544d1bc0899209da35a318a2f9","datavalue":{"value":{"amount":"+0.8662832","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":"Q5423862$C636610D-0A1E-489D-BEE4-4832C5AFF3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15b367ae67621962a2dd23d164a19c1765a25bb","datavalue":{"value":{"entity-type":"item","numeric-id":4023471,"id":"Q4023471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22daea3ef05b514412d931e6ff66af602a10961","datavalue":{"value":{"amount":"+0.86317664","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":"Q5423862$02586CCA-1C10-49D0-8F80-67F2620AA7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea1dcbf7babc2f964f96a9177f5f230bbf81282","datavalue":{"value":{"entity-type":"item","numeric-id":3816961,"id":"Q3816961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5ef6c799f4932f7d8df693da1d16563dd50980","datavalue":{"value":{"amount":"+0.863062","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":"Q5423862$9B6CE5C4-0213-447E-BEDE-B0BD2FC89C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf843841cb0df9d160e31d2390de843ee9c192be","datavalue":{"value":{"entity-type":"item","numeric-id":3067545,"id":"Q3067545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6c98248ea15c3e7c095916c70a19ee1325c3ac","datavalue":{"value":{"amount":"+0.86193824","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":"Q5423862$A35F8354-3C01-46DE-B52B-5A850029F01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42021b997c68bc862f1509efa3b66de45dd7291f","datavalue":{"value":{"entity-type":"item","numeric-id":1373300,"id":"Q1373300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4733a1a8d0e8a9055523589091b764795b6de5d3","datavalue":{"value":{"amount":"+0.8607352","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":"Q5423862$235C427E-4DC4-4791-9823-EB4D27E4EAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6888ddfa0017175521ed43cde6299036c85c6d1","datavalue":{"value":{"amount":"+0.8603275","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":"Q5423862$A748E8B9-99B4-4BD3-A795-C7B5F7F26475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05551d2afc67ce25732910138ae29ba87abe4275","datavalue":{"value":{"entity-type":"item","numeric-id":5457270,"id":"Q5457270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9248cdaa87c978325bc7d5cc0ae1bc54cec2e31b","datavalue":{"value":{"amount":"+0.8566111","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":"Q5423862$F67B0032-BC62-416E-B1BC-1BD9C30ABED3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5423862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5423862"}}}}}