{"entities":{"Q2802435":{"pageid":2813173,"ns":120,"title":"Item:Q2802435","lastrevid":52515647,"modified":"2026-01-22T20:46:11Z","type":"item","id":"Q2802435","labels":{"en":{"language":"en","value":"Sound, modular and compositional verification of the input/output behavior of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573701"}},"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":"Q2802435$81EF0534-672E-4DEC-93A4-34F44FAB0D3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64fc617057f4d5971f29971611ad3d19061974ee","datavalue":{"value":{"text":"Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802435$8830FE59-073F-4B95-A004-2CA0625D8B16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70b82e0be00d9aaf77c075c2f7ff8a7cca135733","datavalue":{"value":"1335.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802435$9D42CE2A-BB87-4477-A90E-1EF8D77014EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98d69d0360e74db7b9208ee33add9200c06cf74f","datavalue":{"value":"10.1007/978-3-662-46669-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802435$03C30A6F-1F6C-4790-AF53-E79F1056E955","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe3c2cbf31938265d5f6bcca899f0c2dac8400d4","datavalue":{"value":{"entity-type":"item","numeric-id":2802434,"id":"Q2802434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802435$1BAD6E55-FCDC-4577-B3F8-2832E5D3D83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6035db45b2f773ce1316044aa6ee6cdabbbc50c8","datavalue":{"value":{"entity-type":"item","numeric-id":678823,"id":"Q678823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802435$BB5866DC-1DE9-4016-A183-6EEA72F4842D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5752556f406c77522d034bef951c1f6e960af3fa","datavalue":{"value":{"entity-type":"item","numeric-id":6770822,"id":"Q6770822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802435$7A371E8C-F623-4581-9A52-E69F806DA81E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802435$F8C32D8C-3D13-4C72-9E58-AA47BD5D8A28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802435$F4A5180E-9066-4BBC-8769-44C5ED52E5A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07a5e670dfb5b787ddbea6e716c25b3963ca94b1","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/478356","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802435$72608B21-C3FF-4924-8F3E-7E6708BA71CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802435$345BF673-C325-4CE1-8B23-755D376BD5F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"340ed973e0ddfcd4229e59dbf691d84842ebf7ec","datavalue":{"value":"6573701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802435$0F55833F-62D4-49CE-9BEE-7CCACD11CF93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802435$EED6E142-39CB-4403-9978-DBEDF0B7BBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802435$1EFE54EF-C185-4E3B-A316-ACB0D4FA3E55","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":"Q2802435$7E833105-2E88-4484-8662-A5563B0E48C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88cc037e867db3906719ee4e68f9c5007247861c","datavalue":{"value":"W905467040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802435$31D16E0F-26CB-49B0-B1F4-085EDD15E9BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d23bb3a37ca2a12a3bcd367720640c4dcc3a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":466416,"id":"Q466416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db48f2731ce9fa95b5743b8fb3957492ba5ddbcd","datavalue":{"value":{"amount":"+0.7291778326034546","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":"Q2802435$D2C3D48C-E065-4EB7-BD80-E2FF4F01E71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de71b8a87d2582cf7c01210699eb1bb2b29c7b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5479156,"id":"Q5479156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bbc43918114363cfddf5d67569938a827c4145","datavalue":{"value":{"amount":"+0.7259765863418579","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":"Q2802435$031ECB69-ED81-4DFB-AAC9-9459BEA5C1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5a259d70a73af340682efdb2e31ac3ccb4e804","datavalue":{"value":{"entity-type":"item","numeric-id":937300,"id":"Q937300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec6467a29580c477a09aa4fdad500fd6e958b37","datavalue":{"value":{"amount":"+0.7213963270187378","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":"Q2802435$E8D5C933-B267-470D-85DC-924FE787A046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd21f140224c0c0d4665f28b9e9fefb23afa9cab","datavalue":{"value":{"entity-type":"item","numeric-id":1996433,"id":"Q1996433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489c9ba163d969adeb1d35fbc0385db813950395","datavalue":{"value":{"amount":"+0.7186682224273682","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":"Q2802435$766DE5FE-7999-4AB3-B951-8E0A501AD729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ff330da66855980d1d48fbe00981574ec91c56","datavalue":{"value":{"entity-type":"item","numeric-id":4036556,"id":"Q4036556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ac9fd4e30842599bc8699f0a57a33d8839305c","datavalue":{"value":{"amount":"+0.7175608277320862","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":"Q2802435$5C14B0FB-516D-46B4-AA5A-451F669DCB75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2802435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2802435"}}}}}