{"entities":{"Q4635648":{"pageid":6665229,"ns":120,"title":"Item:Q4635648","lastrevid":41630536,"modified":"2025-05-06T14:12:48Z","type":"item","id":"Q4635648","labels":{"en":{"language":"en","value":"Hyper-Ackermannian bounds for pushdown vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863121"}},"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":"Q4635648$0012144F-B8C4-4181-919F-D05A55E463CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"654cc36e4694927ced21ce628a11ba94a68da9f3","datavalue":{"value":{"text":"Hyper-Ackermannian bounds for pushdown vector addition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635648$A957B656-E62A-4C26-A119-218309E1085D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c00dc17ebd18c2d3d3c8bff6138b18b82a1417ae","datavalue":{"value":"1392.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635648$205762D7-78D9-472B-AE34-BAC5D0509B0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a570d6eed8c7bc5d886578393e192cb4a8674c19","datavalue":{"value":"10.1145/2603088.2603146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635648$385147D4-716A-4D7B-8D8A-330DB3245C41","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":"Q4635648$F047461E-79ED-4163-B946-13A9D55A9377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36974ca48c1ff3caa1463aa00972066da924c035","datavalue":{"value":{"entity-type":"item","numeric-id":1949743,"id":"Q1949743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635648$FA62B540-AEAF-461D-AC7D-9AE2DCF5F9AE","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":"Q4635648$E201C6FE-9308-4E5D-97F9-A647836BAE7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635648$F57111B5-EF07-477C-9AF2-2EDF29E8F193","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635648$DD51F35F-EB24-4425-8740-09CA8C562CD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635648$2864BF79-18ED-4C3E-B4DD-E097F9DAB228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635648$85A4BB00-2BD0-439E-BAD9-953136356F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635648$6922D6A8-0975-4265-A444-89D24EF51C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635648$AF841D08-8ED6-4011-B1FE-7C1F496B73CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38098da67cedb9679ac49c28156376f35966a15e","datavalue":{"value":"6863121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635648$71D49989-6468-43F8-9772-402F5FF6E97F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eb849f30503d8d6c14b39fb0e2eb07f750dd5c7","datavalue":{"value":"boundedness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635648$D99CCF79-62F8-4692-9AF4-733CC03FD3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"003afc278c69e1ea97854be9dcf9100f2214d550","datavalue":{"value":"hyper-Ackermannian complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635648$EA940A8F-540D-4C6D-A60B-AD0AC3C4F507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd7333d837edd5028ddb936980bcbdd6b18f7d12","datavalue":{"value":"nested words","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635648$1BEAF098-A211-4CF7-8B6A-7356DD427CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635648$63260335-E843-4ED8-918C-559630D63FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a45f832fd754d1a6600ad6f8ccd57087fd2266c3","datavalue":{"value":"well-structured pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635648$E5312C96-71C1-4121-B726-135D7A24687D","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":"Q4635648$0A6CDD77-B366-461E-A90F-ACFE512954F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ac3d2e1eb8496da83a70eaee9de2f0abfb6fd19","datavalue":{"value":"https://doi.org/10.1145/2603088.2603146","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635648$58826D9C-6125-4228-BD29-CCAC8D7F9587","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f746911a95386e58df9e492b585a77a666c0d231","datavalue":{"value":"W2082102587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635648$BF005B44-8DA9-4563-BA4C-74E93325C120","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":"6d7843e3c7bfed998df303d96ba130c5e80b3cd3","datavalue":{"value":{"amount":"+0.92555285","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":"Q4635648$A7EDE897-8DBF-42F7-A3C1-B20BE226BD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98ecd4237fea8f07f813149ce81b3a41620453d3","datavalue":{"value":{"entity-type":"item","numeric-id":5090985,"id":"Q5090985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b452e0ef131cb286a8826bff888464f0ea3bd0a","datavalue":{"value":{"amount":"+0.91458976","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":"Q4635648$644D03F2-9FD1-462B-A080-F4E5F9019808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee6bc36eb8240d0762a30665c49e403a3cebfe0","datavalue":{"value":{"entity-type":"item","numeric-id":1096388,"id":"Q1096388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db60258b03ea34c6b05675ae4ac2be841fd58c53","datavalue":{"value":{"amount":"+0.87363994","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":"Q4635648$BB5E063A-DBC7-4D45-92D0-26D8F5185A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75385c1f7c077c790d0c86d64272001d3e5e65b8","datavalue":{"value":{"entity-type":"item","numeric-id":5145633,"id":"Q5145633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df51a6a9212eee87c7215e85c16e4f05d4c7f27b","datavalue":{"value":{"amount":"+0.8619651","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":"Q4635648$0E42D45B-9F66-49AD-B442-3EB94AB88307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c78ddb5691ae73958d9379c1ded84befd701856","datavalue":{"value":{"entity-type":"item","numeric-id":5155664,"id":"Q5155664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df51a6a9212eee87c7215e85c16e4f05d4c7f27b","datavalue":{"value":{"amount":"+0.8619651","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":"Q4635648$AFF36D0B-7244-40BA-914F-E95018DF1671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11513a2e50a63be7eb2438a7a4b21bba27ebc7c","datavalue":{"value":{"entity-type":"item","numeric-id":2200853,"id":"Q2200853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a493802fd7acf5c222d962719a0fb86a7561e332","datavalue":{"value":{"amount":"+0.8609842","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":"Q4635648$0B753EB8-515E-41A5-B9AC-AB0C2D70C7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79b49f835bd4420353873863b052426aecd5974","datavalue":{"value":{"entity-type":"item","numeric-id":3449486,"id":"Q3449486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0460ad444d701fd3c708a7303090cd687f51daa","datavalue":{"value":{"amount":"+0.86034614","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":"Q4635648$1835F636-E1A4-47BB-89AD-3173A9C16E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c315bce74e8399ceadc368b7528cc44b0d829c0","datavalue":{"value":{"entity-type":"item","numeric-id":3820015,"id":"Q3820015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fe9c84d16c97d49ca05944dd1e66dad34d8d48","datavalue":{"value":{"amount":"+0.8515368","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":"Q4635648$5349522D-021D-450D-B466-A636694362A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9326ebb6bee8c485d423eb4ea4ab1f43457686e","datavalue":{"value":{"entity-type":"item","numeric-id":3343444,"id":"Q3343444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d92824e061c006478b81478be651f11beecec81","datavalue":{"value":{"amount":"+0.84940386","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":"Q4635648$A68BA197-1E90-445E-9BFE-9AA2F795C42C","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":"46264b80be353d3f47da42ef5cd9317f58dffac9","datavalue":{"value":{"amount":"+0.84913236","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":"Q4635648$38B4F404-394C-42C5-9227-F211290BDEF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635648"}}}}}