{"entities":{"Q2842115":{"pageid":2852835,"ns":120,"title":"Item:Q2842115","lastrevid":58024386,"modified":"2026-04-03T12:12:29Z","type":"item","id":"Q2842115","labels":{"en":{"language":"en","value":"Safety verification of asynchronous pushdown systems with shaped stacks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197907"}},"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":"Q2842115$3FEB8C97-2183-4F1B-9D35-B6778C2FF5AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4301648ae312acd1783fe72ef31c1c153b5da8e0","datavalue":{"value":{"text":"Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842115$9F496F95-6338-4807-BD0C-B06DF44771F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fea0580e7524a45a08e3fd97fa23868402a92d2","datavalue":{"value":"1390.68475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842115$412DC861-288D-4A3B-BBDB-AF087EE411B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c67d6179e44016ec20e56031281c5fd78f1d55b","datavalue":{"value":"10.1007/978-3-642-40184-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842115$814F72AB-C0B5-4901-86E8-10747ED3485B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2be6a3088c84110bcf5fd8aea373200c5bd18e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842094,"id":"Q2842094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842115$32EAFE31-DF27-4B53-BD23-DA17EFEE0C6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842115$4F2B008C-6590-4D99-9276-0CB36D728332","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6ae660831938ed684f953d3c46ceb78606fa911","datavalue":{"value":"https://arxiv.org/abs/1401.6325","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842115$D8FC8102-73F8-4A5B-B2D3-017CC1952445","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842115$093DCEE1-BE75-44F4-A032-0BF80444049E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842115$D0BD0B8B-96B4-4F4C-A4A7-DF0251EFB7A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89c65e1d977f9d14858eb2d44a25d2bf4cf73588","datavalue":{"value":"6197907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842115$D3FA5097-0664-4272-9743-9117D63230A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842115$789B257B-4B63-4D5D-B578-F1CDADA1A3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"802a624329a09198109d381d50deb485d7d9029a","datavalue":{"value":"asynchronous message passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842115$E783D262-A043-473F-9A15-97CADB02B60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842115$544A8B8B-97B6-48BC-8CF7-FEEE6D46ED37","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":"Q2842115$D90367E3-977D-4EFD-956E-57FA18B77DB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e703231aa9f7ecd043e1468fbed2cc32be03ce95","datavalue":{"value":"W1593923841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842115$2718CFC5-A293-45CB-A035-4A612D77C224","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6de241867d7266a94d84a8096ae86d594daa4b3f","datavalue":{"value":{"entity-type":"item","numeric-id":6772193,"id":"Q6772193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842115$15788D95-A1D9-472F-BA2C-25E5879A573C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6988238897a438428a159d7a6c339f36328a43ee","datavalue":{"value":{"entity-type":"item","numeric-id":235619,"id":"Q235619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842115$F9DBF361-87ED-4B58-A088-FB413BCE25E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f02813e6a7fd4e05513eccec79049f22df0387","datavalue":{"value":{"amount":"+0.7861830592155457","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":"Q2842115$C3BEB835-1114-42A2-8A86-36265E0D4E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e24b824d13a98096a8c5251249d35e1dceaa340","datavalue":{"value":{"entity-type":"item","numeric-id":3132071,"id":"Q3132071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97c454905ee0aa27f18259850956862486049b8","datavalue":{"value":{"amount":"+0.772698163986206","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":"Q2842115$10137CE7-2E26-4C24-909E-10C4A521C29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea5e9dc265d8af16e3e6270e4de21e2a42b0f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5900852,"id":"Q5900852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc8b4cf6e2a6d23b336781b587b1303c5764287","datavalue":{"value":{"amount":"+0.7699849605560303","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":"Q2842115$FCDFAF5C-8964-4E37-915A-50D2FE1C3191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e475e31811613194a6e7ee69837494a5f0677b","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9782f1dae635ddc92b36440b9e03c971a8d5940","datavalue":{"value":{"amount":"+0.7596032023429871","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":"Q2842115$8D27EE34-3F89-4183-9A80-C3F95F502556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fdffcc9edd95c99bd1b419a189f03a4e9847de3","datavalue":{"value":{"entity-type":"item","numeric-id":2164219,"id":"Q2164219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99972b19d23b6b0ccf93c7f1a1b86f276e7e0390","datavalue":{"value":{"amount":"+0.7570124864578247","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":"Q2842115$411B5862-D840-438F-9DBB-3FD26961CFB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842115"}}}}}