{"entities":{"Q2828247":{"pageid":2838985,"ns":120,"title":"Item:Q2828247","lastrevid":42230555,"modified":"2025-06-02T18:34:14Z","type":"item","id":"Q2828247","labels":{"en":{"language":"en","value":"Model checking for symbolic-heap separation logic with inductive predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642944"}},"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":"Q2828247$E85E7AE4-5D8B-43E5-9B42-79B27760078B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6af615c9a8a7468845599cba297d8bd1bc06a744","datavalue":{"value":{"text":"Model checking for symbolic-heap separation logic with inductive predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828247$1C230FB5-D7E4-46B6-B515-B97D8B8BC50E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12a084b6a67c3d9657246fe10a5a2d28682be3c6","datavalue":{"value":"1347.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828247$A8BF1009-E7B2-4AAF-B6AD-202AEB912F07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2baf9ee1a0770925822c027fe826f708c930b20","datavalue":{"value":"10.1145/2837614.2837621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828247$90B2EA01-CCC8-4860-B3B6-683EF1A233D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828247$54810446-FC18-4855-98D2-885019598AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e232ae85d13ab7f1e0ccfeb9d527ee923e2bb81","datavalue":{"value":{"entity-type":"item","numeric-id":646493,"id":"Q646493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828247$17CB1C2F-48D8-4D21-935C-6032EB51B405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"604e2732b1b9634c7f23f07fef29c6e42547c2b5","datavalue":{"value":{"entity-type":"item","numeric-id":387989,"id":"Q387989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828247$D7F28280-973F-417D-AF9D-D11F12B048FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828247$4937659C-D723-4521-A536-F4E2C5F825B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828247$82759EFB-1E22-446B-B6BD-B36AE07B5D68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828247$B2E57636-5490-4046-BE77-55DAED177993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828247$C1A8BEC0-12F2-4854-9007-105010FB72C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828247$A141D9C1-25D8-49FF-9D0A-F3DA4C8C0F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828247$6BA80C25-8DA4-4DEE-8C0B-E52B669EB8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828247$A55A60E8-7EBF-4CE6-935B-324D89BFAE8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7eda56d54a8f9b47eae17ffbe8d53e3a73e8635e","datavalue":{"value":"6642944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828247$221D7711-1BD6-4253-A1DA-36FD9D2A33F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828247$FCEC3C7E-9F95-4327-BFA9-15447FFBE5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828247$9989DE42-1BE8-440E-B873-AEF161B6218A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828247$A2E9CBD2-93DE-4F32-88F3-D0C229C50507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828247$69BAD97C-69F0-40C4-B787-8B10E7AEB0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9174ee3c5c04d5169bdead173ede16cf3755d8","datavalue":{"value":"program testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828247$4F430FE3-863C-4CE0-A42E-04C74841B4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828247$FA563FC9-7A0D-41E2-8FD1-538B613FD9C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828247$321D59F1-F8D3-4F58-83B0-4FC3C91D9357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31a7c423f5230e323db862a54941340683f5907d","datavalue":{"value":{"entity-type":"item","numeric-id":30359,"id":"Q30359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828247$A5023BC0-06B8-477E-9241-0E66241ECE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e188d0504db629a156fe6c8ee584863634102d2d","datavalue":{"value":{"entity-type":"item","numeric-id":19428,"id":"Q19428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828247$7C872F07-30B7-4F62-8EF5-D50BA71498B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828247$F1597D80-4ABB-4A08-845E-6571F880FD3E","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":"Q2828247$2C4FDAC0-07BC-4FEB-B90B-A618159E1049","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":"Q2828247$0D8AF691-0539-42C5-B297-1DF6309A78C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3da1a3ebfc343d9b7576f800aed7d16c8a049ad","datavalue":{"value":"https://doi.org/10.1145/2837614.2837621","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828247$925F2AEA-4952-4B37-85B3-31B86714EDED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc94dc069d629c79c1bdf121119c9a09786e3140","datavalue":{"value":"W2284409231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828247$C427295D-9AF9-403F-BCF2-331570757A12","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9536458eca66e60abfdff6213fdcf12f49c26017","datavalue":{"value":"Q130860806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828247$E1C9B6E5-4018-4830-ACFA-9168DDF65E9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f2a4284f274932835949e7c1de015cb265a279","datavalue":{"value":{"entity-type":"item","numeric-id":2988661,"id":"Q2988661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368ca90238b1e273bbc7e987966ba67bcec3cb29","datavalue":{"value":{"amount":"+0.9003174","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":"Q2828247$270927A7-902E-4948-BF1A-D5D507751657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecad943c5fb325d9db84c8b7d743bbb3fa480144","datavalue":{"value":{"entity-type":"item","numeric-id":5423886,"id":"Q5423886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38fdea23316b758294c658202e90c9e0da3ce3b","datavalue":{"value":{"amount":"+0.88601875","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":"Q2828247$E11CFE4A-7F70-4A79-98D7-8037A809E333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69faafc396cc37ce56ba7f317e1689803b3e471","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4aec0e91be5c9190d1d0589bb1cfff45b687d2","datavalue":{"value":{"amount":"+0.8859942","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":"Q2828247$926A3C78-DCBD-4AA6-B38D-C56DA4B464F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac3ed4b9dcd42e3112c1c51d9cea4b5d248e1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3176389,"id":"Q3176389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4e47fddf017706b84e49cc22ae252f5e592c09","datavalue":{"value":{"amount":"+0.8852846","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":"Q2828247$8E0090BD-6430-4A03-8002-FD8E76C506D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7cf0145f7ad4c0f49615e586f443eca9330418","datavalue":{"value":{"entity-type":"item","numeric-id":4914522,"id":"Q4914522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a730e0ad4ef27ce53dd749218bfcc961f548b683","datavalue":{"value":{"amount":"+0.88451564","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":"Q2828247$E791F4E3-AFB5-4638-B585-F8F4B6DD2841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d747875a068aba8ec335b66bb1c40a2211d7ce64","datavalue":{"value":{"entity-type":"item","numeric-id":4217928,"id":"Q4217928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8936aab22ecedccc5809207449d30b745163454","datavalue":{"value":{"amount":"+0.88410914","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":"Q2828247$A9C74A1D-CFD6-4E46-9979-D40855E53BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7ec3a92630700a9437b9bdcc180f98b75856e6","datavalue":{"value":{"entity-type":"item","numeric-id":1595250,"id":"Q1595250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8936aab22ecedccc5809207449d30b745163454","datavalue":{"value":{"amount":"+0.88410914","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":"Q2828247$271F235A-91AD-435E-A87E-53F2266DE8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6463d78d11a1208d30a334487f07a31b42ff45","datavalue":{"value":{"entity-type":"item","numeric-id":5025068,"id":"Q5025068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d77e17ffd3c71a8e92e982d6883931a6bc7006f6","datavalue":{"value":{"amount":"+0.8836323","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":"Q2828247$B6696DF5-C347-40F5-BB5F-71457D675BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b150fa6e2849a0ef1c68604407736315acb87e2","datavalue":{"value":{"entity-type":"item","numeric-id":3559766,"id":"Q3559766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673e00bf5fb57982f4262c053003a7d68e620fcc","datavalue":{"value":{"amount":"+0.8820027","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":"Q2828247$88CC09B0-F2D0-449B-BF8B-E41DF7FD6C54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828247"}}}}}