{"entities":{"Q5384432":{"pageid":7414006,"ns":120,"title":"Item:Q5384432","lastrevid":96224471,"modified":"2026-06-05T10:43:24Z","type":"item","id":"Q5384432","labels":{"en":{"language":"en","value":"A pumping lemma for permitting semi-conditional languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7072171"}},"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":"Q5384432$99DFF318-2857-480F-BED6-75BE1850D93B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7706d20bf5f660afebc45c20aee30b6da1e0d105","datavalue":{"value":{"text":"A Pumping Lemma for Permitting Semi-Conditional Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5384432$5F23D9FF-419B-423F-AFE2-5730F70E2BC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd5a09090f5c2c67aa644765aec2de39099913a8","datavalue":{"value":"1415.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384432$10F1D082-626D-499B-85C7-376F546D8579","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bb47bcdd0907e0995e82479e64f88446e236926","datavalue":{"value":"10.1142/S0129054119400045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384432$6742E882-CC25-429F-AAD8-D841F8C6D87A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d2f5116085a3cb41dcaa973a580020c4febca4","datavalue":{"value":{"entity-type":"item","numeric-id":989548,"id":"Q989548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$4E987AEC-59BD-458C-BA8F-B91B55E297D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd5fb7d99f2e654c782cf42d1938b988bcf4d053","datavalue":{"value":{"entity-type":"item","numeric-id":1348396,"id":"Q1348396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$62EC396A-7042-4459-AB07-19117FEE9435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a28007afb406a64cc0b4ef3a3bf49da90b49296a","datavalue":{"value":{"entity-type":"item","numeric-id":387870,"id":"Q387870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$16C545A2-D4D8-4702-AC1E-35419332C661","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$62773A9C-1E1D-46C9-9DD3-50795036062A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b038ab3d812bc338c16538e2f01ef9ff79db1970","datavalue":{"value":{"time":"+2019-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5384432$9E970F58-79BE-4631-AF41-A224907BAD6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384432$E7EC2332-7BF7-454B-B3AE-2F4C10629699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384432$73C00369-1172-4D96-9117-C1A9865B7440","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd02a5dfb59095de3a1a1e5d02f73dc018add02e","datavalue":{"value":"7072171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384432$93EAF394-074E-4BDD-8A5C-A4F1B3467A5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"688962a831746d08f91b10dcd025d2a01c6119b0","datavalue":{"value":"semi-conditional grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384432$60239B1B-45ED-4F5E-9247-AD9579823642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e147dd44c9f1d6cedc85cff6edda7d42be07042","datavalue":{"value":"permitting context","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384432$0679126D-D6C7-4758-A57D-40EDFDBA48B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"432de0f277a217e83068e6d1772a2929a660c188","datavalue":{"value":"generative power","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384432$327B5EC5-D22F-4BDA-9F7A-D1CA9370F3BF","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":"Q5384432$116EA8FD-4753-4CE4-8931-83A9B48E2FB7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3404ad1dadd0631e8a0a296f62bba539ae09b3a8","datavalue":{"value":"Q125053949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384432$90EC00D5-041D-48C4-AB68-FA12AA8588EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4f686a16d928e47c1b79d1bbc5d7b0d4d5689a","datavalue":{"value":{"entity-type":"item","numeric-id":5485990,"id":"Q5485990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$5CF58807-18FD-4104-9EF4-D79C9D8F394C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"053b056531f177683f95f11a561b72679fb92290","datavalue":{"value":{"entity-type":"item","numeric-id":414885,"id":"Q414885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$6EEC844F-3290-4581-BEA6-E63F2558AEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f4bef7d78ccba3680de2d8de5a780f92459b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4040325,"id":"Q4040325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$4DB826EA-3F71-494A-A217-C511D91EEBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b41b920249342f3421898164c3639f2f1bb0998","datavalue":{"value":{"entity-type":"item","numeric-id":1566715,"id":"Q1566715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$BE88B2E2-5A64-4BB2-A2ED-464EFCFBEFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a877cff40fe54ba3f1419369538bdb1fa05ff8b8","datavalue":{"value":{"entity-type":"item","numeric-id":5958343,"id":"Q5958343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$2590C23F-33E3-42AB-869E-985D3BCD64EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b3579a9dd8e5d54cc5327f30173cca14754501","datavalue":{"value":{"entity-type":"item","numeric-id":5560286,"id":"Q5560286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$5F23D69F-C43C-4773-A999-0AADEAD01CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54fb51bda8c0ab41fbb695515709dda14843ef1","datavalue":{"value":{"entity-type":"item","numeric-id":5507060,"id":"Q5507060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$9CA86516-1596-4B5B-A76B-0653A5F6716C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec2bcd9ca1a7604ad6ec29f322d89b396ebad6f","datavalue":{"value":{"entity-type":"item","numeric-id":2408801,"id":"Q2408801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$D7C76F02-BE7B-48DD-BA69-2F2F390E9BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$AD9C5297-5D71-4A45-A8C9-4C1AF8027F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56a55d56820572fc5c82ca5136ab453a27b93de","datavalue":{"value":{"entity-type":"item","numeric-id":3690243,"id":"Q3690243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$E6921BAC-EA1E-4B18-B075-906D5E340E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$2B704A12-FC7F-4160-A1FC-328E993DD667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25b90a5b63d54881c9be8f19cc897b6c7c814e3","datavalue":{"value":{"entity-type":"item","numeric-id":1959430,"id":"Q1959430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$7276189D-A26F-41A6-B1C4-72B2E1A7B261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f7d840ef62e157323a12af8ba483e9de76db39","datavalue":{"value":{"entity-type":"item","numeric-id":3867201,"id":"Q3867201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$D406350E-5DEC-402C-8C14-78C210596615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aabbaa380d322784947d158eb60fa8672c2599bc","datavalue":{"value":{"entity-type":"item","numeric-id":1072714,"id":"Q1072714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$43C6D55F-DE46-4F88-BFE7-42543BFE9059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$7FC184F4-D697-4349-B8CC-7A7E6811E30D","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":"Q5384432$11DA9161-7167-46AD-841D-7678A6CF6F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c94ed1c3e82e0cb7bcfc2a3738c6c292ad15ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1939280,"id":"Q1939280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$C4A31077-4DE6-4871-957F-D66E04DE3966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691a057c751294521d3b1df4a494d0e564e490f5","datavalue":{"value":{"entity-type":"item","numeric-id":3587437,"id":"Q3587437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384432$D28D0073-16AE-4349-B36F-C5F18FF0A985","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5a7a84066c6eab043c9edeb8b26147fab8f161c","datavalue":{"value":"https://doi.org/10.1142/s0129054119400045","type":"string"},"datatype":"url"},"type":"statement","id":"Q5384432$32341130-91BD-45AE-8307-01B1E985D21A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a57c24e9698a0142e0e2c06463e68ebeafe604af","datavalue":{"value":"W2919882210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384432$5CA4B62E-8EE2-4373-85A4-307ADCE1BF58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2d28dcb2829a7cb6607bed421bce27d53b2f8f","datavalue":{"value":{"entity-type":"item","numeric-id":2408801,"id":"Q2408801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53969a78694de38574aef92063b322bf38d86721","datavalue":{"value":{"amount":"+0.8916215300559998","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":"Q5384432$81ABF69C-CAA9-4D4D-A4B3-98D6B84D7EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3176ab27783cab69b97a21673c74149c19468c56","datavalue":{"value":{"entity-type":"item","numeric-id":5958343,"id":"Q5958343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffbcfb9229891be36335ecf9f881d76b9a44d3e1","datavalue":{"value":{"amount":"+0.8294059038162231","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":"Q5384432$CE2F0E08-8BD7-4FB4-A790-16DD3987EB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5a3105985d6d819e1f07943530d53630ce4e93","datavalue":{"value":{"entity-type":"item","numeric-id":1072714,"id":"Q1072714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e2a20da854e30304dbef07bf2e6681179c6273","datavalue":{"value":{"amount":"+0.8124741315841675","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":"Q5384432$F83CC471-BF68-477C-94A6-FA7845EC4D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28facaae993b18505b4311d9a57af73bd6a54a04","datavalue":{"value":{"entity-type":"item","numeric-id":1939280,"id":"Q1939280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b9036a56132a41439061c6b1a2abea672abc89","datavalue":{"value":{"amount":"+0.791857123374939","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":"Q5384432$10077193-C60A-4878-8395-C7F2025B626E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de23527698735f9aa4b8b48c588ab948f86bf96","datavalue":{"value":{"entity-type":"item","numeric-id":3618613,"id":"Q3618613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89a422597a8ad99d875f0be4919f7ac6acdb5ba","datavalue":{"value":{"amount":"+0.7847936749458313","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":"Q5384432$DCA26915-7583-48F9-91A0-86030018720A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A pumping lemma for permitting semi-conditional languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_pumping_lemma_for_permitting_semi-conditional_languages"}}}}}