{"entities":{"Q5111429":{"pageid":7141003,"ns":120,"title":"Item:Q5111429","lastrevid":58425510,"modified":"2026-04-05T04:14:22Z","type":"item","id":"Q5111429","labels":{"en":{"language":"en","value":"Pumping Lemma for Higher-order Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204549"}},"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":"Q5111429$3227AA88-61AD-45B9-9A49-A10A741F9854","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"856a4f5f0dbf4ad9f049637d032987157a5f9529","datavalue":{"value":"1442.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111429$C33B48B6-3B41-489D-B923-8D7A8D7607A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c5047119a2367a11254d195462d65d22f2a042","datavalue":{"value":{"entity-type":"item","numeric-id":2029492,"id":"Q2029492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111429$9A7F813D-3455-43B7-8CC8-B08E7EDE4876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111429$762171F8-E99A-4F3D-9ACB-BBDF5D93E43A","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":"Q5111429$898FADE4-0076-4273-8E7A-D56C5BAC3422","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b60e065514c2628d5d0057d9c6995df4700b40fe","datavalue":{"value":"https://arxiv.org/abs/1705.10699","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111429$FCCFF520-FC97-441A-B889-8E559FC83864","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111429$55AD94C5-372F-41AF-B3DF-0D50983F8F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111429$F366746C-F4FD-4FA5-A84D-A766F60E5160","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2b89e3733b6f3c0b0c0351baa60dd109df8ce47","datavalue":{"value":"7204549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111429$FD2ED9D0-338D-474A-BEB6-D930E45D39EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111429$961A13F9-1D82-451B-B01A-167A7D3CBC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd1369070914fb63818b27c7241060fa65c5584c","datavalue":{"value":"higher-order grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111429$BD3DE6EF-7780-4892-AD91-FA4DE60CCFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cee70fd0a5b823c3702bfab09192e51e6a8ab6","datavalue":{"value":"Kruskal's tree theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111429$6148A167-C608-402B-BF6E-CCDB6435FCB2","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":"Q5111429$0050E4AB-86E0-424E-AA29-4322F7431CB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52c0a3481972a070fa268bb1cc65c9486f1564bd","datavalue":{"value":"W2963912948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111429$1774F114-87EE-4CF2-BE54-E95D1BA9D74C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eca8bf7d1193deaa94a9493b17f7a0c1ff58eab","datavalue":{"value":{"text":"Pumping Lemma for Higher-order Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111429$0C8E0287-D7EC-435B-B027-2B350D89BF68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4352f02a0767df440fc70205467f8efb4927e41","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111429$D5525CFC-4D51-4273-932A-17CAD8552DAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e437cd758ffaf8863660e551fd42784b855cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1120293,"id":"Q1120293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc814dd6f2632f0f8c3d26255e98ed0a15899b5","datavalue":{"value":{"amount":"+0.90635836","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":"Q5111429$BFAB1E11-2153-4FB7-8C0F-8E7FE9897621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec993c604a62a69c5f9a331529b0dd227b7a1d23","datavalue":{"value":{"entity-type":"item","numeric-id":2909021,"id":"Q2909021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc97ff84fdd46ad13c3e533aba9958feff49a3a1","datavalue":{"value":{"amount":"+0.9062799","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":"Q5111429$FF2116C2-E688-4F20-97C3-1B141922C5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d20a486f2d15179ad39987e5c5f0793574ca93","datavalue":{"value":{"entity-type":"item","numeric-id":2969981,"id":"Q2969981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb97964651b841f85b9b960e2d108115805d4847","datavalue":{"value":{"amount":"+0.9041946","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":"Q5111429$48150F0C-8080-4D84-9707-13A52F208CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49604cc8878664afe09ae4f93bbe64cd153f552","datavalue":{"value":{"entity-type":"item","numeric-id":4835863,"id":"Q4835863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7042bc4fb8ab05ee6cb04f81a67b820a0ee28ab3","datavalue":{"value":{"amount":"+0.8983613","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":"Q5111429$EA156F3E-6A72-4791-B16D-8EF74B455F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4115e76d2c8c1db7b9627e76ded168c94e3852cd","datavalue":{"value":{"entity-type":"item","numeric-id":5195278,"id":"Q5195278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c452b2f8197cdb98eb7cfa22f0b6c685ab24f6","datavalue":{"value":{"amount":"+0.8973687","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":"Q5111429$449DBB03-7E22-4281-9716-59475D87A362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f321fbe42737db706cf11fef79247490e40f3a20","datavalue":{"value":{"entity-type":"item","numeric-id":3000076,"id":"Q3000076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d8b1fef042ed0edde34b7afe64e5a7e9abab60","datavalue":{"value":{"amount":"+0.8948571","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":"Q5111429$450E101B-EF76-4551-ABCF-1D4727EEB093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140fbabf4e4ecefc76bbd5a00b2f7876d89c0a06","datavalue":{"value":{"entity-type":"item","numeric-id":1850045,"id":"Q1850045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e78cc2aa42bb7820b775cb74b369771659ecc02","datavalue":{"value":{"amount":"+0.89402014","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":"Q5111429$399FC892-47E9-4810-A019-577EE84844BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5cef160351190ad4e0f9aa12c401e797bff61f","datavalue":{"value":{"entity-type":"item","numeric-id":3680301,"id":"Q3680301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3745230a1af7246a608d609a205ab5ded31c2c7","datavalue":{"value":{"amount":"+0.89203954","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":"Q5111429$3F022A9C-87FB-46C6-ABAB-8B440AF70240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3555a566365aab2e4b44ebdb6d22feec7843ce53","datavalue":{"value":{"entity-type":"item","numeric-id":6095498,"id":"Q6095498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5094c25c9debc86263559d24810e833ebf89b767","datavalue":{"value":{"amount":"+0.89037204","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":"Q5111429$84DC72D4-6E8E-4F20-BDFA-04129E0A1596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13bc150fd4a2465364ed2c7bfdc753c9a058b6f1","datavalue":{"value":{"entity-type":"item","numeric-id":3637235,"id":"Q3637235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f3581b7f5dd4ebd37f3a373b969d3c21e92cb0","datavalue":{"value":{"amount":"+0.88974607","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":"Q5111429$D9A08FB1-5292-4BDD-98BA-0BD9814F2BA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111429"}}}}}