{"entities":{"Q2957490":{"pageid":2968209,"ns":120,"title":"Item:Q2957490","lastrevid":44783805,"modified":"2025-11-26T10:30:53Z","type":"item","id":"Q2957490","labels":{"en":{"language":"en","value":"Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678449"}},"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":"Q2957490$4D6252D6-4BD7-4AB4-99E2-4EDA54F77CAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5975870c601615585b4e1e65c9c31ea6745536a4","datavalue":{"value":"1354.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957490$F57505D9-0390-4B2B-82B6-B9E9042C81A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957490$3690E736-5154-407D-B805-31C49B2E9537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a18e111e56a04dc2b8d1c99cdf070b4eb02f1f","datavalue":{"value":{"entity-type":"item","numeric-id":515664,"id":"Q515664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957490$9B3553D9-409A-4CF3-8412-0A3F6B58AE68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce03103194246a3df27ce58b06ab6f4262232789","datavalue":{"value":{"time":"+2017-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957490$C8235D60-1B62-441C-853B-50DE9CF14F49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957490$585ED5EC-A9F8-4181-A725-FCCB10028753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957490$96B9FB18-1D9D-487D-A6D3-DD68EF8CE61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957490$0B676020-C2F6-4A74-8538-BBE983ABE847","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36b960482677028c1927fc2144758bc0b1bc4d23","datavalue":{"value":"6678449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957490$8FA2BE68-9025-4A2D-BB6C-D80832662BF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957490$6CD4B7A1-E139-4A88-ABD5-0037DB11914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458c2b35d0451140b7681e6642905d2f8f38d563","datavalue":{"value":"multi-threaded programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957490$04A4ED25-3866-4598-BC07-1B2C936BDE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ece4b9fad34fbe4144ec182f23de3b987a096da","datavalue":{"value":"sequentialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957490$F6BD126F-4DFE-48AB-A45F-2A1A44DF6226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81b0e661ffd7a2b0cf4d74a6388abe874250e20","datavalue":{"value":"tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957490$6DC5BC89-7BED-4595-AAD7-6A949C8045DA","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":"Q2957490$BB833E84-1772-44CD-968D-FDA188296150","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28739e140d28b5c0cf72684e28d38de603247280","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3856/pdf/17.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957490$937BA733-E0E6-4DBB-9FB0-64220792D835","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00184ffe5d456543ed45b8e0602078dc6d99067f","datavalue":{"value":"W2122095746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957490$48C908D7-98FB-475E-AEB6-4AFEDDB1923A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eaf4fc04f44b6a769220485071455c1a7d64f63","datavalue":{"value":{"text":"Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957490$4D2EDCCC-9058-4CDB-BED1-7C29CFFDDB02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e9d1703787126dd491301c4b33c47cc5712cacb","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2012.173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957490$81124A08-8A44-4693-B749-D1A6D59D7AA4","rank":"normal"}],"P1643":[{"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":"9ca478f12346f952dec398b8e00921da2061c7af","datavalue":{"value":{"amount":"+0.91239583","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":"Q2957490$CA14948D-6C25-49CE-A2A9-3C841079FB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e6d70ca5e036973744ece48c1e1806e1017e59","datavalue":{"value":{"entity-type":"item","numeric-id":3090831,"id":"Q3090831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170073eababd27c68a261d53d84455530f7211eb","datavalue":{"value":{"amount":"+0.9004532","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":"Q2957490$EAE47CCF-85A6-4508-A6E9-A3A3E1C5F892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c81103f2c235c7b53b602d4a17a42c10a453ba","datavalue":{"value":{"entity-type":"item","numeric-id":4027616,"id":"Q4027616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e39817aa2fc07b9709392fca39b22267af078525","datavalue":{"value":{"amount":"+0.85174376","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":"Q2957490$506ACD59-7072-4AA2-8FE0-6803229C2170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17df1f4caa7b3fc34199ee44266c04dc3ed6346f","datavalue":{"value":{"entity-type":"item","numeric-id":2912701,"id":"Q2912701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275f625cbdfd8b314ceeac1cbe09428d59afa6aa","datavalue":{"value":{"amount":"+0.8515478","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":"Q2957490$6601CAC2-85F6-4DDA-B452-B40B6C0E8341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381dceb36b19d76f8912748deddba8882a120890","datavalue":{"value":{"entity-type":"item","numeric-id":4305672,"id":"Q4305672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e87a68a0f62d6e382fa97649878412da678a227","datavalue":{"value":{"amount":"+0.849932","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":"Q2957490$66B3BB0D-E04E-44E4-ADCB-8793D0412CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71f6edf2b4428d82cf29c2a351497cb1ae8655d","datavalue":{"value":{"entity-type":"item","numeric-id":4928504,"id":"Q4928504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b1131e82aa095d18d7d94eeaa459a70a89850d","datavalue":{"value":{"amount":"+0.8455013","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":"Q2957490$64C6653E-5470-4F7B-8596-021A15E9692D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e183e3cfca349d425bf6de3fbfa2c94fe99255","datavalue":{"value":{"entity-type":"item","numeric-id":5119391,"id":"Q5119391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24df394e43c4176191e3d24e64e3478d5f4267a","datavalue":{"value":{"amount":"+0.843032","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":"Q2957490$4245A516-DA7B-4D9B-A923-C37130D2078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9168c1c6c51503d57eb9a77cda16a3b2c4e80d","datavalue":{"value":{"entity-type":"item","numeric-id":1675921,"id":"Q1675921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f695b7a0490f6bc6c73d1ab9ab2d3faf8f63be","datavalue":{"value":{"amount":"+0.8427893","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":"Q2957490$9BB37087-5563-4789-BB0A-5FA439FA26B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77958de04f0e5a775afd1de732f83435b42d7dc0","datavalue":{"value":{"entity-type":"item","numeric-id":2922031,"id":"Q2922031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da616b46bab02c7294629fa348a6c3b678d3746","datavalue":{"value":{"amount":"+0.8419275","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":"Q2957490$A1A12BE7-FB0C-4627-A0BF-085AC4BEE71C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957490"}}}}}