{"entities":{"Q2396722":{"pageid":2407465,"ns":120,"title":"Item:Q2396722","lastrevid":57094104,"modified":"2026-03-26T14:42:38Z","type":"item","id":"Q2396722","labels":{"en":{"language":"en","value":"Reachability in pushdown register automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6723164"}},"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":"Q2396722$258C933A-FD3E-44AF-AC47-2F726AC46F77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3ef82a390c45f80d412b3f9fd445074f640893b","datavalue":{"value":{"text":"Reachability in pushdown register automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2396722$9805139D-200C-4753-B155-C62B9EE5155C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e313c7c28f1818021bb14d306b1acaa93ab05bb","datavalue":{"value":"1370.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396722$3BBAE1D1-2302-480C-9867-F1727D6937B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$D6C18AF8-BEF8-4B0C-9C3A-249F1966A1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"671200b99d1f4c8388ee4d2be3fadbb455d7591c","datavalue":{"value":{"entity-type":"item","numeric-id":2396720,"id":"Q2396720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$43DAD6F0-26D3-4E4C-BD4E-AA6602BB801C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a364b77e92ff0f2a5601d6a22c0787f6130aac0f","datavalue":{"value":{"entity-type":"item","numeric-id":388211,"id":"Q388211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$C121AE16-65FF-4743-A063-1B82A3AD3973","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$CA9B69AA-CFB8-4FD9-A366-84D8933ACB2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb39e4a0c00eacb8782641ee71ab305789d63b9c","datavalue":{"value":{"time":"+2017-05-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":"Q2396722$DF6794D1-6DBE-4FFA-9A4F-25793453B527","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396722$4896B27A-49C7-4342-A4BC-067A87AF1656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396722$EECDE8C7-13F4-4D68-9AE4-6BE6B3FD7F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396722$1B885EC9-B1F4-49BF-949D-5B33A2985838","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34137a5a68c25f90cde495741ab5421c0a6feac7","datavalue":{"value":"6723164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396722$3BBC319E-5242-4AA5-8719-71CCCA0634A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a87656c643f17b9d18de57480a720b063c65ed","datavalue":{"value":"register automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396722$86B99149-CD1C-47E7-8DAA-6BFE967D5687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396722$5FA601A5-7742-4489-9993-9F39AFA41157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396722$56E61207-CF1F-4B44-B0F1-AF2335D933DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4561d587e504070be053b0022b2bc3a9f1f77417","datavalue":{"value":"infinite alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396722$32CC5EA2-3A80-4E44-89CE-479F273E5D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396722$B421498A-B388-44A8-87CB-DB3E18663B2E","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":"Q2396722$5D2FCFA4-8285-40E9-8A22-ADC7417BCC07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28edcf85bdb5908e9b27db1a076a77850bb591a0","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2017.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2396722$C334D41F-C32F-46A3-BB50-4D6EE6A4AFA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fca27508d73d488dc736b26870f9516a647522c2","datavalue":{"value":"W1855476678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396722$ABBFD518-B28D-4AB7-995F-2C88FD15C217","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdf687d30db9333f324e9f8d207b5c6ca6d240c","datavalue":{"value":{"entity-type":"item","numeric-id":2946676,"id":"Q2946676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$CB95D1BF-D16B-4D14-A54B-48DA4DD6C660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92042365b91279004f33ab8fc0e2fe77227bca09","datavalue":{"value":{"entity-type":"item","numeric-id":3224694,"id":"Q3224694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$D62CF27F-D247-46DD-AF49-40BC7A937E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99b6b8d77e20e3628ebd7f7a63c4bcb3523ccff","datavalue":{"value":{"entity-type":"item","numeric-id":846359,"id":"Q846359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$DAE8804E-EA6B-4686-B703-FE012CC66FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$2941C90E-83D6-4AFA-AB98-9A45FE9845FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$BAD791BC-B67A-41C9-8AA0-D0A6260B12A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c80ef7e77c39f82700d0e9a7874ae037fda395","datavalue":{"value":{"entity-type":"item","numeric-id":5429323,"id":"Q5429323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$F7F929A0-D445-4773-8B01-A59A8C657905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f0782ffa9d03ab5d340451b37854db6311022e","datavalue":{"value":{"entity-type":"item","numeric-id":1401233,"id":"Q1401233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$71046DB6-13AE-454C-9797-3AE13BECA82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee6413029ba009f86cfc2e978c2cf265197364b","datavalue":{"value":{"entity-type":"item","numeric-id":1386414,"id":"Q1386414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$F6EA5C72-1E2F-43F2-95A2-C5770234BF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9285a61f3039e7ce640456a9ea2b4d13665dc77","datavalue":{"value":{"entity-type":"item","numeric-id":5626625,"id":"Q5626625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$39F4048D-1A61-488A-ADE6-4205F235B1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$765786BD-95DF-4CCE-80BE-9AF7E567E3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$0BCD58D1-5237-482E-A311-17C0600A3546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f6024f98f09d930280259eb2e75792af296173","datavalue":{"value":{"entity-type":"item","numeric-id":5326330,"id":"Q5326330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$34BD404A-E45D-4D52-9EC6-83B7E4C32CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$C11B1D56-5809-4AAA-BF14-091E0904CD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e7465ca3c4028fb3a178530661b6974e88b32","datavalue":{"value":{"entity-type":"item","numeric-id":3056277,"id":"Q3056277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$DD1322EE-6ED5-46CF-9BCA-9E1B00083E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40059917d0d7b1cf8ff9391f3c31bb04e97eaab5","datavalue":{"value":{"entity-type":"item","numeric-id":3460566,"id":"Q3460566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$8AF5A224-F89F-449A-86C5-29B53881CF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec58d7460336dcec04c676b252e563ada4537c4","datavalue":{"value":{"entity-type":"item","numeric-id":3460582,"id":"Q3460582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$E8043DB8-FE01-493B-9322-DA4073CEB536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce730ee7a5403b7df2b306c982f584f0979db721","datavalue":{"value":{"entity-type":"item","numeric-id":3000592,"id":"Q3000592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$297BEDE1-4C37-482D-A97D-9B59BFE0E644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91698937c8ec8c4f897856bb1697994fb1e8409","datavalue":{"value":{"entity-type":"item","numeric-id":3167021,"id":"Q3167021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$210018FD-DAE3-4E7D-93F4-16A013516006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$5EF94F44-027D-49F3-84F1-B201FD542A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9569127c59af0183d1d5509061fb23ec78be29","datavalue":{"value":{"entity-type":"item","numeric-id":1575908,"id":"Q1575908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$8EEF7D32-B37D-4FA2-82AB-C0D4FFF01352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9fa5a2c185c4a7a998608df2f3a972936a026e","datavalue":{"value":{"entity-type":"item","numeric-id":3613328,"id":"Q3613328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$D10945C0-DB82-4E30-BC30-7FA098F605CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e861579b80db6bbd68e7b114aa00c3ee8b93204e","datavalue":{"value":{"entity-type":"item","numeric-id":1959427,"id":"Q1959427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$A585362E-EBAD-4193-92A8-7F7EA2E88D22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26fb121571965f757528f7d6c9d6a37a5f6f8e70","datavalue":{"value":"10.1016/J.JCSS.2017.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396722$00B214A0-1DEC-4096-8122-11148665C0A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46879b25a1375c51de4ce78bd672ac172a890459","datavalue":{"value":{"entity-type":"item","numeric-id":2922039,"id":"Q2922039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d956f300fbc471e5fd03da378f73728fae41d9c","datavalue":{"value":{"amount":"+0.9934735894203186","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":"Q2396722$7D07B12A-6487-4099-9931-38F52F034C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203b8d1e9fc6145a9e2e8efb4724e1f8ea291d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1057653,"id":"Q1057653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c63872976716c832c0be847bc18827836dd835e","datavalue":{"value":{"amount":"+0.8040189146995544","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":"Q2396722$385C6D37-783C-420D-9584-8A9CB54D570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7c31b99764f11c54eebcc5dfac4b6646218adb","datavalue":{"value":{"amount":"+0.8037772178649902","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":"Q2396722$02571A8F-5726-4F58-A605-16A310B15B35","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":"ed7494c3b23eb56f8b21f7d864bd78657e7f9469","datavalue":{"value":{"amount":"+0.8028174638748169","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":"Q2396722$1516CE86-2EFC-4686-8F23-C5E591B2A4D0","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":"303b2231d9e1ce213fa09ff4f18adcd9abc99d2c","datavalue":{"value":{"amount":"+0.8012974262237549","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":"Q2396722$92AEC12C-B803-4E63-B3B1-16CB364E5499","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396722$61536921-4F57-4F04-8D45-3CD4B8C9935F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2396722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2396722"}}}}}