{"entities":{"Q5195278":{"pageid":7224850,"ns":120,"title":"Item:Q5195278","lastrevid":58480371,"modified":"2026-04-05T09:57:31Z","type":"item","id":"Q5195278","labels":{"en":{"language":"en","value":"Formalization of the pumping lemma for context-free languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106512"}},"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":"Q5195278$804B2663-6476-40BB-B31D-6845DF75D406","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6411ead592fc4d84a3a8fbb42c9eafb3d1fcc382","datavalue":{"value":"1451.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195278$4FBCE296-6174-4621-8061-74255DA003A1","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":"Q5195278$08D68E93-8FA9-4019-9D05-FDB790CFB272","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":"Q5195278$71CB4300-C254-4F73-80B7-E402A0F3E257","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":"Q5195278$AFE6AA50-EFE8-465C-9593-41D0412C7407","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":"Q5195278$33667D41-88F3-4236-A742-00CD1825C6CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195278$86912FD7-D351-49CB-9060-6EBEA8335F8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5435a5e95600947a8b1479b45800c2e89bd9ca39","datavalue":{"value":"https://arxiv.org/abs/1510.04748","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195278$2FE5E208-C65A-44A4-B9BD-89CCA403197E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195278$B1F714C8-3E85-462C-B83E-438559C0FD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195278$C7B86CCA-CAEF-4189-9822-AA83749E0912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94348341c295194add610c155f333aaaf6fa28ab","datavalue":{"value":"7106512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195278$562985BB-BC6F-4C58-A1F1-C5B253BE97A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195278$D0B3C161-4E9E-4346-B756-F780AE8B07CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195278$2DF44469-0EC6-47A5-98BB-1A7EAC87A6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195278$CBB26809-3FF6-43BB-9213-18C77ED7288C","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":"Q5195278$4196ADD7-0AFC-4154-97EC-966B500FACC6","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":"Q5195278$5226EE84-104C-4F61-A4E7-F520C3807A06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dd044acaf47cb3ec1e945d5c4d6874e4b4d854d","datavalue":{"value":"W2287653152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195278$F00B520B-6D60-41C2-9C56-1A222C9F13FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"012971a0d1c8ee83ac1896ea10172c85507db44d","datavalue":{"value":{"text":"Formalization of the pumping lemma for context-free languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5195278$E70971C3-1B61-462F-9FC9-0E8F20CBB310","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90e102b6a713859a6d67b4f5f501b725276cc7b6","datavalue":{"value":"10.6092/ISSN.1972-5787/5595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195278$7BFE6DC5-A792-44B9-ADE1-65294D395DE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b3c4d5ed75c3eac6e204b8dd838123f665867f9","datavalue":{"value":{"entity-type":"item","numeric-id":2333674,"id":"Q2333674"},"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":"Q5195278$42386B23-C187-4EC9-A0E8-8C568EF27666","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":"de8bc249e938dbd785b46eb804eed6b5d95ad34e","datavalue":{"value":{"amount":"+0.895186722278595","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":"Q5195278$7DD1F1B1-872C-4A93-9151-D1431D00ACB8","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":"2a623c790fabfca229674ec8d7f8ee1d765e73be","datavalue":{"value":{"amount":"+0.7736841440200806","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":"Q5195278$1E56ACF9-BD65-44ED-8B7E-1BDB57649FC8","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":"8dce04dd5484430427b2524ec8d253c87019fb35","datavalue":{"value":{"amount":"+0.7691776752471924","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":"Q5195278$8AC8930F-530B-4FFF-A286-391160DF2628","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":"d8d9af63dbea66554c7165e45a29049b60f7178a","datavalue":{"value":{"amount":"+0.7672237753868103","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":"Q5195278$4F85486F-E20C-48FB-A9EA-44D4C95C983A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5195278","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5195278"}}}}}