{"entities":{"Q2422040":{"pageid":2432783,"ns":120,"title":"Item:Q2422040","lastrevid":53449667,"modified":"2026-01-24T23:44:11Z","type":"item","id":"Q2422040","labels":{"en":{"language":"en","value":"Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7067601"}},"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":"Q2422040$4EAF86FD-B8B7-4DF7-B5C5-42EDC52822F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33b28eba71472d7ae025a9b1eaaa7f20673ff3fc","datavalue":{"value":{"text":"Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2422040$9056BB35-0F52-47CF-B0C3-D05A6627C544","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94b25bae12bbae776314d76546bb6465306e256f","datavalue":{"value":"1429.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422040$BB593ACD-B947-4D29-B362-FFE3B19C49C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$687AFDDD-6050-47CB-A82F-71E163C9B32F","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":"Q2422040$FAA562A7-1A3C-46A1-A41B-553DB0D26CDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"001edf23e586a650fb6b34425b0aaf644eda2260","datavalue":{"value":{"time":"+2019-06-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":"Q2422040$46134CC8-27D8-43B8-89FD-83E927531BD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422040$E997F5AE-27FF-4A30-9B21-3590EAD75A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422040$5F38E025-96BD-43A0-B144-9D92F077AE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422040$28C38EB8-C1CE-4EAA-BEE5-E98C4E03E85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422040$58041634-5C90-4E61-95CE-EADA9D01A92B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4995fc714628e630ed607dc3e6fa1af2f581550","datavalue":{"value":"7067601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422040$52C10F4F-69C3-4CEF-A72F-CD8CCCCF3D92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d773c9dbefcfee441e11b3927eb483de24f807a1","datavalue":{"value":"recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422040$DFEB5B84-CE26-4844-B954-585D788E7FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f56d350b5b90fc1fddf0b43b4d5ff923c1661bb","datavalue":{"value":"higher-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422040$A8FB4D9A-9FFC-4264-9DBE-40B076B5CDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639e049d8dc4b31098e76f4598092ae31df99af1","datavalue":{"value":"Dyck language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422040$908F70C4-0F4C-45CE-8F80-0E920C429061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33239cec92d8b53587fd8c3b366eae95c73ac1d6","datavalue":{"value":"Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422040$A16728C4-33A8-4B97-859B-DCC392F0C233","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c48993fbd85f379ae45effaa429a7f913736c21f","datavalue":{"value":{"entity-type":"item","numeric-id":33285,"id":"Q33285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$147FFA62-E901-49ED-BF37-1618BB48C1AB","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":"Q2422040$1B584034-ABE0-4C54-9E46-CF0D3CC6F521","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be5138dc0f31956007df4bbdbd9ee1bcb1c2315f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.09.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q2422040$6B06F701-F601-46C0-97E9-25B48B63E31A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"973a53d4593159dfd599e6be30d9173934428e70","datavalue":{"value":"W2909807115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422040$FA256190-81F8-43FD-A9F4-34AA03C39540","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b18d9c76aad0c8542339f6c4a03f92429945113","datavalue":{"value":{"entity-type":"item","numeric-id":4766003,"id":"Q4766003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$3676D7D9-59ED-441A-9CBF-537F8C3478A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$8DF3EF07-FFE9-41B2-99CC-F4F98F103C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa22b8020d2e02a46ee6f96a629706536ac1789","datavalue":{"value":{"entity-type":"item","numeric-id":4134908,"id":"Q4134908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$65002559-4EFD-4B74-A8AC-46CF773036A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e99382c0e6c77a1c7c6150b487bfcee2740f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4164787,"id":"Q4164787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$9B09FDFE-3258-48E1-A993-C81E4D6A7ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f8eb018b2b7b64b8d892df4c598e702b370d80","datavalue":{"value":{"entity-type":"item","numeric-id":4130952,"id":"Q4130952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$558F66D3-2825-4AA0-9F10-D18785B55413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$8B49D629-BAA2-40F1-8A86-74AFD6484BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$7C58BCD5-CB8F-4B8A-955B-7280894C4597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7036b55470ecafa335a5dc20bc350fe1a5716a3","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$43BE293E-DBE5-4A8D-B738-F7E97F769477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83107292cc9d1671f2c4ce6828754df1cc86128a","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$1DB23E68-3CB0-46A2-BE09-2B58DBFDD53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$B55F7816-5AEC-4964-A5F4-B666EEA032C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$CCD830C5-C435-4E4B-9F17-3FA8C6E12641","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":"Q2422040$9C51AC80-5B69-4E80-B759-32648C944110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d9dd414a6b3b2c58f60a1e339698f5282df1d1","datavalue":{"value":{"entity-type":"item","numeric-id":3912024,"id":"Q3912024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$B5E1E6E4-D144-47B1-944D-6ECA30959D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077045a244fbd288ae331ab1c8a1357b37cd7400","datavalue":{"value":{"entity-type":"item","numeric-id":5758052,"id":"Q5758052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$D829D64F-F961-49C5-8AC8-26ABD9980434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be33c1732e9f59c40425e92badb69c4cad84bca9","datavalue":{"value":{"entity-type":"item","numeric-id":3086239,"id":"Q3086239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$36FB6A38-8421-4059-9DD5-CABB883FD128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$9E305DC1-C165-4D2F-B809-9B629BBB06CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e1508ba530fb82a4f6c36c5f2460a0f554bc8c","datavalue":{"value":{"entity-type":"item","numeric-id":2817405,"id":"Q2817405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$8C7F2812-2D9F-4FB1-B93C-CAF603B95F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17faa27a9b307d380dc303eba16828b565819d","datavalue":{"value":{"entity-type":"item","numeric-id":2347807,"id":"Q2347807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$026FA7E2-FCE7-4796-B5E3-64E9F09663E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557e82a5ceda839c030311796800fd35c131648d","datavalue":{"value":{"entity-type":"item","numeric-id":5705907,"id":"Q5705907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$6C43C8C3-84D1-4DF3-B203-EF5B97DED405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410a8afb91cbafa0e501dc8bd73e9bf2b66e6c34","datavalue":{"value":{"entity-type":"item","numeric-id":4061986,"id":"Q4061986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$A5088FF2-B507-436B-A8DB-D5533046AFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c318bc3ec9ae478bd017c731626497bc62c3ee97","datavalue":{"value":{"entity-type":"item","numeric-id":4598252,"id":"Q4598252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422040$FD850E92-31F5-4053-9845-E8C61ECC4946","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e37e2f173e3d262770f52468e46559794bd5c15d","datavalue":{"value":"10.1016/J.TCS.2018.09.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422040$908048C4-6B7A-4EF9-ACEA-82B79B7E1516","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4c18bff17d7eeedb0248533999a16654738fe1","datavalue":{"value":{"entity-type":"item","numeric-id":4630269,"id":"Q4630269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d506023b575d399cc2ec970fa8e5e214f6ee7b30","datavalue":{"value":{"amount":"+0.7636288404464722","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":"Q2422040$BEC8F80D-9224-40C5-A8B6-6C2A84244850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c30aa140a1f9cf04253e106a1d5c61548c487b","datavalue":{"value":{"entity-type":"item","numeric-id":1978515,"id":"Q1978515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ddfb4bb9616e5c4924d9bd8686acf244dd03780","datavalue":{"value":{"amount":"+0.7409496903419495","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":"Q2422040$CC71F776-1836-4419-9A5E-89D8CFD7C61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4027fd434d9680de2acf923c852fe4102e92e2c1","datavalue":{"value":{"entity-type":"item","numeric-id":4635865,"id":"Q4635865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a72d53f2d639dcb63a731ab1767e79eb2ba7b31","datavalue":{"value":{"amount":"+0.7287517786026001","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":"Q2422040$9B570309-5D04-49CC-A91E-1F630C676EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc3dafb0fa4f794283410a3e6b81a414eb455e0","datavalue":{"value":{"entity-type":"item","numeric-id":1892205,"id":"Q1892205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5457e9e664fd403d8c57a9858ef599a332956466","datavalue":{"value":{"amount":"+0.7244018316268921","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":"Q2422040$E82F53E6-E7FD-4487-B498-171C09830DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51201624ff77b6f101ee883ba26ade47eedbfbb9","datavalue":{"value":{"entity-type":"item","numeric-id":3637217,"id":"Q3637217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8521a928f0183263c7a30489b84285c76dc16e07","datavalue":{"value":{"amount":"+0.7181022763252258","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":"Q2422040$FCD1372C-CB41-4398-AC18-78B79A9352DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2422040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2422040"}}}}}