{"entities":{"Q1837536":{"pageid":1848278,"ns":120,"title":"Item:Q1837536","lastrevid":69092205,"modified":"2026-04-13T04:42:20Z","type":"item","id":"Q1837536","labels":{"en":{"language":"en","value":"A metatheorem for undecidable properties of formal languages and its application to LRR and LLR grammars and languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3800945"}},"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":"Q1837536$2DA2F0AC-9AB0-455E-98C2-FCCF13F65828","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4763e7d8ab719f0fd23f90931260e19207871aa2","datavalue":{"value":{"text":"A metatheorem for undecidable properties of formal languages and its application to LRR and LLR grammars and languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1837536$290AE65B-9855-462A-9D81-9D1DBD5ADD62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dce5fe1e2542e876d973df281eb53e3ef30ee406","datavalue":{"value":"0507.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837536$655E52E2-694B-438E-8F26-69376A5E879B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a07cbf89c46e2bc4bfd6831f3ebc3a1ba08c5ed0","datavalue":{"value":"10.1016/0304-3975(88)90008-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837536$8F02FE30-889F-4E8A-BFCB-492AFF502609","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":"Q1837536$7D5DA683-2D92-41A7-9627-3F714C4918D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1837536$5C61DCB1-610A-4405-9AE0-6EFD4A90B192","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837536$9B4A39C9-3FA0-40D6-867F-057976EF7273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837536$591599FB-4DE2-415D-8E1F-D49A57502F32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"556fce4836e1a8dafd25d1b9bad6558bcf07f5f0","datavalue":{"value":"3800945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837536$4F702198-4358-4026-B09E-67135F280D50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0986dac42cfe2975f492c867e1dfc1b484d1ecc3","datavalue":{"value":"LL-regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1837536$4A837F74-CD78-4249-849F-6526BCF4F854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b796e1adb05f6216701ca0044383505b19a20759","datavalue":{"value":"LR-regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1837536$D59519B4-C1D4-4BD0-9290-7AFA34224268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"246ff3fd887061c8c3ce902c0efbb2e1b8a668ea","datavalue":{"value":"Post's correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1837536$CE72F6D2-0F0E-4EFF-98CA-A6C5AF57719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f8a3dc27e20143abee4cd1df803ba91e8926f24","datavalue":{"value":"relative decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1837536$52C3E26C-EF77-48DD-A854-0C09CE824C3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf95eb14a4ebf171fed78b9375bc92a218886427","datavalue":{"value":{"entity-type":"item","numeric-id":802878,"id":"Q802878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$C1197588-7E94-40AB-A3BF-033A06AF22FF","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":"Q1837536$ACC151CF-042D-425B-A8A2-A9254E16DB37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c6e3ec64bda04fca064e83156cbd5c95e9a0054","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90008-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1837536$5F0660DF-405C-41A9-9F76-15A1A7FD25A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9468e667cfadea1fd998b1b33ad41ec16eee0538","datavalue":{"value":"W2073105126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1837536$2CB13C33-9974-4FE1-B9C1-23314E2E53A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e37d3cd89bf56058a2b19db5dd9a0a78bfe825f","datavalue":{"value":{"entity-type":"item","numeric-id":2561843,"id":"Q2561843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$4B16A5F5-88B8-4875-8318-91A630058BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e555b3de760d96d9088c6c23b0c861b4d03af57d","datavalue":{"value":{"entity-type":"item","numeric-id":1148695,"id":"Q1148695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$709A2AF3-82EB-44BE-91AA-0DF90F70FD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff20cbe58cba04c9bd812baaf2c28b648c83661","datavalue":{"value":{"entity-type":"item","numeric-id":2558004,"id":"Q2558004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$51704BC0-9E33-4C7D-A2B7-5D0375EE5930","rank":"normal"},{"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":"Q1837536$7D23F538-3C3C-4208-A837-88BB8BF70BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b510e9c2e4788a1a257024cb68c915630bf6900","datavalue":{"value":{"entity-type":"item","numeric-id":4050185,"id":"Q4050185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$2D4D62E6-26CD-4E76-9B95-1E5EFB7EE3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$6F374696-CC0E-4B8F-946F-677856906DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c831e208055e76dc9bdd2a9ed175d24b2b4822a3","datavalue":{"value":{"entity-type":"item","numeric-id":4134979,"id":"Q4134979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$852B8AF0-6249-4500-9ED0-49D3B669074E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50e313a975d511dc5323bd65c4f9d55d63463d6","datavalue":{"value":{"entity-type":"item","numeric-id":4140366,"id":"Q4140366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$EE5806C9-2370-4FEC-9745-238F0756DE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f218d1bd13058f8cd2dc5eb073403d40d2a5b27","datavalue":{"value":{"entity-type":"item","numeric-id":4170257,"id":"Q4170257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$B8183D0C-07C1-47F1-87EB-8003267D725C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2958c69fc0ffe7706f790c429d92fee458ed25","datavalue":{"value":{"entity-type":"item","numeric-id":5639365,"id":"Q5639365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$10F4D852-D2B1-40D7-86D0-8C6F30025AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$6F0B405C-9051-41AF-915B-53C94EE50107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907902a10c547f9010ff7ceb25e70e5424c71349","datavalue":{"value":{"entity-type":"item","numeric-id":1259430,"id":"Q1259430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$F72EC4FE-92BB-4E79-9639-C8CDAB051B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$8C11CF26-3027-46AB-9283-720620475FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9d693ee9f84d5128fc7c86fda922f6bfcc20f5","datavalue":{"value":{"entity-type":"item","numeric-id":5609393,"id":"Q5609393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$39EB3EA1-0262-4829-9C97-3EF9AD4415DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650458b5ab245021f33fab280c1d85be828d5c06","datavalue":{"value":{"entity-type":"item","numeric-id":4151162,"id":"Q4151162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1837536$6BF74A5C-B7D3-4B83-B455-9B6A20C01179","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A metatheorem for undecidable properties of formal languages and its application to LRR and LLR grammars and languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_metatheorem_for_undecidable_properties_of_formal_languages_and_its_application_to_LRR_and_LLR_grammars_and_languages"}}}}}