{"entities":{"Q1058305":{"pageid":1060153,"ns":120,"title":"Item:Q1058305","lastrevid":67016547,"modified":"2026-04-12T14:21:21Z","type":"item","id":"Q1058305","labels":{"en":{"language":"en","value":"Decidable properties of monadic recursive schemas with a depth parameter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3900180"}},"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":"Q1058305$2DB117D6-71B0-4A10-805F-322D4B53FC68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7905b4e499e291e1d34f14fd47cc370bdfa364e6","datavalue":{"value":{"text":"Decidable properties of monadic recursive schemas with a depth parameter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058305$BAEED2F5-3B68-4286-B7D5-AE06393B2C3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f9ded2c3497db4443d83c40cd74f882cb79d59f","datavalue":{"value":"0564.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058305$42AB6B0D-81BA-4B9C-8D70-B54FFF89A7EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c45ea5260ebdaf52ad9a01a66728ebb04befc557","datavalue":{"value":"10.1007/BF00265683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058305$1A56208F-4E4B-44F0-9984-E76E285B0E96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeefc99ea362fbcd367cbcbefd2dfc35f3b90ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1058304,"id":"Q1058304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058305$1C78CEA6-7E21-4F36-B6E9-2D5BC994FA50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058305$00E1A053-44FC-49E7-AA7F-DEF45AEF42EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1058305$FDA8CEEA-E411-4579-B7E3-EA02C01071EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"357a02550eea71bed0bbe1e491966979501ddd66","datavalue":{"value":"Monadic table counter schemas (MTCS) are defined as extensions of recursive monadic schemas by incorporating a depth-of-recursion counter. The family of languages generated by free MTCS under Herbrand interpretation is shown to be the family of ETOL languages. It is proven that the halting and divergence problems are decidable for free MTCS and that the freedom problem is decidable. Most of these results are obtained using results on regular control sequences from L system theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058305$CF302AEF-808D-4D37-9873-90343AAD0CCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058305$8F9B8910-6849-4D3F-BE46-3E9C96987EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058305$3CEFDF81-1116-4810-B473-5FB64598CA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058305$30035894-90C3-4E7B-88AB-EAA69E34C6DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cebf0529593aaf9e8c941ec3638af607f3301a24","datavalue":{"value":"3900180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058305$C78C241F-0106-4205-982D-2B411C06D781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78726f3be8de287d11d10f14f802ec30fc31cec","datavalue":{"value":"program schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058305$AD1DD684-B9F5-4187-89ED-489B1CD9C828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da8003d4cb96ddf555eee993d98fddfc174f692","datavalue":{"value":"Monadic table counter schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058305$459A89D5-ADDC-4657-88CC-CEBFD0D964C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bce8aecb75ac1e373f7ff57de5bbd21204670bc2","datavalue":{"value":"depth-of-recursion counter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058305$673B1C96-8115-4782-BEAF-C928F8756277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c5c4b0f99f367c058af10fda06b4c2c0a3a539","datavalue":{"value":"ETOL languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058305$3E627DBF-F7F7-46EF-A5C6-B4DB006B00EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c9ac911344dc1fbcf129975dc79d621cedddaec","datavalue":{"value":"regular control sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058305$BB9E0244-D942-4F68-B02C-7E06080BB7F7","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":"Q1058305$73E78064-475A-4C55-BD2D-1EAB88CE2247","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f316776494789fa5d5acf81c651dc517eb45645","datavalue":{"value":"https://doi.org/10.1007/bf00265683","type":"string"},"datatype":"url"},"type":"statement","id":"Q1058305$3C0192D0-FFA4-4DB8-8568-98F95677E8F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bdea4bf8449b06cba380cdf44f3a9ef460be568","datavalue":{"value":"W3023246065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058305$2F907C22-9D45-4235-B3C3-E09A005DF1C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee66d71a0027eb77fd59f107b4851ef713b49ea0","datavalue":{"value":{"entity-type":"item","numeric-id":796301,"id":"Q796301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8acc7435cd2852d389f86f7c8b0103a0921f2c","datavalue":{"value":{"amount":"+0.7487946152687073","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":"Q1058305$59DC0EE2-BF33-4DAF-833A-E06753D4E3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9b55e376ab0e6e1feb6579fa95b8cc8f2dabba","datavalue":{"value":{"entity-type":"item","numeric-id":5704028,"id":"Q5704028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b809521e0c99121256b2800e0eeec8be8f4be75","datavalue":{"value":{"amount":"+0.7206631302833557","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":"Q1058305$13FB25BF-6A42-4438-B8C0-C71E2AAA8CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ce4e8da4113540ca53f3d85bcb8424000dde90","datavalue":{"value":{"entity-type":"item","numeric-id":2753669,"id":"Q2753669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5560fe7618d798a94897c16d7053ba0907334b9","datavalue":{"value":{"amount":"+0.720134973526001","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":"Q1058305$D2679DD1-5F63-4F86-A6B3-B7E0EA887E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434e592f917599f765ac1398b1f6bfccb5f9d1ca","datavalue":{"value":{"entity-type":"item","numeric-id":3824397,"id":"Q3824397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5560fe7618d798a94897c16d7053ba0907334b9","datavalue":{"value":{"amount":"+0.720134973526001","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":"Q1058305$69D6292D-A3D8-48E0-BB06-BA1746583096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506b033e8ee820ddb31ae4b6a928f3a9843320e7","datavalue":{"value":{"entity-type":"item","numeric-id":4508638,"id":"Q4508638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9519e7d63360d126f9a48df947dbaa02b28c731c","datavalue":{"value":{"amount":"+0.7149670720100403","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":"Q1058305$EE01357D-024C-454F-A25B-D816CA6A01D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable properties of monadic recursive schemas with a depth parameter","badges":[]}}}}}