{"entities":{"Q1566715":{"pageid":1577455,"ns":120,"title":"Item:Q1566715","lastrevid":70727121,"modified":"2026-04-13T16:21:52Z","type":"item","id":"Q1566715","labels":{"en":{"language":"en","value":"A shrinking lemma for random forbidding context languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1454559"}},"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":"Q1566715$3FA023F7-73B5-4DFA-8B0E-7025BA36CB83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc7678ecb1dcd4dfe702f3243f417757d09e0270","datavalue":{"value":{"text":"A shrinking lemma for random forbidding context languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1566715$8797E8EA-E388-44E2-8430-BF2038C80971","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f44cd0dd4763a9d00f7e313e3d20ee19b83f9a6f","datavalue":{"value":"0939.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566715$B026FFFA-9878-4891-B66A-545DB260C73F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edf9ffbf8aa86a2125858ddc43c4955a2f3b2fd7","datavalue":{"value":"10.1016/S0304-3975(98)00160-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566715$AE067CD0-F47A-478B-A0DA-63BFB6708B56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1566715$2D014EDF-2A95-4288-AF4C-C94ACADE942D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1566715$D7779E49-9B52-4007-9AF5-14AFEF6D912E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566715$1C892F1D-853F-4010-B987-631CDAB13205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566715$E2B25F76-09CB-465A-BBDE-F0CAEC6998E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49107245ef068aa998895648ef1130a0e483668b","datavalue":{"value":"1454559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566715$F309E3B3-25B6-4335-BB72-1C32736CF026","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1566715$4EA50F73-DD4A-4C9B-8BC9-71359805661F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22b4f8092877320562779d953f72c0bc9437afc","datavalue":{"value":"regulated rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1566715$F54CA5DD-2AB9-4E42-8FAD-61A7CE0B6C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f7278dd6f850eafa03bde77c198c2d3688d4c61","datavalue":{"value":"random context languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1566715$33DB9A75-46B9-469E-91AB-E7DBEE64E78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61a1c51ef850a0ce79f7caac7873a14ac47070b5","datavalue":{"value":"random forbidding context","type":"string"},"datatype":"string"},"type":"statement","id":"Q1566715$BB29A005-9423-4F8A-A88C-801DD5928C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec32fd7fbdc1fc295c95cd003643fa33a44ccf8b","datavalue":{"value":"shrinking lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1566715$4B52EB3F-532E-480D-80BF-927ACFCFB6CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad1e2dd058621302278c3a41b5cdced164091470","datavalue":{"value":{"entity-type":"item","numeric-id":1188156,"id":"Q1188156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1566715$1F9177B7-54C5-4B76-B1F4-A4CB342234FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07a82a508c333d9cb696a403b4d9a2d16af8f61a","datavalue":{"value":{"entity-type":"item","numeric-id":235741,"id":"Q235741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1566715$35F03349-7C8F-423E-B5BD-8FBD45FE0129","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":"Q1566715$164B052D-F9A1-4F7A-8161-4043E01AD33B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"feeadc4fb28db7da57fa7349f74aee6216b8199c","datavalue":{"value":"Q124833973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1566715$5B052CA8-ABF3-4605-AC3F-BB4B09D4DB54","rank":"normal"}],"P223":[{"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":"Q1566715$7705E3F0-C763-4CCF-AD8C-00839B2D55CF","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":"Q1566715$6401BC64-B09E-47DA-B4F1-720770EEEF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1566715$583A9E71-B33F-4D1D-9CFC-EAF2D46626ED","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":"Q1566715$958DFB34-A496-43A6-95E5-3AC86B0CAD71","rank":"normal"}],"P1643":[{"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":"a99f37dd4d870cd39e273b5611c010b11b0df461","datavalue":{"value":{"amount":"+0.8776312470436096","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":"Q1566715$0C8032DB-0FFB-4944-AA6F-49DCC2241649","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":"e6a3e6bdc8691ae58555b3519810c70d9bca82f8","datavalue":{"value":{"amount":"+0.868829071521759","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":"Q1566715$BB4DD4E6-65AB-45DA-9D57-3B4645F46E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b85d0ab49b03e790687726f6f8717aebeda45501","datavalue":{"value":{"entity-type":"item","numeric-id":5507060,"id":"Q5507060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62aa3bd0bacc1f42fef54a3f5a99074941be57fe","datavalue":{"value":{"amount":"+0.8404513001441956","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":"Q1566715$4C6AE799-8C07-4492-9CCB-6425780D9EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a41b8dab2fd62e69550031975070802d76bdd0b","datavalue":{"value":{"entity-type":"item","numeric-id":766166,"id":"Q766166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14ea5c0ea8d72d86060ec798d65418ed32d35ef","datavalue":{"value":{"amount":"+0.7975618839263916","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":"Q1566715$CE321945-E782-4F41-9DA4-01B7CB7AC1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7ef308aa94d8b9b2e99152681874d146257818","datavalue":{"value":{"entity-type":"item","numeric-id":4304532,"id":"Q4304532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f489f9b19c9a4ad849f71b99bbab49a08c33fe04","datavalue":{"value":{"amount":"+0.78816157579422","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":"Q1566715$34BCB978-7FCD-4593-92E5-3E94F8EBDD8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A shrinking lemma for random forbidding context languages","badges":[]}}}}}