{"entities":{"Q1120293":{"pageid":1131042,"ns":120,"title":"Item:Q1120293","lastrevid":67048620,"modified":"2026-04-12T14:35:05Z","type":"item","id":"Q1120293","labels":{"en":{"language":"en","value":"A pumping lemma for deterministic context-free languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4100629"}},"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":"Q1120293$71F04211-563C-4EFD-9B31-E1FEE9851133","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"164c568790c0a839b87258f29f71acb26d11d8e5","datavalue":{"value":{"text":"A pumping lemma for deterministic context-free languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1120293$68F80941-0CCD-4CF2-95EA-7FB3D020BF10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf22d649277713f80f13d52cb09d37df1002e16f","datavalue":{"value":"0672.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120293$5574D05F-051F-4B0D-B03A-972C8A01DC8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8db8b0308ff92d331902c9e7b179ea0e4034a65","datavalue":{"value":"10.1016/0020-0190(89)90108-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120293$04992BB0-AFB1-4F48-8A2B-383C18435C7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120293$475EAB20-D825-43FF-9DE3-F0CB43C8295A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1120293$9E18F0DF-C813-48FD-BC72-07923D77E5F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120293$F7CC0244-BBCD-499E-AFEE-F765DC317EDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7deb1bc84ef8684185d9ba724ca5a0c97296f52d","datavalue":{"value":"4100629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120293$EDB94992-9A36-4D19-BAE6-36A226E9D534","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386a757194ea3cf3d1a68f5d71015bba9c71cdb1","datavalue":{"value":"Greibach normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120293$AB59E630-AF18-43C3-9287-06BC37C72B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c0fe99a78a5d9eb01b2ed42306a49239f6eed8","datavalue":{"value":"left-part theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120293$7B63B607-2DC2-43B6-90C6-AF9812688CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120293$A123EFC6-383F-4668-9FD2-9DE9E1A49DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a49fa30661ecb2592b7672b3ff0b3565e87eff","datavalue":{"value":"iteration theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120293$879D56BA-2B66-4C8F-BA47-739C6220AC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be482fe6cb276a437ef8e80db0734f84bfca34a","datavalue":{"value":"deterministic context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120293$079F1A93-8347-4AC2-B8D0-794789F5CA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a68137d8e680a434ada0e25d31c16d68b045fc","datavalue":{"value":"LR(k) grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120293$52100F57-F9F9-4A32-A834-E4A52C449AFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f143d75162aea6d3b09de1ba925afc74ef470da4","datavalue":{"value":{"entity-type":"item","numeric-id":418765,"id":"Q418765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120293$C6746ECF-9007-492A-8308-84DCD9039770","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":"Q1120293$E70E7A68-D286-4E65-9FE8-63877CC8E915","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c841a6fcf906b8ddad1a22aed4a669e0d6168f0","datavalue":{"value":"https://doi.org/10.1016/0020-0190(89)90108-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1120293$0090289F-4DE5-4FF0-9AEB-06E3A1078C73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66f92fc4c746fe36e3aa54fc8d3472ec8c1c0e7f","datavalue":{"value":"W2009481224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120293$17E6DC6F-9877-4883-9006-1F28B928A0F8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7084b24f23dbfd3e08e2e0dd533110466008c335","datavalue":{"value":"Q124820415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120293$5960CE10-71F7-43C4-9C46-4BBCD7F3A1CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e555b3de760d96d9088c6c23b0c861b4d03af57d","datavalue":{"value":{"entity-type":"item","numeric-id":1148695,"id":"Q1148695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120293$B7D73122-5CCF-47F3-8DA0-2E5CA0E9E892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3117b651b59c60e1c2c79c933b15068906b80de","datavalue":{"value":{"entity-type":"item","numeric-id":1238425,"id":"Q1238425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120293$48A85AD0-1E06-432D-97D3-DDD72DA1BD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120293$4887A5F2-506D-4588-8EA7-025F34A78E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120293$93C331D5-CEE8-49DB-8F8F-3FF17FE2BFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8bb8a0cb0e1fccea898eead3061ce67c1bc56a","datavalue":{"value":{"entity-type":"item","numeric-id":5674990,"id":"Q5674990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120293$36B3C5C9-B7A4-4190-8543-21033A0B72D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120293$01040E92-A8F6-4004-B15F-AC26BB448F02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d146537accd06e93516e4bf536bd75f32f035d60","datavalue":{"value":{"entity-type":"item","numeric-id":1081309,"id":"Q1081309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b9149cf1514dcff7d56d0e9233187c46bc3109","datavalue":{"value":{"amount":"+0.8804936408996582","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":"Q1120293$9B01321C-66D9-45F1-8ED5-28833B9C4CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb6a10aa5e35fb4c1c1494d6b685efc2317cbaf1","datavalue":{"value":{"entity-type":"item","numeric-id":1623005,"id":"Q1623005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b76838b26a44f2ecbdb43751d157d6aa89481c","datavalue":{"value":{"amount":"+0.8702883124351501","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":"Q1120293$3C5B050A-5CA3-4880-A510-123D810866E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ebe38e4b7245b7d413621428bb56c4e6699608","datavalue":{"value":{"entity-type":"item","numeric-id":4365009,"id":"Q4365009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ff5507dd19173819a7433fcecd126fe89c9542","datavalue":{"value":{"amount":"+0.841521680355072","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":"Q1120293$0167B764-323E-4F62-9D61-C7FE44BBC268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3f804522bdf0f1d5d851b6fe3c40225decbfcd","datavalue":{"value":{"entity-type":"item","numeric-id":4421598,"id":"Q4421598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefcffab04fc3da14f5b545a02847e39c6ab911a","datavalue":{"value":{"amount":"+0.8383033871650696","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":"Q1120293$93046A82-4B63-4950-9720-3F6711D9AA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5bcd67b0cd9f6dd065226a8c62946a6c81cb1e8","datavalue":{"value":{"entity-type":"item","numeric-id":3783608,"id":"Q3783608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca689b6c94c58d7155108081439284b96ac594dc","datavalue":{"value":{"amount":"+0.8346759080886841","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":"Q1120293$A6870ED8-670C-4294-B239-38AABDF4C7B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A pumping lemma for deterministic context-free languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_pumping_lemma_for_deterministic_context-free_languages"}}}}}