{"entities":{"Q2330602":{"pageid":2341345,"ns":120,"title":"Item:Q2330602","lastrevid":55374799,"modified":"2026-02-17T14:43:59Z","type":"item","id":"Q2330602","labels":{"en":{"language":"en","value":"Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121146"}},"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":"Q2330602$5F166C35-A22B-41CE-A2C9-4D46C279EEAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bf5f47cda8235eff5a3b99ebb31b074c4f8ed49","datavalue":{"value":{"text":"Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2330602$32A1CA9E-66E6-4987-97C8-590157545A8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cea85f4aa07a9cc85a427087cc869c3e32515b7","datavalue":{"value":"10.1007/978-3-030-30806-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330602$8B49BC53-5029-448E-B2A0-F907B02BE28A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330602$CFA42A28-D93E-4F4A-B46F-E3532FD39C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330602$1199BFE2-AEF0-448B-BB0C-3E8CDAB8F9AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2330602$634D3369-C1EB-4956-B9D5-56A95E33D084","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b23e07af8ecc331ae5de4c8289b6b98bb45fd20","datavalue":{"value":"https://arxiv.org/abs/1906.07069","type":"string"},"datatype":"url"},"type":"statement","id":"Q2330602$D02E146A-B5A2-4D47-9F5B-EF2FEEDB3EB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330602$F2660D76-B474-4A21-9607-A1C7BFEDAB3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63f05850125fbe08edb737ea01e87cb7c40ea936","datavalue":{"value":"7121146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330602$475BF19F-BF88-40D1-A98B-E61837B7C830","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f11c5abc2fe990a5531d24fc3ad39a60d5290f0a","datavalue":{"value":"pushdown vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330602$F7A5CE80-2D7A-423D-9013-DF3667837F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330602$2B9C92E2-ED07-47F6-BFC6-C7D236F3F3B2","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":"Q2330602$84FD1870-2760-4FE2-BB6F-325CAE6ABB41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af000a37bae0f77e200299d16f05759b0473c38d","datavalue":{"value":"W2971887426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330602$86D8FD91-CF45-48C0-9F12-4338F2B66423","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79b49f835bd4420353873863b052426aecd5974","datavalue":{"value":{"entity-type":"item","numeric-id":3449486,"id":"Q3449486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101a472e1169cce95dd4d62be318e8d61f2b5e25","datavalue":{"value":{"amount":"+0.8273755311965942","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":"Q2330602$970CCB30-B2FB-4A5E-9F01-714054CA633D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f1f51e77ec18cc6b2e88e0093aada038c41fea","datavalue":{"value":{"entity-type":"item","numeric-id":1675154,"id":"Q1675154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f4ccb141fbd5a599d9b9c6c4bebe48b381fc9b","datavalue":{"value":{"amount":"+0.7831301093101501","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":"Q2330602$E0BBEAE3-D79A-4AE5-87C1-ACA9AF22533C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79876d413c4671ada3c5d9588b477be63db0b91","datavalue":{"value":{"entity-type":"item","numeric-id":5739016,"id":"Q5739016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0cc3dd214a147ba1ce91ff4d75d2a3a7ede863","datavalue":{"value":{"amount":"+0.7667738795280457","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":"Q2330602$EF93C522-745A-4A9E-9F1E-4EEB7311CDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ac22645b5b7b65792777245a8d97f15954f69e","datavalue":{"value":{"entity-type":"item","numeric-id":3088033,"id":"Q3088033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b7d6e6109d59a5fe873cea6603122b01f80522a","datavalue":{"value":{"amount":"+0.7436983585357666","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":"Q2330602$3ED6A685-FB47-4C38-BB81-C4782FD06DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37889eb6c3fe4c913429abfefebcbe4d0a541504","datavalue":{"value":{"entity-type":"item","numeric-id":3447699,"id":"Q3447699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c49acf510729377c20b3b3c53a06df5be3e37b9","datavalue":{"value":{"amount":"+0.7348981499671936","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":"Q2330602$4463C094-0B1F-4149-AAB0-6A4AAFB29FF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2330602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2330602"}}}}}