{"entities":{"Q5096185":{"pageid":7125761,"ns":120,"title":"Item:Q5096185","lastrevid":41224160,"modified":"2025-04-21T09:12:07Z","type":"item","id":"Q5096185","labels":{"en":{"language":"en","value":"Proving correctness w.r.t. specifications with hidden parts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571966"}},"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":"Q5096185$FB61702E-0E4C-48C3-A8CC-5B310D2CFB27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d680c1231ac2b2312cfd24d91803533a8e6fe95","datavalue":{"value":{"text":"Proving correctness w.r.t. specifications with hidden parts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096185$AB61E0CB-C45B-4752-B830-945A8846DA6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f542b011db310cd810d8056c145d2ac0883ff0b3","datavalue":{"value":"1493.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096185$4A3D7FD4-5F4D-4487-8FF6-EEBE1CD4BCEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1daa9eacb31d8585f1dcf3916801d15a05ec5c5","datavalue":{"value":"10.1007/3-540-53162-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096185$E7BBD3AD-166B-4F76-B9DC-08E39E3D99F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae1a11382aad26efa11289d40dfeee4e9951991c","datavalue":{"value":{"entity-type":"item","numeric-id":3975144,"id":"Q3975144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$826B5A3A-BB63-4700-90F5-FCB02EFB19F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5c924014210483b0d24cc4cb7a016c1f568a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2956708,"id":"Q2956708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$09F9B237-0E56-4B2C-9F47-CC98DB462873","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-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":"Q5096185$E33AE4E3-C0BF-40C2-8DA7-46331E237E35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096185$A48C3FB2-BF2D-47B0-9533-5B18CE6A77FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb48b38eea90c72ec2d1b8b01e168dde9e8ec16c","datavalue":{"value":"7571966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096185$014B05A1-2F45-4FFE-81FD-4AB6F51CE17A","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":"Q5096185$E1E71360-92E5-46E7-90B7-F801F12455BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a41c23cd26561862d7411df479b35adf7bd6d156","datavalue":{"value":"https://doi.org/10.1007/3-540-53162-9_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096185$D7DDFB58-CAB2-4C65-B895-2B0F1D849BAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfc732d4b77ecb814893746d93eb0954173188c9","datavalue":{"value":"W1508416889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096185$405A2929-AE34-42D5-91E0-DB1CB56D8432","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de88ad2e0f837ddc0021e6cb06020acb879b17ab","datavalue":{"value":{"entity-type":"item","numeric-id":4028908,"id":"Q4028908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$49E4C9BE-A0FE-447D-BC0C-E1EBB5C0CD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcee6c84e9331eb414de7a5dee6a2dd582369033","datavalue":{"value":{"entity-type":"item","numeric-id":3912001,"id":"Q3912001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$B60C70E6-58EC-474D-80EC-0898F8E73F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$AB3005D6-5366-4ADC-A9B5-303BFC06233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d13fa2eb9fc42a0c01914b0ad64001fc4d606f","datavalue":{"value":{"entity-type":"item","numeric-id":3975145,"id":"Q3975145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$DDD7087A-0588-4967-998A-7E1F84A79218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$0A24DC6B-69BA-40EA-AFEE-F08B8B0BB7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$9FC7616D-47E8-4D0F-99EA-EA8DE8FAE74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fb92aa97215cd52dfc07da2e9bd2fd28ab427e","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$61AF4ABA-DB7D-426E-BF59-D21235E45A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$3DBBBB90-C2AD-45B7-B96F-8A7EBC5E8054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ded35fa4006f2f111406d3f785af5860f3b8d2","datavalue":{"value":{"entity-type":"item","numeric-id":3776610,"id":"Q3776610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$759C1CE2-0351-4CC6-B78B-11B3AEAFB0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b50bda4f6cbc2cc3d211f73a2cce8b2c16c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":3959407,"id":"Q3959407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096185$7A99BF55-E35C-4DAC-9841-06A9B5A98607","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e1aaa0be958fe715be1b4b00dc87503e5eaecb","datavalue":{"value":{"entity-type":"item","numeric-id":4261314,"id":"Q4261314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c42d84302887ec1b7ac84cdc7a7ea4cf802c0046","datavalue":{"value":{"amount":"+0.84503645","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":"Q5096185$EF633060-7D80-4F82-866E-AB9EA60A1445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f61c9aede3d60e9748bd045c50c99517650f47","datavalue":{"value":{"entity-type":"item","numeric-id":1177172,"id":"Q1177172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7677f2e9d9c2bfda437ce6f32f9ebb13aab993e","datavalue":{"value":{"amount":"+0.8426386","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":"Q5096185$0D18D876-36E6-475C-A5C6-2A87DF64206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa25e31886e4295adb61fef5034a82b0e4b736e2","datavalue":{"value":{"entity-type":"item","numeric-id":1806131,"id":"Q1806131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0a2c8fd82b8113ad1cd4e059211efb80131e5e","datavalue":{"value":{"amount":"+0.83642656","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":"Q5096185$3337ABE4-0E78-4C11-A5A5-EC3503410FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91164477ac3491ed8cf694063dd0b5e6e2f27b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4411717,"id":"Q4411717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffbb33ba0b2ea45b66dc7e60fb494c405205ca33","datavalue":{"value":{"amount":"+0.8357121","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":"Q5096185$334409E3-3E3D-4814-BFC3-7089FEA9BC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed9717ab702188ea2b06276e639fac8f6972f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5455088,"id":"Q5455088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd6d326f9808af91c436449b50a45a1ba96f4d3","datavalue":{"value":{"amount":"+0.8321156","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":"Q5096185$065807D3-FECD-4006-AA5B-43DFAD7824F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abcbcdee9044a65cc01e5e2c0b31274872ad02c","datavalue":{"value":{"entity-type":"item","numeric-id":5055758,"id":"Q5055758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58a540d3b40d9b977ccdeb46559908fa0907a18","datavalue":{"value":{"amount":"+0.83137566","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":"Q5096185$39F21BB8-E45D-4723-80FA-138288D0B87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bfb10a42c959c87e1db81626dd4be3d7e85b2e","datavalue":{"value":{"entity-type":"item","numeric-id":5096383,"id":"Q5096383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e91681b4abbd67b9b3180fed018cc94af530bd9f","datavalue":{"value":{"amount":"+0.83100283","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":"Q5096185$8DF7D54C-0EF3-4289-B5A0-A6359D53C741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335195b9136b2ce2a2cc636642c158f30e7c3cd0","datavalue":{"value":{"entity-type":"item","numeric-id":2847390,"id":"Q2847390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270b14e43a68222eb6c0464cae4882e7ebf978d9","datavalue":{"value":{"amount":"+0.8273916","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":"Q5096185$1901260F-EA74-4886-B613-EE3077F5725B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118aa8d5a3d1bf7bcd3b855c5cf661a63df8d4f2","datavalue":{"value":{"entity-type":"item","numeric-id":1119388,"id":"Q1119388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa885eb3471e29ac2d6637cf743cc536cf12d672","datavalue":{"value":{"amount":"+0.82098955","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":"Q5096185$FD2E9571-F1EA-49EB-9649-E05CE80F3D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d68ef440c40b6b6df84cada7f89d5fec99353f","datavalue":{"value":{"entity-type":"item","numeric-id":3608894,"id":"Q3608894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a20ba25bcd8a706e405f554df4b47357f40c5ce","datavalue":{"value":{"amount":"+0.8203549","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":"Q5096185$0C8DEE45-EF35-4E4F-B163-D8B4986EAE25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096185"}}}}}