{"entities":{"Q5111652":{"pageid":7141226,"ns":120,"title":"Item:Q5111652","lastrevid":53741333,"modified":"2026-01-25T15:43:53Z","type":"item","id":"Q5111652","labels":{"en":{"language":"en","value":"Data multi-pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204955"}},"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":"Q5111652$637E7FC6-BF3C-42D9-9A83-873114CF30C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b63c9ba11930852fbcc63261e9e9ea78d57ec7f8","datavalue":{"value":"1442.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111652$CB7A33B3-CC58-4C44-A81F-D61DC0381CD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b14cffc870f818033ac052cdb96ecd764d552b","datavalue":{"value":{"entity-type":"item","numeric-id":1706161,"id":"Q1706161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$ADCBC9EC-8B27-49F5-8A2F-4CD3551A71FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$A0016130-484E-4CDD-9CAF-DA7B0AFD6E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$253A30E0-D6DD-4EF5-8D5D-127DC673319B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111652$2C4F4A6E-6E6E-4E99-ABB1-DFACEEEC8A84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111652$067495E8-7962-4018-851B-368ACA3F8C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111652$0CBEBE56-2213-4488-B32B-46926053F0BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34265cae08f0c2d021caef3081c1a1794bc785e5","datavalue":{"value":"7204955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111652$0225B415-0592-4394-A2A6-72571CFDC354","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111652$2E3AB6E7-9E40-4E6B-8D8D-B51848C92AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111652$B860CEEA-F534-4B75-85B0-06C1C0D539BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed73a1713fe30a506713baf50db69b123c90af21","datavalue":{"value":"gap-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111652$92324DFA-2F74-477A-85AF-0FA92254013F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75dddd7237264ae7b73b4bf6da96640f87f6853","datavalue":{"value":"bounded split-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111652$CB26E1E0-72FA-4624-A66A-FB789D3B6966","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":"Q5111652$1C3C957D-5EC6-4B7D-9509-F002322EEC89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7efc2685e1db569beef03749a53f19a04d73c5","datavalue":{"value":{"entity-type":"item","numeric-id":2948245,"id":"Q2948245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$90EB50F0-B20F-4B2D-AB46-F2078C37F954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa288ec5373d86a2836fc6db86a04d596f79caf6","datavalue":{"value":{"entity-type":"item","numeric-id":479843,"id":"Q479843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$E26984DA-F974-4695-9809-9C0AA46E84A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72069f2ce4853417dbb8670318fdf0de2494609","datavalue":{"value":{"entity-type":"item","numeric-id":2890180,"id":"Q2890180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$7CDDBAAD-2CF5-47C0-B761-4136DE4167FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac95bbfef1443d4f50bceb8f5236b833f07ff5a","datavalue":{"value":{"entity-type":"item","numeric-id":3190125,"id":"Q3190125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$4CBC38EB-8E3C-4EFB-B0FC-A2E259D475CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d81f86a995323782717473ac2fcc37f7aab293","datavalue":{"value":{"entity-type":"item","numeric-id":3457774,"id":"Q3457774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$162975AF-38E9-4D63-91D8-04C2F875640D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a7c4bf7442750248912cbc3abde21eeae66f7","datavalue":{"value":{"entity-type":"item","numeric-id":4608679,"id":"Q4608679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$F14AF447-EBBC-4D07-9628-914031B00487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1798a40b142fd29eaea896aff9a22a0ad2a71c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2908851,"id":"Q2908851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$26328532-7CF0-465C-809C-9DC0A5AD7E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd11e93c75529377db826ac87ba05a72812a48a5","datavalue":{"value":{"entity-type":"item","numeric-id":3533004,"id":"Q3533004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$EC19EED9-E64C-4276-97E9-F0CA216A678A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af9edc2e188b2528c561e74501862b46f7ed766","datavalue":{"value":{"entity-type":"item","numeric-id":5247176,"id":"Q5247176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$229B57F0-28EF-44E9-9D56-A8160B4A1555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6380dc2c77f20580fa5e81ba3986a02c8b4a9ed","datavalue":{"value":{"entity-type":"item","numeric-id":2272932,"id":"Q2272932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$0311A061-2BA6-4ED3-B774-9373B8F3EA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44835e41e1d4df1a6a22b40562f0a41e1367b332","datavalue":{"value":{"entity-type":"item","numeric-id":2914241,"id":"Q2914241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$9A52D177-9D7D-4D5D-93DD-08B73835B046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2e4eda16c151bfc8b87e4043dee46e48eb8b61","datavalue":{"value":{"entity-type":"item","numeric-id":2892785,"id":"Q2892785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$94E26CE5-1814-4DED-8549-F9D4D41440C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74374a8fe3637c3aa0bd4d13c222f64d3f91ffd4","datavalue":{"value":{"entity-type":"item","numeric-id":5687660,"id":"Q5687660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$96AA6BFB-0792-4DBF-B037-FEAF0F8347DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc047395e021e72baa887f057f01a31386deaab","datavalue":{"value":{"entity-type":"item","numeric-id":2842101,"id":"Q2842101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$0E2EFB8C-0C69-4BF7-A46E-098AB2809335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d311469a36c527273031e73f990f801dced9a7","datavalue":{"value":{"entity-type":"item","numeric-id":4632414,"id":"Q4632414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$D01DC42B-5723-4EC4-9294-EFF19F591F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c211669e1966e1ee0d4421e14580a2b83919893","datavalue":{"value":{"entity-type":"item","numeric-id":5351961,"id":"Q5351961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$5CF16AAD-1103-4B18-9577-FF0ED7A92F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664c83bf274f93d861a5c0c6834d01ddb129bcbf","datavalue":{"value":{"entity-type":"item","numeric-id":2912701,"id":"Q2912701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$672625D8-90F1-49DD-A759-06667DBF356F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe2fe1593bc7cab14290bfa232601558dca9c49","datavalue":{"value":{"entity-type":"item","numeric-id":2811340,"id":"Q2811340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$E6E83BB2-EF0B-432D-B980-A08C77588551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acfb8ca934e7809278bee1ae0c554677d60d71d","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$0A54F11F-4BCB-4A5E-B70B-B0144257CFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21421521ce0dc9c3e052bb8dc5b74ac8dd2e20e5","datavalue":{"value":{"entity-type":"item","numeric-id":3090831,"id":"Q3090831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$F7A1CAC5-29F3-49E6-BD21-96B084889DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23415e046078c6c12f71e66b4ffe401fb291c65","datavalue":{"value":{"entity-type":"item","numeric-id":2957490,"id":"Q2957490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$E073E631-72AC-4478-B57A-E354C827D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4f151d758563db82252d89520c2ad328b8c2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3512480,"id":"Q3512480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$AE45669A-FB61-49AC-95E0-394C8EBF8BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5cea71c6aacfcb4cc8bc4d70a2c543dbb0d272","datavalue":{"value":{"entity-type":"item","numeric-id":5408550,"id":"Q5408550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$3DF8700D-5F85-4090-9066-F8F7591F83BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$F93D4A34-5BC8-4C13-9089-1F2D024CBC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58bef328ea9f6bb0e8653d5a07f3e57490b43af","datavalue":{"value":{"entity-type":"item","numeric-id":688670,"id":"Q688670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$7A740534-7648-4AB2-B50A-A447C87A26AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af455bfb18abe030b463d5d487b0c4da7e11984a","datavalue":{"value":{"entity-type":"item","numeric-id":3636878,"id":"Q3636878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111652$21E6317D-4D73-4F33-99D1-94684A108742","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ed37a18bdea74b68bc75705ab62e19f54465760","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CONCUR.2017.38","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111652$F60F0B34-F29D-4ABD-995C-5CE98BCEAC90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad57e729c924ba97cd1bf05085648ad77f52d690","datavalue":{"value":"W2757632766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111652$0C289C0C-E6C5-4ED7-AAF3-91164E6FDC74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98712bc3b503ce8e8a5d2680ae8a1120887fd17b","datavalue":{"value":{"text":"Data Multi-Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111652$CC9C5371-4B13-4E70-B669-351C2608AEDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21d93f96cff0cd413236952b56ebe3f5460b1a54","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111652$73A49148-A655-4695-8274-3E58D1CCBD43","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":"487ea5e18e6703a0a0826f31ecdc2e02343738ec","datavalue":{"value":{"amount":"+0.8365205526351929","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":"Q5111652$44EC301F-470D-42F2-9CDB-511E0BDA4664","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":"ee9fefb9d6342034a1a44a488bf1992cd5b42947","datavalue":{"value":{"amount":"+0.8262022733688354","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":"Q5111652$E2D8FC3F-31DE-41B2-9477-77C53EBF275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4386bb6ca5f40f0cd6b55756c488e0cdeb70a05a","datavalue":{"value":{"entity-type":"item","numeric-id":5891773,"id":"Q5891773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d26f76dde10e7c63d834fabb31c2fad20f77ae","datavalue":{"value":{"amount":"+0.8093752264976501","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":"Q5111652$18D68D13-2850-4ABD-AF33-3EDF184F14BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4eb92f6d638d6d4f6bb3b286f35bb82dd66e404","datavalue":{"value":{"entity-type":"item","numeric-id":5891173,"id":"Q5891173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e823dc7834f4e747ca8cebdaf5f198fafa055c8b","datavalue":{"value":{"amount":"+0.8078381419181824","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":"Q5111652$93ECAE9A-AB74-4629-84FB-A5B7F57C4FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc37fc300ef1aaedc59d7b56acf30d25cf6418cf","datavalue":{"value":{"entity-type":"item","numeric-id":2948245,"id":"Q2948245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087e04093f52dc23505686e8743f16a0174153d7","datavalue":{"value":{"amount":"+0.7987995743751526","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":"Q5111652$47F1F2A4-92E9-4A96-8D36-5DE63EB5C525","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111652"}}}}}