{"entities":{"Q3449486":{"pageid":5199796,"ns":120,"title":"Item:Q3449486","lastrevid":58188903,"modified":"2026-04-04T04:11:44Z","type":"item","id":"Q3449486","labels":{"en":{"language":"en","value":"On the coverability problem for pushdown vector addition systems in one dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6504601"}},"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":"Q3449486$55E1B6CA-0742-4B4B-88D9-E386D4181EA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10be10256fb66dfe671de49b96d9366c2e0b6d85","datavalue":{"value":{"text":"On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3449486$DFDD8D18-B71C-4768-B8FB-DF6859C60F06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b0a3057c557a74a495535cadb3bd2991b74fb63","datavalue":{"value":"1440.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449486$82A3428A-B6E9-484B-9637-2B87E30A2CA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f75974f703f8784f132a30a9b26e010953ff8fe0","datavalue":{"value":"10.1007/978-3-662-47666-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449486$25483016-B752-4435-989F-3335447E60BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$E62DF2AB-70E9-4D5B-B58C-7D3C4B9A0E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$ABA26406-EF8A-4055-8114-1C9CFA4CAAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$E658BD75-7738-46C1-B3F2-26D1CFC95F12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$5A7AA7AA-5F47-405A-9605-BDAE2E243735","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87b5c622b344036d13fd1ced0604456063cc2441","datavalue":{"value":{"time":"+2015-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3449486$9BF73DD7-8F86-4AE3-B88E-25C51E6A6073","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"116010bd62a757ca1c342b1549ac6c73fd82240e","datavalue":{"value":"https://arxiv.org/abs/1503.04018","type":"string"},"datatype":"url"},"type":"statement","id":"Q3449486$25E5CF5A-B6B0-46D2-A3FD-7DC9B9BF3990","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449486$9C565AE8-8A9A-4AB1-88C5-EE2F698A87B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449486$A31DB91F-DA6D-4EF0-89B0-2060FA90F50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449486$89F13856-FD6B-4DFF-8F4B-71C887CA1CDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6b1cd7edab6b3ed029b427205337fdb91287fc2","datavalue":{"value":"6504601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449486$5B6F70AF-A582-489B-9A47-8D803EB95090","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":"Q3449486$DFE975AA-2126-45A7-9F02-99A3A49068D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"003bf3b6572e422b6481a22040c01c06bcf0a866","datavalue":{"value":"W1506909315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449486$079F03F2-151B-451F-839D-2835300C200F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb8c1e3806f3cb682bcfefe28a695b730fffba2","datavalue":{"value":{"entity-type":"item","numeric-id":2911620,"id":"Q2911620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$6B463CCF-A7AA-4403-9D30-B48E6ED5C365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b0da3cac5772f8e892252233fb7ed0775e720","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$349FDD27-7622-4186-82C7-DC4616B4891A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f0782ffa9d03ab5d340451b37854db6311022e","datavalue":{"value":{"entity-type":"item","numeric-id":1401233,"id":"Q1401233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$1BE87092-1877-480C-8440-5E0294001600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d7cb49aac24ae1fe58bec9a4d6ecf829032f024","datavalue":{"value":{"entity-type":"item","numeric-id":2922017,"id":"Q2922017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$5606190F-B487-4E94-8670-7838383436E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b18d4fc60a70c27ea7b62beac0a6f5c90f6df2","datavalue":{"value":{"entity-type":"item","numeric-id":1936244,"id":"Q1936244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$AAB96E5D-E37D-4015-90CE-C569947F5DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$AC17697D-B5E5-469E-AC1E-4FF00FA1CF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd9c416b4622f9f802ca77cd3c3fb7dfb39222b","datavalue":{"value":{"entity-type":"item","numeric-id":5408552,"id":"Q5408552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$D4F346BB-8001-4ECE-8CB0-051BC29C9E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6939b53be21bf5a18add9c837c8e0773dc51966","datavalue":{"value":{"entity-type":"item","numeric-id":4635648,"id":"Q4635648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$AE386E32-D3A4-4B5F-BCB9-5C7F41DA5E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f317985b3380a3c2e7c5ee71bf31263870b10a","datavalue":{"value":{"entity-type":"item","numeric-id":5311488,"id":"Q5311488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$B6C30691-2BF8-42FB-8020-62C015607B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3be818606f1407ea3f09559189b5d37bf28a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3449486,"id":"Q3449486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$09BBB52F-D931-4200-860B-0546D3D259C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$BA52A3A8-B436-4576-B171-00384855F446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7d7dc538448798d6a394d1f6aa8ca50196bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":4982097,"id":"Q4982097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449486$D0A23573-7FED-4C59-AACE-16FF42ED33D5","rank":"normal"}],"P1643":[{"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":"ea4b6a0ee2fe0554b3d7078f9ceb2d8d97ea1536","datavalue":{"value":{"amount":"+0.7930625081062317","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":"Q3449486$C1224815-CBFD-4983-A0D8-FB107152514B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa30a2a4bb3189fb2183bd4445a40470137fa36","datavalue":{"value":{"entity-type":"item","numeric-id":5271039,"id":"Q5271039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e467ebe78ec3a0b1b1ad7622786af57a18bb7989","datavalue":{"value":{"amount":"+0.7723348140716553","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":"Q3449486$E2B795A5-0393-43CE-ACF3-0C9AE9286707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85900af17ad3ed8ce6e8d6f037ea4f5a92ef0bdf","datavalue":{"value":{"entity-type":"item","numeric-id":1193880,"id":"Q1193880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e4a565a3622c1e75a13cef5810548e942ae6a3","datavalue":{"value":{"amount":"+0.7482455372810364","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":"Q3449486$78E0971A-084E-44C9-951E-BCB9E8F68040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e40b1be0d6752b22408c10213c685862dba602","datavalue":{"value":{"entity-type":"item","numeric-id":2842101,"id":"Q2842101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11c2d7776b58528a6cc775b9f150f17c297fcad","datavalue":{"value":{"amount":"+0.7435129880905151","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":"Q3449486$BAA2AC85-8B8B-431C-8DCF-FF1A0562DFB2","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":"09617f7226781fa0da893b2ce09fca662986fd97","datavalue":{"value":{"amount":"+0.7429109811782837","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":"Q3449486$ADF9062D-192D-47E5-A56E-BF8347031936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3449486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3449486"}}}}}