{"entities":{"Q4571128":{"pageid":6600717,"ns":120,"title":"Item:Q4571128","lastrevid":41738191,"modified":"2025-05-07T18:29:41Z","type":"item","id":"Q4571128","labels":{"en":{"language":"en","value":"Refinement-Based Verification of Communicating Unstructured Code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6899204"}},"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":"Q4571128$28B71850-0F34-4F85-BCCA-291A56292274","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6161e9a77f64e65a7e6410e5d4a886863dba3c7","datavalue":{"value":{"text":"Refinement-Based Verification of Communicating Unstructured Code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571128$B23B33B6-C85C-420D-B139-148A063EDE55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"033f55b20cdcade0aada8d821de8da13effa62a3","datavalue":{"value":"1390.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571128$1E3F7B29-517B-4466-975F-3B52BD9F0F80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83fb5085be79fed495524d33c729eab249598179","datavalue":{"value":"10.1007/978-3-319-41591-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571128$F454F488-DE65-40B3-9B25-BD1F3B291417","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c38fed68200fe214fecadc502f38e0c208d7f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":4571126,"id":"Q4571126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571128$8C92BF1B-A4B4-4449-9E3D-4B515CD50415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c96f869d56d3e65ea839da0ea8fb591655f549dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571127,"id":"Q4571127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571128$D98BEE14-0A3E-45E0-A15F-169ECC97AC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bfa7cd76fd3f18d715d137d8af393046bfab95b","datavalue":{"value":{"entity-type":"item","numeric-id":2432237,"id":"Q2432237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571128$3C6A2180-C344-4F42-9DA1-AB1B300AC897","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571128$97EAEC41-DA15-4839-80F6-CEEE6A84829E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae26ae56b498965815874334fe53b327884c287b","datavalue":{"value":{"time":"+2018-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571128$876D044D-1737-47C4-B8CD-689C669728A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03ccf45ec6ebfd35c38689d8aa8e3f0e61394f9c","datavalue":{"value":"https://depositonce.tu-berlin.de/handle/11303/10899","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571128$3DECCA85-6E87-4616-BEEF-E5E494D904EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571128$15D006FC-9793-4AE9-BD86-773E5D92AA26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13d4dd1a60c0145aebccee29d8f3bd67fae325cf","datavalue":{"value":"6899204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571128$D7E2ECE3-2FE4-4F7E-8079-B64B1C1DA857","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571128$3A999A61-9623-4654-9B67-297F39796317","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":"Q4571128$EEE95AEF-4306-49AE-9706-61EA0C750AC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ab340f47b88f94d260b77223a34140c5d4e6d18","datavalue":{"value":"W2507015529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571128$F945DC11-110E-4962-869A-6F6150DEBB86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571128$9D43496D-0D20-42EB-9D5E-81F537129F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571128$F372AA73-F3B5-4428-AD87-324962E23BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571128$25D24A73-50B7-4706-96F3-A3DE3E6365BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a5aa50e889fbd2a02e8c6790dc8c54b50583d6","datavalue":{"value":{"entity-type":"item","numeric-id":4226069,"id":"Q4226069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571128$89D64C85-F403-4969-8009-885E9734B76A","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":"Q4571128$F0987A97-64B0-4471-984D-5B669D06CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e9aeb250aee552f9c7acabe3d57da193b2393","datavalue":{"value":{"entity-type":"item","numeric-id":1187626,"id":"Q1187626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571128$E0FD2983-3115-46F4-9EA5-8A6299F1AA1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe575bdeebfc69be36c9ab5b79768e2cdcba9f44","datavalue":{"value":{"entity-type":"item","numeric-id":2013885,"id":"Q2013885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580646697ad72ef62f1d2dfbf58b0e9f67a2812d","datavalue":{"value":{"amount":"+0.86914","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":"Q4571128$F4132782-302E-49A7-B3FF-1F357D5824CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42240229bec08b4214ce8d197f31f89ee84b3455","datavalue":{"value":{"entity-type":"item","numeric-id":2882984,"id":"Q2882984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b69fd0ab6628b6d5abde6809e1f60e7e4e7320","datavalue":{"value":{"amount":"+0.86816716","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":"Q4571128$8F10BE13-59FF-4482-B207-750C8CD95FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e79e3e52fd8bfbcda42278cffa91402a3ae59fd","datavalue":{"value":{"entity-type":"item","numeric-id":2573635,"id":"Q2573635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2f972910934b41c17b15bbf7635c03d8f11eb3","datavalue":{"value":{"amount":"+0.86637986","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":"Q4571128$8E7E7E05-FF01-4D2B-A5DE-B55FFA9B95EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f97bab8c7adf15c4acd61801d4c7ff160a526f6","datavalue":{"value":{"amount":"+0.86579704","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":"Q4571128$92D3A634-C84E-4BBE-9CC9-4DD75CD9EC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1ac1e747dfa9f3b3500f9eead2c5c5285a750f","datavalue":{"value":{"entity-type":"item","numeric-id":3637351,"id":"Q3637351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2d72cb4563744196e51513507187f69f22c04b","datavalue":{"value":{"amount":"+0.8637732","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":"Q4571128$9775152A-A452-4C82-B273-B1880E1E35CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b196e14eb0d0eb7a65bcd915179b53d84586df5","datavalue":{"value":{"entity-type":"item","numeric-id":1959654,"id":"Q1959654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2d72cb4563744196e51513507187f69f22c04b","datavalue":{"value":{"amount":"+0.8637732","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":"Q4571128$B9548DC5-AEF0-4A18-A8F0-8CF20F947E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f799b5a2f03daeafb9295eaf985e6281bfccd22","datavalue":{"value":{"entity-type":"item","numeric-id":6488472,"id":"Q6488472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485324ca56cc0157df95ce06ef77a8155eed1fad","datavalue":{"value":{"amount":"+0.86178374","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":"Q4571128$8D40B037-2753-47B5-8A48-82AAF0C751D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ccf8a694514b0676771a5c550e3d57d964ad47","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59eb2121d138d4d510c224917db2f8dd5038e7b","datavalue":{"value":{"amount":"+0.8612658","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":"Q4571128$00BD39CF-199E-41F9-A46F-1DAC7E9B225F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571128"}}}}}