{"entities":{"Q2828251":{"pageid":2838989,"ns":120,"title":"Item:Q2828251","lastrevid":58017765,"modified":"2026-04-03T11:34:07Z","type":"item","id":"Q2828251","labels":{"en":{"language":"en","value":"Unboundedness and downward closures of higher-order pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642949"}},"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":"Q2828251$221BFD7C-5DC0-4810-AB3C-6B9DE595EEC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1829701ab06ef9aad33d458439cb10a816b53e2","datavalue":{"value":{"text":"Unboundedness and downward closures of higher-order pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828251$513D2BC0-1308-446B-90B2-CF3474AE655B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbbe8466dd2003b2d6548f6b1db4f06199b457b6","datavalue":{"value":"1347.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828251$617E8901-E170-4E60-B0AF-AAD253C3DBA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"455d40e4f6ededa60b08c6725bdd6e0e3557b1b7","datavalue":{"value":"10.1145/2837614.2837627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828251$C1EED0E3-BD0C-4906-ADD4-843BD00ACCAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828251$561E4492-F5BE-49C6-BD04-BA9BB911E56B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-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":"Q2828251$5EFF6A40-1065-43B1-8313-4D16FF974E82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"515712567ca84a72f12068b69adbe2d8a3cf6256","datavalue":{"value":"https://arxiv.org/abs/1507.03304","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828251$7A451BA7-3C6B-43BF-8A5C-0CC9EC6CE489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828251$1595B8DD-67A4-4293-8D64-2473C99DCAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828251$1C8028FD-BA04-4642-940E-17491461595B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828251$C74EF976-ACBC-4081-B160-9EB21D50B309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828251$1A19F1F4-36AD-4A0D-910D-AC35B75A5724","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2223433d8823abcfe9f465614b5b32d3a508304d","datavalue":{"value":"6642949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828251$3E269D69-4FDF-4E66-8121-7B9D43B5D49C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828251$8DD34AE2-6E3F-4AAE-9651-2372073ABEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828251$6F7311FE-82B2-4839-8AA1-329304BB1427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c42c26355955a1173899d673668dda0f63b0ac27","datavalue":{"value":"downwards closures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828251$AD2E21FB-8626-430C-86D4-7D3C0D33641B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828251$44BA78F3-70D7-4F59-AD1C-025A2944F5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828251$889664F8-7D12-4D55-9A08-074DF94755E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024e260e8fd79d5f0e614a4825adfe2815bc0614","datavalue":{"value":"higher-order programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828251$E20FC7E0-4135-4B32-BF10-308122AE4BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828251$F4105BC3-6F5C-4DEC-BA37-94F4D8F4B5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1950d7192e5e8c34dac38890154ed59bab821e7","datavalue":{"value":"Parikh images","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828251$60DBB126-153F-4CCE-B13D-D616B93EB725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828251$4BC07A15-D65F-477C-A430-0275FEEE434C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828251$96DFD329-1FCB-42CA-9AB6-20DC44D83A7D","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":"Q2828251$89012540-8D77-486C-A5ED-4C8CC5D3E17C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b9bacde0a4e1d0114d30f95783ff1da44f67315","datavalue":{"value":"W2249237842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828251$B9CF0A09-DF3A-49FF-8DF2-528874A9AA86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72f214c7e4c9d7d2da34077ac7597802081f608d","datavalue":{"value":{"entity-type":"item","numeric-id":1623277,"id":"Q1623277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828251$05B33F82-FEA9-4F6A-B774-86C18630835F","rank":"normal"},{"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":"Q2828251$D21D9DC0-5587-4243-9DED-F55B04967B18","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":"Q2828251$752C6AD7-C4B1-4C62-BB0D-9AF31301ABF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e682e61e26e24fd800619d79634ec084214eb3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2957489,"id":"Q2957489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1308a2946b3657384178e8b6fa14cb4c6d0412f1","datavalue":{"value":{"amount":"+0.7999264597892761","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":"Q2828251$9CDDBDBB-1CFD-4867-859A-80C206021DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7572516e4be14dc5003dcbbe4de432859f2b6ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f991cf1f22e594bcd413b110fd8eaaee8083ad","datavalue":{"value":{"amount":"+0.7909272909164429","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":"Q2828251$546BE251-D70C-4C01-9653-1F4B009FBA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f5d04225cd8119c501c0fe63a8e4d4839ea4ee","datavalue":{"value":{"entity-type":"item","numeric-id":3623010,"id":"Q3623010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa82eb041db00f019c34479d30bb6dbc99d2198","datavalue":{"value":{"amount":"+0.7866140604019165","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":"Q2828251$FC102C27-193A-4653-8BA3-B880A5F84A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109dfac64b21362e70762aac951c33d36409eac0","datavalue":{"value":{"entity-type":"item","numeric-id":5758055,"id":"Q5758055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e8ec13da82b31f6e2e590e8fa43efc92851131","datavalue":{"value":{"amount":"+0.7782741189002991","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":"Q2828251$4B9177E5-C9AB-4C79-A405-08E374E9BC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310ec9ada21cfe9327317314144f6e7d89f118dd","datavalue":{"value":{"entity-type":"item","numeric-id":4986516,"id":"Q4986516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d270297b3dfe85bbaa592278d7a220ded5e4d3d9","datavalue":{"value":{"amount":"+0.773747444152832","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":"Q2828251$B6712FED-3745-4653-B115-C20EFBC69C1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828251"}}}}}