{"entities":{"Q2333674":{"pageid":2344417,"ns":120,"title":"Item:Q2333674","lastrevid":53589236,"modified":"2026-01-25T09:26:51Z","type":"item","id":"Q2333674","labels":{"en":{"language":"en","value":"Some applications of the formalization of the pumping lemma for context-free languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7129343"}},"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":"Q2333674$3E04FBA1-ED19-44D9-AF87-CED8C853B0CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bfd149eeed2338be876cf0e04b246bd8f1292b8","datavalue":{"value":{"text":"Some applications of the formalization of the pumping lemma for context-free languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2333674$557BE5D6-F875-4CFA-A1F9-AB1648EEFFCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaef02705dd2585bf1c38fa87d293a2221807fa7","datavalue":{"value":"1433.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333674$3B80131F-CD19-498E-BA9B-59DAA2609EA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"000dc851003042520aea8c0aa1e8ccbff164e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":2333673,"id":"Q2333673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333674$11B5EC74-C185-4F10-94BA-94F14C478D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc687281410ad150f448b1775c32d6b9ec61b01b","datavalue":{"value":{"entity-type":"item","numeric-id":1960260,"id":"Q1960260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333674$A0F87453-62DB-4CC0-ADA3-42628D1E1A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5600a361c3bd384dab8b5caf52d841503a78cac","datavalue":{"value":{"entity-type":"item","numeric-id":498391,"id":"Q498391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333674$73F585AB-CBBE-4AD9-8B0B-FDCFB658754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333674$221C6913-4001-4937-BFB9-0F97D9DDB535","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cce5560f694216ba99b4e4d50a7d9bab949bc76c","datavalue":{"value":{"time":"+2019-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2333674$1EB918F7-CAE4-4CE2-9CC9-D5691184EBE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333674$C8AB6432-CA9D-4652-9FC3-572991DC0695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333674$D579B095-3004-4F38-9FAA-163235114F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333674$F56DC935-4652-4582-9198-9635A9B31F0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b365d5a63749647d97feb4a0974ebd440248007","datavalue":{"value":"7129343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333674$B386D47B-4F25-485B-B7A9-C0491BE902F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"674995dd5dfc8b3183dbf586058d421ed582f969","datavalue":{"value":"non-context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333674$63344856-2D3C-49C4-ABC7-D46864107586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2955d3dde9a15e46dba801e05da2cd70a0c42a19","datavalue":{"value":"closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333674$26140841-0BA0-4806-B8B0-5E5B7857B958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab57561e8c95fe21680ade7400a07692c4406a75","datavalue":{"value":"intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333674$B137DEA2-84C0-4875-AFD2-F50B2CDA1ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333674$82174668-FE93-4647-A255-8A1C5A6187DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333674$F14F3A05-09BF-486C-8A33-7654FEF515A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333674$575476D0-ABB0-47AE-96D9-69D5D9F316D7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"31dffdddb2d951bbd5090cfdd0d0b18a3ec882d5","datavalue":{"value":"Q113317454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333674$50F92BA4-D55D-4D4D-8048-B62EBB33B099","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333674$CBD4E88C-DC8E-4E1F-8A62-D25D5AE7A104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333674$D840402A-6935-4C90-97E4-C1E66DBDC737","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":"Q2333674$5337D2F0-4A64-4A3C-B09E-412E50FB2CB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10dca4d65957e53878cf937cdbea242a78500f62","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2019.07.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2333674$22B363EB-1D87-4D6F-9076-4EAA8DE91FFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"170676c159cde4841f69ed79de9c44884fe4f3f8","datavalue":{"value":"W2969647416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333674$C9D6B93A-6107-423F-AB98-7DB40185731D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a6823e76c11ef1f853772c882ad2f84a6d8b84","datavalue":{"value":{"entity-type":"item","numeric-id":3292904,"id":"Q3292904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333674$0877AD65-E56C-41EF-A32D-CB69BF51AB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333674$99F05FCA-368C-479C-B245-BFD5A7AF7C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c602407efdfb2c4cd214608dfeb77539d5ef4d04","datavalue":{"value":{"entity-type":"item","numeric-id":2820703,"id":"Q2820703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333674$77147359-F7F2-4F99-98E0-2CB1D24516A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c614d5595fae37585bdef356d7395b7c1666d27","datavalue":{"value":"10.1016/J.ENTCS.2019.07.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333674$7CBD7813-8194-4BF3-BC89-F6644A448ADB","rank":"normal"}],"P1643":[{"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":"7e9a271a7d6db4c172b5f6d2bfb46eff876e5a67","datavalue":{"value":{"amount":"+0.947802722454071","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":"Q2333674$F38165DC-38FA-4E32-9644-619B0408D6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91af2a4ed092b1374cfa3b06e47833008317d33","datavalue":{"value":{"entity-type":"item","numeric-id":2820703,"id":"Q2820703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd04c04f6fe6190291e2661fe80d1942e7a920d","datavalue":{"value":{"amount":"+0.8826094269752502","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":"Q2333674$9A46FAB4-2CD1-4985-84D9-F84E343F13C8","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":"6a9c3514adde5701f2af4e22b1129d0b4d49acde","datavalue":{"value":{"amount":"+0.7805693745613098","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":"Q2333674$016693CC-7D0F-4D90-9F36-721BABACF143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5cfc9baf4bf6693de7c50f02a5cc4c4483e419b","datavalue":{"value":{"entity-type":"item","numeric-id":386032,"id":"Q386032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aff271f2fb080c9c1da8548d2ada88d4fd6546c","datavalue":{"value":{"amount":"+0.7770036458969116","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":"Q2333674$8325E2EE-3802-4F9E-8BA4-350F5AA2D34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204b446784de15f9254db0c43b860fecd889beb9","datavalue":{"value":{"entity-type":"item","numeric-id":2921980,"id":"Q2921980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4122d2638a5befc3d8525f70ef789525d80e84aa","datavalue":{"value":{"amount":"+0.7628821134567261","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":"Q2333674$5C083D72-A235-4563-9808-E486094596FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2333674","badges":[]}}}}}