{"entities":{"Q5090985":{"pageid":7120561,"ns":120,"title":"Item:Q5090985","lastrevid":55416262,"modified":"2026-02-17T15:58:15Z","type":"item","id":"Q5090985","labels":{"en":{"language":"en","value":"On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561349"}},"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":"Q5090985$EC5CFCF1-C728-49D4-856F-1905503CE24D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aa04a9e006412fe2d74d9295cdc76e2c1f4a041","datavalue":{"value":{"entity-type":"item","numeric-id":1798907,"id":"Q1798907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$612B7B76-3081-4F14-89E6-5B5531F94942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c362ac3b16803115650ca1635e62ab561b04cbac","datavalue":{"value":{"entity-type":"item","numeric-id":476195,"id":"Q476195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$5C79F838-2563-4088-9CFD-CCEF0F7B7FB0","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":"Q5090985$996773D4-4092-4456-B5F2-E13BEC8A197A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090985$6C8936D9-7716-4A53-9579-1C1070383F21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090985$D25FFA38-BD26-462E-ABDD-6D29E7CD6538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090985$39BF84F2-1770-4942-A0FF-9A5C481DB377","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec052c25356873f7383dcfdbee0bef0242a1e7e6","datavalue":{"value":"7561349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090985$41F7EC8C-9A9E-4457-A809-ED8D73E01FEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bac4f8ebf8e39aa945acaf591115ebddf2ab37a","datavalue":{"value":"higher-order pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090985$5E171760-E16B-4ABD-A99F-FFD3CFE6910D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090985$37AA0B27-F201-4459-8947-57FB161EA6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eb849f30503d8d6c14b39fb0e2eb07f750dd5c7","datavalue":{"value":"boundedness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090985$04787B2C-D1DF-4C08-B9E2-46880E50DDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3968ae427822213403560fd1b9ea6c0167c35d","datavalue":{"value":"termination problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090985$CF526ABB-3C23-4F96-B905-C151EE2FF692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a50c696676222a2ae79deb0a507d55c171979bef","datavalue":{"value":"coverability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090985$2779810A-4D26-41A6-A7D0-70DEB72F3280","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":"Q5090985$B7250E99-C0E3-4FDB-9D70-31716D177CB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45564ec3652cca38b098946aee63a0408214e10","datavalue":{"value":{"entity-type":"item","numeric-id":5576259,"id":"Q5576259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$D0EB1C63-C10F-4A2A-9735-100616F4A77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f545b30eb16278d385853ec9876dc021bbf9ed82","datavalue":{"value":{"entity-type":"item","numeric-id":5492856,"id":"Q5492856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$900B822A-9A48-4FC3-B486-9FF3359E93FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced9f6d89d276754d685a53731ebb3ec51d3d90e","datavalue":{"value":{"entity-type":"item","numeric-id":5191510,"id":"Q5191510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$5A93470B-857E-446C-AB87-4200C7E573DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31534a80c5f6cbcf58b47643db0cd9f443f15567","datavalue":{"value":{"entity-type":"item","numeric-id":4708567,"id":"Q4708567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$16BCE2FC-5704-49F0-A352-229582400C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b608000f5f07a4eff9f7596994ae2cbf76d666","datavalue":{"value":{"entity-type":"item","numeric-id":3771630,"id":"Q3771630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$AD7D325F-7416-473F-B774-176461AE9AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$14EBA033-1952-40AD-97CD-7B9A6358DD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7611f414082b6c08ca61487dcf567f25a0b92b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5581626,"id":"Q5581626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$D38BCACE-5476-480F-B3D9-F42EE63298AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f432a378a2a52eb6368f54838cec386ee473cf","datavalue":{"value":{"entity-type":"item","numeric-id":2828251,"id":"Q2828251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$051FC676-9EC9-4E22-83CE-1FB2253E5642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$CCEE9CF0-201B-4952-BEF2-D4F8B1661400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$3C631DAE-5EBC-45C6-8796-179D37C73576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4482eabab25d00cf3435e58a07e62415aad5eb07","datavalue":{"value":{"entity-type":"item","numeric-id":1708715,"id":"Q1708715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$EF000CF9-E275-4783-9B14-63BC80579FA4","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":"Q5090985$689D5153-3AD2-41DE-A696-5BC9FA2F28F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"602709e3dd9d38f3ebcdb3964460b32b05c4fbbc","datavalue":{"value":{"entity-type":"item","numeric-id":1675154,"id":"Q1675154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$C60FC79E-607A-4EAD-B7A7-28E6EA310A5B","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":"Q5090985$3A5254C3-A0A6-4AEE-9F54-C77F713E7097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ec5d09b5c750f80e0bef8173b6beb42d02f375","datavalue":{"value":{"entity-type":"item","numeric-id":3912016,"id":"Q3912016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$F2659ED6-DC69-45E5-8468-E42B18340098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3959ffb868545a66d56438fcd6e21698cad3375e","datavalue":{"value":{"entity-type":"item","numeric-id":1060848,"id":"Q1060848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$AD2AAD70-61E1-49AE-A3D0-00D3727E453D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48218ea795168688f804e68f23c8fa542c1fda53","datavalue":{"value":{"entity-type":"item","numeric-id":2904749,"id":"Q2904749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090985$78CD2CE6-32E4-47CA-9B39-57A7F26632BD","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":"Q5090985$E609D693-0106-4926-BA0B-EDD606E8039C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f0b4a1faf2ce2c2e6eb6f8a4044401a353002c7","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-01962407","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090985$6283284F-2424-4041-8165-DE843AC7EC2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78302e5c4e619df26d92a63abf0d21d4c756377d","datavalue":{"value":"W2907292957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090985$319D9C28-A297-4CA6-B611-0C3E043BD614","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ed2f0542f88fea2280717c6238069c64e133d35","datavalue":{"value":{"text":"On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5090985$33F5701C-ADE7-427A-B2B2-B67C7A5CF3BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04011e6d56a4f1fceee7941c05977f1dc7b3fad5","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2018.44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090985$022C1852-1B92-4156-B97D-CB0C4AB270F0","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":"bf2bde45e087002129fe5a35e0070cb750911ed2","datavalue":{"value":{"amount":"+0.8221087455749512","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":"Q5090985$49A6C93A-7D0A-48ED-BE2F-A17DE4A55377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739ba61e49f88d138ddb6dd21b5f67bf5097e747","datavalue":{"value":{"entity-type":"item","numeric-id":4635648,"id":"Q4635648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60ff5784a83c04ee32a08a46e0d088cd67c97d8","datavalue":{"value":{"amount":"+0.8103839159011841","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":"Q5090985$CF2EC9E4-9481-4714-AA9D-894687F910C2","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":"5a954f86d189be391963f049911f08a1336f4802","datavalue":{"value":{"amount":"+0.7826983332633972","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":"Q5090985$9BBEF1EC-5F33-40F6-9299-3D1092E6B08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b3ac7f8e47a33fbc1855fe7f9e764cc79b640d","datavalue":{"value":{"entity-type":"item","numeric-id":1819938,"id":"Q1819938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19459e9582f04bedcfc1e208ad10788d3ae6f70","datavalue":{"value":{"amount":"+0.7545665502548218","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":"Q5090985$8C07CE03-3891-4FE5-9416-23C6C26B0B04","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":"6490c75164b9009a084cdec90a1c9322318c5e04","datavalue":{"value":{"amount":"+0.7543462514877319","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":"Q5090985$1307282D-629C-486E-9053-D257D4EB6806","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5090985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5090985"}}}}}