{"entities":{"Q2904749":{"pageid":2915474,"ns":120,"title":"Item:Q2904749","lastrevid":42478905,"modified":"2025-06-28T14:24:33Z","type":"item","id":"Q2904749","labels":{"en":{"language":"en","value":"A pumping lemma for pushdown graphs of any level"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6070890"}},"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":"Q2904749$AEC34EC8-D05B-4099-A899-894CDEB102B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15002d33057916a898b80c9e963a633b66292226","datavalue":{"value":"1279.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904749$B936E685-E9FA-4D8E-B4F0-CD36B3F462EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f8cdd386691c1fea5e73df605fd6f51a4e84c6","datavalue":{"value":{"entity-type":"item","numeric-id":894454,"id":"Q894454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904749$31A5EA7A-C6FA-471C-8671-A6442E265B39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65565ef421231dd2fa47bb94f379079908ab66d7","datavalue":{"value":{"time":"+2012-08-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":"Q2904749$E4B92900-8E7A-4383-BB3D-DE2CCCBDA280","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904749$362E4BD8-95BE-4219-8E7D-870819660441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904749$AF51D851-BDEA-4965-A31A-616C32675712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9ae026a6dea81db067f3ef9ee2c62cceb88b6cb","datavalue":{"value":"6070890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904749$89C514AF-12D8-4AFA-AEC8-535F9D4461F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65a2f276b0bd4accb7330625e07f7116a0f9d64","datavalue":{"value":"pushdown graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904749$143702DC-9378-4601-BE6C-DD1EB114A169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"764a24e67aa843f816be92ede30b2e8c2769445d","datavalue":{"value":"\\(\\epsilon\\)-contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904749$138885C9-F171-4279-814B-11B1FF5165AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904749$A87039C3-12C1-4421-91DE-27D111E81B06","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":"Q2904749$24F15512-C77C-4F6A-ABBA-55B32FC50316","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0377f61c907a0e44bfe5b27eaa1df546b2ae04f2","datavalue":{"value":"10.4230/LIPICS.STACS.2012.54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904749$B8B1D5BF-B893-4169-BCC1-995D9B9FE6FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b6194bd61da1693bff3aee64d5423a78bb66c9","datavalue":{"value":{"entity-type":"item","numeric-id":2915692,"id":"Q2915692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511aba463af14962191bf6224721cbcea7ae9f9a","datavalue":{"value":{"amount":"+0.9376763","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":"Q2904749$94755FB3-4C68-42F6-B46F-9667153459A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44579725c5bf71ee4a57d75abb732c05ebf3b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1265742,"id":"Q1265742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f4e9390b1b728b61c99b8d97765b90327e3199","datavalue":{"value":{"amount":"+0.8280872","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":"Q2904749$D8C5E0D1-2391-4DAC-A2D9-918C0BA093C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6d6361c0b4bbe642ee2897df3708abf491436d","datavalue":{"value":{"entity-type":"item","numeric-id":2849706,"id":"Q2849706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceed796807d407a879c5cf8edf254268a22b6426","datavalue":{"value":{"amount":"+0.8267942","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":"Q2904749$522D7FBA-3AAF-4CDE-BD5F-EC539BA8177E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b96c551c609aa17bc2159083ae8a0910ebbd6a","datavalue":{"value":{"entity-type":"item","numeric-id":1827672,"id":"Q1827672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e78b9131d54fa4e7b8ea3e2c925a6a877df19e","datavalue":{"value":{"amount":"+0.82457155","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":"Q2904749$09C3BFEB-F885-47CE-AFC0-5FD6090C8814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5491dc237bc2c622183dfb152e12e9bde4895fcd","datavalue":{"value":{"entity-type":"item","numeric-id":5081237,"id":"Q5081237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4ba2222559f4b68da8aeeeb1fe7d5404f0fc4f","datavalue":{"value":{"amount":"+0.8244622","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":"Q2904749$593445D2-504C-401B-B526-99E1584C140D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba98e67ccf85d6ecd412ef14ef30846687a6a2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3113775,"id":"Q3113775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2315994791e87c24f4a7407df960874aae8245b2","datavalue":{"value":{"amount":"+0.8235507","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":"Q2904749$ABC1F11A-FEDE-4521-AA03-963A23CBCD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6136cc3982067363018f8019543fd3c069d1c34","datavalue":{"value":{"entity-type":"item","numeric-id":4913775,"id":"Q4913775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2315994791e87c24f4a7407df960874aae8245b2","datavalue":{"value":{"amount":"+0.8235507","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":"Q2904749$918B6F7C-1F6C-42B8-A8A7-69ECDA871102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c750338df7d6e8bc0415dfba7499b98fc11167","datavalue":{"value":{"entity-type":"item","numeric-id":2359974,"id":"Q2359974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b125843dcf3f5239e667e17cb8accc802cfc3e9","datavalue":{"value":{"amount":"+0.81891716","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":"Q2904749$E8F944D8-C141-4E78-AF1D-7C325581F102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb547774f16c93aa9c9a4cb1389fb2e64f567cd","datavalue":{"value":{"entity-type":"item","numeric-id":2872305,"id":"Q2872305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2e728b0e772db3b4aca88033fdfd556a2d9f05","datavalue":{"value":{"amount":"+0.8160076","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":"Q2904749$5125336F-37E4-416E-A2C3-A9066C1C4EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57ce32da1a3c3e4107742bfe117161d9966ebf5","datavalue":{"value":{"entity-type":"item","numeric-id":1328510,"id":"Q1328510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318a85588f30346cf18332a4afbdb54029aa037f","datavalue":{"value":{"amount":"+0.8132376","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":"Q2904749$0035AA0B-EDD7-4327-8662-3746E79B3DCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62006bb395f093da9d457b61facb2276a9c5743f","datavalue":{"value":{"text":"A pumping lemma for pushdown graphs of any level","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904749$C4123C1B-D4E9-4FE1-BA15-0FDBE4021C0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904749"}}}}}