{"entities":{"Q5089200":{"pageid":7118776,"ns":120,"title":"Item:Q5089200","lastrevid":55415524,"modified":"2026-02-17T15:57:23Z","type":"item","id":"Q5089200","labels":{"en":{"language":"en","value":"Synchronizing deterministic push-down automata can be really hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559404"}},"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":"Q5089200$FEFE4BA7-05F5-4016-95A9-870D36F24B8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c96ef73c369ca8e5140b0078dcc58552f1cd31a8","datavalue":{"value":{"entity-type":"item","numeric-id":198229,"id":"Q198229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$322A35B4-7128-45F6-8F61-8CF2FED08AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d326a8b7cd29d8ab00e505884681ad6e2d923b","datavalue":{"value":{"entity-type":"item","numeric-id":544622,"id":"Q544622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$9E0215F4-7299-4C87-B986-AD908E599E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e331a56534fb3d15d7a09cc088a9f710c573114","datavalue":{"value":{"entity-type":"item","numeric-id":434348,"id":"Q434348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$2F6B74A6-CAE3-426C-ABBB-37124F668BFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089200$958F5A1B-1619-4002-A9B3-3E4E84E8CA32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfc5162b583c918ca45a1249e5918b3ecf6febdb","datavalue":{"value":"https://arxiv.org/abs/2005.01381","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089200$046A8AC3-E2A4-4BB8-A672-F2F0D62516DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089200$E1D5FF5B-68B8-4E2F-9420-1E28F32BD880","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab63d6c4d746d786629112c1edf79555475bc818","datavalue":{"value":"7559404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089200$81AF5841-84A2-4E56-AFFC-95B2D7D1C846","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b65caa91765e2cd64df517de4dd625db242407b8","datavalue":{"value":"synchronizing automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089200$3A5A93F6-DA0B-44FD-8806-33758D7C578B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa822fbd7862a12ebb7f178b0aecaaf518189940","datavalue":{"value":"reset sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089200$20A25E81-8475-43F0-AE6F-A0FA3F32CB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea088a8693b4aeab23a6ca07ba0c643f75b276a","datavalue":{"value":"real-time deterministic push-down automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089200$075DFA8F-8A84-42BC-AEF5-C8D568FDC327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb4079f9c5ead7f50d70ef2a2fb0b1a4ecdef182","datavalue":{"value":"finite-turn push-down automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089200$C98DD7CE-A54D-4AD9-8F8C-EB781A8F6C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089200$86D41C16-B6A4-41EB-AD2D-0DB7FB4738E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089200$0A765CC8-D500-49F9-B520-28C3522E7465","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":"Q5089200$42B11D6F-CABC-4AA6-A77F-D93FC70041AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5c85bbbd2b591676bbb2a5c1ba40def8936b5d","datavalue":{"value":{"entity-type":"item","numeric-id":2978507,"id":"Q2978507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$6DFAC5C5-979B-4F06-973B-B2315ED90A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b44fadf49fbf71804bd01233e1c102242554fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3476281,"id":"Q3476281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$79E7E831-4C27-47A7-9F11-F01E959A80F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dba53b11e07bd388230fb3794b135d3cc90dce","datavalue":{"value":{"entity-type":"item","numeric-id":1235014,"id":"Q1235014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$271ED856-322C-44CF-982C-5C4449D75DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcbe6b41a61d1be24d3f15ea1cdac96b096f844f","datavalue":{"value":{"entity-type":"item","numeric-id":5590810,"id":"Q5590810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$4370BCCE-DD11-4310-B105-1E9B4E7A4884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cda73737862ae25acf95e82a813fd5a18542be","datavalue":{"value":{"entity-type":"item","numeric-id":5525346,"id":"Q5525346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$3C0F1577-D46A-454E-8B4D-0A102FC39D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c275f00bd2b1625717370185ca0dbd8464de5303","datavalue":{"value":{"entity-type":"item","numeric-id":1251070,"id":"Q1251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$363AC501-2A8E-48E6-9ED4-558A1D872366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958e8bf05dd41a356ed45fa949d36e2ba662ac79","datavalue":{"value":{"entity-type":"item","numeric-id":5544289,"id":"Q5544289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$593595BE-2B87-424C-8866-D2304BC59CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4350892d7df19387ec0804bd15d8a9dc062b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1151753,"id":"Q1151753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$704C69DB-CBEC-409F-B54B-C1B66B17232B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9684d84be3b8355a2edee9961c6843594427ba04","datavalue":{"value":{"entity-type":"item","numeric-id":4167584,"id":"Q4167584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$483675DA-C758-4919-AB4F-2C9BD1360D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d068d0634bf42ed45eccc60a1558a4ffad32037","datavalue":{"value":{"entity-type":"item","numeric-id":2707235,"id":"Q2707235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$AE52FC87-23FE-4A0D-8544-C7EDA5406CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61a73586feeb0c33c3a545bcec27d557080b4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4994952,"id":"Q4994952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$1ACC3918-7FB5-433E-AF47-4CFABB16A7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5763813a33e175d62cfb867f73309045d3de6ed9","datavalue":{"value":{"entity-type":"item","numeric-id":650904,"id":"Q650904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$C9B567BD-0156-4FF6-B67A-656164C86A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f891d30ac67b91a0eda829c8a6ecb30813a072e","datavalue":{"value":{"entity-type":"item","numeric-id":5320670,"id":"Q5320670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$B9E3FA05-F916-42DE-AB93-CC42E2F6DBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a03a7f69bda1783a313f7f07958eb14da42783a","datavalue":{"value":{"entity-type":"item","numeric-id":1678755,"id":"Q1678755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$121D3BAB-7FD7-4766-892C-984263047966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0b8a5888a26501f99b9921effa60fdaeffe2f0","datavalue":{"value":{"entity-type":"item","numeric-id":1763707,"id":"Q1763707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$2EB886A4-F69C-4F7C-9D95-07255FB92DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e7f03e0bfff061db9847c399a80056bc6c3929","datavalue":{"value":{"entity-type":"item","numeric-id":3890112,"id":"Q3890112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$52DA9E8A-8B18-4C7B-9BFA-7E7E424C411A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf56509f4259dc4b2ab887ed1a22739dffa0d4c8","datavalue":{"value":{"entity-type":"item","numeric-id":1135824,"id":"Q1135824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$67FF9A31-4652-4AB2-895A-1877D6A26316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$18320D67-9C67-4082-812B-C786E57DF303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028d24f00e69c703e3bb5da0e8da340547977ac0","datavalue":{"value":{"entity-type":"item","numeric-id":2955030,"id":"Q2955030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$1FF9CBD8-B7CD-4F46-9C56-3C86F2FEBF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$452B66CF-B272-4233-ACEA-2AD7F2F8E725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e846e9e9f23126c5a717a1c9f14b50ee45ecca5d","datavalue":{"value":{"entity-type":"item","numeric-id":1838038,"id":"Q1838038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$E5CA201B-6624-4D98-BF10-BC49836D267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$C40D95C9-55E2-45DA-8F45-6C2F37289F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86254ee3c9b6e0d2075cc38ddd7166cbd33df22d","datavalue":{"value":{"entity-type":"item","numeric-id":1083219,"id":"Q1083219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$7C63528B-B36A-4608-89FE-4842FC5433A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5ed2debb1fd94f9a24d7ef0a3c0d49eeb2e94d","datavalue":{"value":{"entity-type":"item","numeric-id":5208377,"id":"Q5208377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$38E871E0-0B94-40DE-A37A-FEDF6BA5897D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8df668165ab9ae1cb0b20fd7d50cb6cc11a612f","datavalue":{"value":{"entity-type":"item","numeric-id":5551185,"id":"Q5551185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$B55AFAA3-A438-4EEF-8288-A74127E9AB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352ad725db2afeadf632baa13d22e8f5a06b700f","datavalue":{"value":{"entity-type":"item","numeric-id":5208364,"id":"Q5208364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$C1A32699-5F71-476A-9D74-D17C2690D17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de3eb19cd86dd0d84bd7a0977aaccec77fb8611","datavalue":{"value":{"entity-type":"item","numeric-id":3304155,"id":"Q3304155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$47E3A84E-A0FF-415D-93D3-1A5641EDACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a3c2c48e8711a06cbe33fea6900c75fca5b0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3540093,"id":"Q3540093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089200$33D39EA4-D842-4A9E-B499-F4D8CD593629","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bec3a050b947e83c536923b7fd18aa1ec44c9ac2","datavalue":{"value":"10.4230/LIPICS.MFCS.2020.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089200$7DC85C62-138C-4C0A-B1D0-3ED2240DD64D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a0e6fe919feb8330045eecfa995f5e0177aca6","datavalue":{"value":{"entity-type":"item","numeric-id":6186317,"id":"Q6186317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673920122e3519cc3c728d9ed89c68144fa72278","datavalue":{"value":{"amount":"+0.998815894126892","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":"Q5089200$9B6AF744-6BEE-4066-9B1A-2E242B7B50D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6372308b58689f5b91c2742fd293e76058774043","datavalue":{"value":{"entity-type":"item","numeric-id":3617051,"id":"Q3617051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d52da6ece245637fea5f7bd30b634f602b6075","datavalue":{"value":{"amount":"+0.8111649751663208","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":"Q5089200$9C2C561A-1DB1-49B0-9EAF-983A73696B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b34dff235192f63b46edd2e38ac54a08d6733d","datavalue":{"value":{"entity-type":"item","numeric-id":5496198,"id":"Q5496198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e32fd7680c33812f905c4b83b785c67a1374d15","datavalue":{"value":{"amount":"+0.8088186979293823","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":"Q5089200$BB534E5D-CDA1-4796-972F-DE96F95535D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0eee493b0402c53a1e3dda0a6dfe930f66b83d","datavalue":{"value":{"entity-type":"item","numeric-id":6067332,"id":"Q6067332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aeb1e10b3cc1adebb253ae94b07b318a5bf580a","datavalue":{"value":{"amount":"+0.802284836769104","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":"Q5089200$063B5478-F65B-4466-A765-729A163D8850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9da832c6065b9f2d4eab52d5ba88575498bce6e","datavalue":{"value":{"entity-type":"item","numeric-id":2914716,"id":"Q2914716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1a7519ed912c2b2e25313470450b424d73c689","datavalue":{"value":{"amount":"+0.7945849895477295","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":"Q5089200$E368E7E9-8B3A-4950-8C31-694956B71796","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089200","badges":[]}}}}}