{"entities":{"Q2105458":{"pageid":2116201,"ns":120,"title":"Item:Q2105458","lastrevid":55424059,"modified":"2026-02-17T16:07:47Z","type":"item","id":"Q2105458","labels":{"en":{"language":"en","value":"A pumping lemma for regular closure of prefix-free languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7629157"}},"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":"Q2105458$E6334B5E-BD47-458C-846F-12FA61E1C063","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5871339ee4609130d65116addd3a8307fc52845a","datavalue":{"value":{"text":"A pumping lemma for regular closure of prefix-free languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2105458$3929E16E-70B8-40AD-B5A9-BD07463C9E23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4521bd04ef6b91211f24265c755b46812b5cadb","datavalue":{"value":{"entity-type":"item","numeric-id":2105457,"id":"Q2105457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$7D63EBF8-5BB6-45AB-8CF3-44156DDE375A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$AEDD773E-C8E6-4933-A14B-E7895F74EE5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2105458$1BB5E7D7-1513-47F1-8E72-A1CE108AAD26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105458$A6D40FDB-780C-4B34-9F11-9A9B917EF7AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fba3f9f40865488b18bdf67132c6055ff166fd1a","datavalue":{"value":"7629157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105458$8F76AC5B-65F4-4B3A-9F62-A270505BD6C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105458$5967FC2C-FD65-458C-9CDB-7839252C3344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648557a336652974f6fedbdee51aec5c9ec1b836","datavalue":{"value":"prefix-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105458$4F06DD10-2779-47B8-9463-716DF48D877B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be482fe6cb276a437ef8e80db0734f84bfca34a","datavalue":{"value":"deterministic context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105458$33583FDB-4083-4034-A4AD-A2D6C58FF3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105458$380E6E28-D94A-4D24-A00C-E082F733F3F9","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":"Q2105458$94A12D69-B87C-4405-A2DC-2C639652BB1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"862303e7ae1decab201422aa68bf665cbce7d7c3","datavalue":{"value":"https://doi.org/10.1016/j.ic.2022.104976","type":"string"},"datatype":"url"},"type":"statement","id":"Q2105458$60F74938-7A57-47BA-99FE-417F9FCF7DE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2b2b352e18a8a8edc700ae65b35133308af13c6","datavalue":{"value":"W4307046643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105458$7244E5A9-16B9-4893-8EA8-3CBEA80DB361","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e1dd9cd9263a97558660746e6ff24a37375b5618","datavalue":{"value":"Q124849286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105458$7BF395A6-6F65-4885-A2A6-BFDFF5A113DA","rank":"normal"}],"P223":[{"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":"Q2105458$DA8BBAE7-6B8D-4B4C-801D-6DA6482C2CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3052567d4cea1fa81ef5eb29e4af775c6e1efb11","datavalue":{"value":{"entity-type":"item","numeric-id":1120293,"id":"Q1120293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$319E9979-C9EF-4D03-A816-75017ED9F500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456a9d87a834cf7a018d55046410a7182e4ac8fa","datavalue":{"value":{"entity-type":"item","numeric-id":4834389,"id":"Q4834389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$F368D38A-0A9A-4497-86E2-87C300A97069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601473da274a82415a9a717c7ec54cb1b55722e9","datavalue":{"value":{"entity-type":"item","numeric-id":4429692,"id":"Q4429692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$FEC856E6-337C-4769-850C-7C139A10BD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5171f8affaf31877c78f4b5317edd054213d962","datavalue":{"value":{"entity-type":"item","numeric-id":1623005,"id":"Q1623005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$B3CBB31C-EB3E-49EC-9C3B-CE28F0EFF625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f2c010e36f4e71cf8d025dcee6136c76c66b99","datavalue":{"value":{"entity-type":"item","numeric-id":4268872,"id":"Q4268872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$1367FE3D-6E9A-4A5E-A5EC-44CF8F1CF6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94aaf0d537a753dbb11d24b1b0dce2fdd02df3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5261608,"id":"Q5261608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$A2476841-4ABB-4A4F-8A2C-7667BC53AF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389ac80d74b55c776cf305eee2c630231a94b9c3","datavalue":{"value":{"entity-type":"item","numeric-id":2400988,"id":"Q2400988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$C48ACF86-15A2-49B6-A21C-05B2E069C7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857426ea90105ad133b4d2196d5f2018dd2225f4","datavalue":{"value":{"entity-type":"item","numeric-id":5309509,"id":"Q5309509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$ADAE41A7-81DE-4CD6-8E89-2419F3E182E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77891fc0ec44b0343fb0ea731c0720b7f66f49fd","datavalue":{"value":{"entity-type":"item","numeric-id":3192267,"id":"Q3192267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$06233A7E-2B68-40D4-8A46-032F35D1CE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d4e7fd7b570bfc8da4380588cc87c696db9745","datavalue":{"value":{"entity-type":"item","numeric-id":880177,"id":"Q880177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105458$C5B90E4A-B53D-4262-85B7-89AD03007BB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3988d32366a3e0f1e0ac38ea6db6c750eff7562a","datavalue":{"value":"10.1016/J.IC.2022.104976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105458$DBF59DBF-6887-4D15-8755-428902CE8442","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":"18df8be7b905431618ec7487e63757df8c7968a6","datavalue":{"value":{"amount":"+0.800701916217804","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":"Q2105458$EDBC2994-E1B0-45F3-8DFB-33E408ECDD2E","rank":"normal"},{"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":"711208971a950d0ce868ecd22010d9b43f7a2186","datavalue":{"value":{"amount":"+0.784792959690094","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":"Q2105458$75DFE902-F061-4304-907A-61A38F7DD118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515889711d762800b2c4cf8a057ffd87872a2937","datavalue":{"value":{"entity-type":"item","numeric-id":2170280,"id":"Q2170280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3400cf21bb6f6d17b8111eca2f6c868defc8956e","datavalue":{"value":{"amount":"+0.7730812430381775","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":"Q2105458$595BA84B-3693-4AC8-BCA8-48018859AFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a8264797c9f5b9f6ed58e8ca55830fc05afd15","datavalue":{"value":{"entity-type":"item","numeric-id":4268872,"id":"Q4268872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9866189bf6aad32e5060210ffbd20cee16464e0f","datavalue":{"value":{"amount":"+0.7578534483909607","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":"Q2105458$84CF23BB-8762-40BE-8EC0-C053BA3A1D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a9d5cf83f4c660b53ecf16e115993734367782","datavalue":{"value":{"entity-type":"item","numeric-id":3192267,"id":"Q3192267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0338d037161cf66ebb4273be61f035203a6881f8","datavalue":{"value":{"amount":"+0.7480188608169556","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":"Q2105458$03C20031-B83C-43FC-BEAA-798CD0DC3259","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2105458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2105458"}}}}}