{"entities":{"Q2955038":{"pageid":2965758,"ns":120,"title":"Item:Q2955038","lastrevid":58084416,"modified":"2026-04-03T18:01:45Z","type":"item","id":"Q2955038","labels":{"en":{"language":"en","value":"Computing downward closures for stacked counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6677436"}},"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":"Q2955038$FE7182FA-038F-4AD9-9606-9A6BB4FFD511","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e8b4574d427155b8842e6cdf4f0e8018cd339c6","datavalue":{"value":"1355.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955038$D5D7C05D-E707-4A47-B235-BE78AA0C45D2","rank":"normal"}],"P16":[{"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":"Q2955038$35EA0742-81C5-46DB-9248-E38E308BCE31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39f74c103b9f673f455dbf7eb78fc5dbb359512b","datavalue":{"value":{"time":"+2017-01-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":"Q2955038$275ED28E-5D68-4BA0-B147-E2201ED805CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27353b4ccabc03da0b88a3caf13fe446808711dc","datavalue":{"value":"https://arxiv.org/abs/1409.7922","type":"string"},"datatype":"url"},"type":"statement","id":"Q2955038$D516F670-08E6-4688-ABC7-F06D69A9BBF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955038$D45D8F46-1ABD-4DE6-88E1-633EB2F5EB1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8908a5e719b4bf94a4e8da3aada0d3ebc5723d5f","datavalue":{"value":"6677436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955038$62C2F0E5-5E63-4E5F-8C07-990F42995D3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955038$D0FFC96F-6383-4DFE-B2E4-F9B51728E16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae4faaf87b6642a8bc8521a1de8dbb33a7d18ed","datavalue":{"value":"downward closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955038$F9BF0C94-2DB6-49E3-984A-2C397D5795B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"873534aab21bbfa90d0fc8d2fb14da592a3cd136","datavalue":{"value":"obstruction set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955038$CED9A888-4760-45C4-907F-C8F5C3533054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955038$B352C84D-2CE6-4C8A-80B3-A8F9A1433030","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":"Q2955038$D21DE691-6CEF-4EDB-A1F0-77854D3C7B98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61a2438244ece52141182c5887f5c6fab2d1ed28","datavalue":{"value":"W2964055444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955038$9542EB63-EAC3-46B5-9AA2-7FCCD7365F06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6e0fd1dd008817b213df191ef4ede3da0de9b12","datavalue":{"value":{"text":"Computing Downward Closures for Stacked Counter Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2955038$C2C700E4-F1EF-4CE1-BF90-DD57C7A0F6B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4d5e2a95daee79d49ba9efd08a4f27207bdb652","datavalue":{"value":"10.4230/LIPICS.STACS.2015.743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955038$3415BA89-A635-4A1F-9CC0-1A2B76357567","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4773120040de5f4ad91659ec0fba2d145c564a07","datavalue":{"value":{"entity-type":"item","numeric-id":3449495,"id":"Q3449495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06072c8693da3fcbc7397890d8a1cb12856948b","datavalue":{"value":{"amount":"+0.861705482006073","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":"Q2955038$53DB08CF-993C-44EB-AAA6-E207C5C2D4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1311da1ef6263fe80207ab2c79db065a5fbcf0ad","datavalue":{"value":{"entity-type":"item","numeric-id":4598265,"id":"Q4598265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0261fa0fed6fbcdb7a2e8e798960008aca56ac28","datavalue":{"value":{"amount":"+0.8339815735816956","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":"Q2955038$3576EC51-E1EA-4A6B-833A-7FA8D1F7B65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57145e470a412b148fffe5b986b6cf7585a5ede6","datavalue":{"value":{"entity-type":"item","numeric-id":4635876,"id":"Q4635876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4c7fd1949761261d51f2ea37202e46e4592c18","datavalue":{"value":{"amount":"+0.7582662105560303","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":"Q2955038$A20AD1DD-8CBC-4A0D-B929-D5FDAA783699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b73f93f1f26aef60fccb006767965618d17b2e9","datavalue":{"value":{"entity-type":"item","numeric-id":896684,"id":"Q896684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d8eb8da3d2daf0713945e58eac89d59f8d3070","datavalue":{"value":{"amount":"+0.7404640913009644","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":"Q2955038$E05E82E0-2451-4740-8CB1-EBA4B4DBC05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707abaf20b0cbf31e002758f9be9690be89000af","datavalue":{"value":{"entity-type":"item","numeric-id":2828251,"id":"Q2828251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f896a245feddca2edd1082b80f736d6cc3899fce","datavalue":{"value":{"amount":"+0.739913284778595","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":"Q2955038$14CE5B99-1B0D-4B84-AEB8-3CACD1B85C47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2955038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2955038"}}}}}