{"entities":{"Q2571210":{"pageid":2581953,"ns":120,"title":"Item:Q2571210","lastrevid":73570998,"modified":"2026-04-14T16:30:07Z","type":"item","id":"Q2571210","labels":{"en":{"language":"en","value":"Slicing techniques for verification re-use"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2221500"}},"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":"Q2571210$091BD018-09B9-45A3-A4C4-9DDEF78233DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c619cb2ab8004590009f66b1f58cd7e065ce8d72","datavalue":{"value":{"text":"Slicing techniques for verification re-use","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2571210$6AF09E30-0502-41BC-8CD4-15F010326061","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ecf15de5d2009a6fe32f4e5d193eba8c70ccb46","datavalue":{"value":"1079.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571210$F7B87050-CD3D-4E9C-B0D0-FA288553CE2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$F799B7C1-CF6A-4446-8E53-BCFFD0003866","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$440CEACA-0AFE-457A-B3BB-E293C8678067","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6efc4aa90a56b4150e94692aceef2446967b8ee9","datavalue":{"value":{"time":"+2005-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2571210$F0C54BBC-5772-4E46-98C6-EBB95125B0CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571210$AB173663-45D7-49A2-898E-8E3202923DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571210$CD166A62-9F8B-4A8C-A318-DF9B14D6F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571210$48E8AF21-3BFB-4415-B3BB-C08A9F7918C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5ae7997bff96ef94e0a6b65e1cb916fab1b9830","datavalue":{"value":"2221500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571210$1A01F74B-2DBA-442C-A443-D9BA0D6576C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571210$DB2E8543-D15C-40B5-8905-FEDF67275A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a328af7ff1543bbca7dabe1fd934e14aca40f87e","datavalue":{"value":"slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571210$BBB8C95C-4A87-40CA-BBEC-09D97C4938E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571210$3CBD551D-872D-4745-89CA-5EA18A7A2220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb88bac8c4975203f8913e843dc8010d041ca91","datavalue":{"value":"Object-Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q2571210$12AF15AE-4484-40FE-861B-215367808CCF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$A6D2D08E-4A5F-45AE-A3A5-73944BDA9DFB","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":"Q2571210$4226B225-296A-417C-81DD-5E5AB68E6218","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0427c8dc4ce0456295aedc840a90567d30792a5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.06.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2571210$3E46A704-3E84-4D2B-B380-F2062BC441E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51375a09f50eaf9f6a3cf41c21ede34780385743","datavalue":{"value":"W1972502232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571210$BF15145F-6D6E-4D58-AFEC-E0E7DA0D92B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0ac0af3d3855d52727f945f91898fef75c09cc","datavalue":{"value":{"entity-type":"item","numeric-id":3046764,"id":"Q3046764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$1C6989EA-CDC1-4779-B891-153745C4D292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1d9b2b244b625d820a8233659bc5e08d9db86","datavalue":{"value":{"entity-type":"item","numeric-id":5703816,"id":"Q5703816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$68BC457E-F72D-4F84-AA81-314073E07621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$D52818A5-2518-440D-B232-7565BB7980EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066a4dd642c777165b5519aededf1e744d2e70dd","datavalue":{"value":{"entity-type":"item","numeric-id":4791830,"id":"Q4791830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$5766B805-A323-4D49-BD67-3DD4DC84FF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d189d5566bbdf8684108572f8e7b1cae5e8fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$6EF31DF1-5F49-4A09-BE56-1318176ED5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$90B9EEBD-49B8-456B-B80A-99EF11A67E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe02f6c1a0c23632b2650813603fb3c2693054b","datavalue":{"value":{"entity-type":"item","numeric-id":4654725,"id":"Q4654725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$C045E4BF-E3D4-4A59-92F2-7D4BC05CD9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b15a45fdc98c94e57ed6aee6ec8627751f8684f9","datavalue":{"value":{"entity-type":"item","numeric-id":1902305,"id":"Q1902305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$73280BB1-09FF-4454-93C7-BD4C90BBA64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$5CEE2EA2-28B3-4119-AA70-EFDF9520CFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857dc82a063c3e8a5bfe609deb8248d276966a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856160,"id":"Q1856160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$CAE78326-8E9B-4B75-8C60-3032F0750F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$54693C82-6989-46B5-BB48-F306AB316669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2185699a6442c395c0dc5c871eedf78d99a845ad","datavalue":{"value":{"entity-type":"item","numeric-id":4940107,"id":"Q4940107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$51A9E0F1-E729-484D-A0FB-01CE124114DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9085e5095b4a243fcdda1ef313e71287317f8221","datavalue":{"value":{"entity-type":"item","numeric-id":4436972,"id":"Q4436972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$5739FBAA-BB56-4624-95D5-DC890B3DB151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1285179f0bd641a13fd835c1a590bc210843e8a2","datavalue":{"value":{"entity-type":"item","numeric-id":5958305,"id":"Q5958305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$C7C29A1C-A0FD-4B84-9D4E-D45EEF867050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaba11d9078ff1fba6dbdf7ddb1d867fe72aaf59","datavalue":{"value":{"entity-type":"item","numeric-id":4762656,"id":"Q4762656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$D9CFB89D-719F-4E14-8FC4-768A260906CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c3d7af4b0a08e6f2a3a44d75c4db684ce34a10","datavalue":{"value":{"entity-type":"item","numeric-id":5902542,"id":"Q5902542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$C09E0C33-82D6-49AC-9B80-35861AD7F372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdc0e617f6022f3d1fd20d6a7eae4db7f170abd","datavalue":{"value":{"entity-type":"item","numeric-id":5311295,"id":"Q5311295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$6407146A-EF35-4EA7-AEA9-1A5D59243F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5684c80dce4cc3ba4e1d009d1a9c2be39f76226c","datavalue":{"value":{"entity-type":"item","numeric-id":4436973,"id":"Q4436973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$66E593A5-6229-4CA2-95DD-C26A8A9C1A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2571210$85200FA2-B339-4FA9-A3C0-3E98FA06024D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9295a5c067d2c6ce899148f807e4009454e6835","datavalue":{"value":"10.1016/J.TCS.2005.06.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2571210$F447EC88-02CF-4648-969C-CD35E8DAE357","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11db45e72bbeedd1ec5e9f0b19aef8220edf007","datavalue":{"value":{"entity-type":"item","numeric-id":3431403,"id":"Q3431403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0a0071563f8d0751dd642ff7b5aebc5385fc5b","datavalue":{"value":{"amount":"+0.86815447","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":"Q2571210$E27E5FD6-6F4A-47DA-9D31-9333C4B460E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e48ef0ecfab23348afad68d46fa8d9644f72b86","datavalue":{"value":{"entity-type":"item","numeric-id":3163878,"id":"Q3163878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a05eca11b798dcf62cf6f20c0d4712b368279be","datavalue":{"value":{"amount":"+0.8640872","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":"Q2571210$2BCD5301-7440-4BDB-A0BE-6F7AEF52BFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32d23842fd5791002ff13fbfe3c0afd511d97ca","datavalue":{"value":{"entity-type":"item","numeric-id":4564138,"id":"Q4564138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d420b07ba5ec438f760bf0162fb96184f4c1b8","datavalue":{"value":{"amount":"+0.8541796","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":"Q2571210$47FC2FFF-0115-42E7-9629-9D40D9A2E824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019a14f51c461e45f89e4801a279c3e28305f2c6","datavalue":{"value":{"entity-type":"item","numeric-id":1419888,"id":"Q1419888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f4db333ed3663dc9c0d4c371f5bc013b2e7b31","datavalue":{"value":{"amount":"+0.85399234","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":"Q2571210$58921BF1-09A9-49CA-8355-F0DCA3B52750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b5ec18f23243243338ab6d3f5f54f230a8ad9f","datavalue":{"value":{"entity-type":"item","numeric-id":5312981,"id":"Q5312981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933da8d3d13cd4652bd6116d418d1259c40eb70b","datavalue":{"value":{"amount":"+0.85378754","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":"Q2571210$1B83B396-50C1-4F37-8FDA-980EFBED4004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124417ce167b19b981d9ed7ad7e02f0b3752e09c","datavalue":{"value":{"entity-type":"item","numeric-id":2463836,"id":"Q2463836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a36d8b03a5af4016abe1fd1e15ddab0a2eb0cb","datavalue":{"value":{"amount":"+0.8509624","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":"Q2571210$89E6FA77-5FBC-4A6D-B4B4-A8E060F83F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"537baf9569e86bc7a383bd71eaa21940dee00b53","datavalue":{"value":{"entity-type":"item","numeric-id":2875081,"id":"Q2875081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3093393e9c6f01fd845fa7070bc553e804527948","datavalue":{"value":{"amount":"+0.8485582","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":"Q2571210$02752B22-4FDD-4CD0-83EE-5B6F33CC8A4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Slicing techniques for verification re-use","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Slicing_techniques_for_verification_re-use"}}}}}