{"entities":{"Q1084874":{"pageid":1095626,"ns":120,"title":"Item:Q1084874","lastrevid":49002940,"modified":"2026-01-06T11:20:24Z","type":"item","id":"Q1084874","labels":{"en":{"language":"en","value":"On total regulators generated by derivation relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3980519"}},"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":"Q1084874$4237979B-60BF-4DE9-AD8A-2BA6E2EFC82A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a32e1b1a6ab6c1d7ce38c91ee8b2de82edf56e66","datavalue":{"value":{"text":"On total regulators generated by derivation relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084874$AABE70B3-C7A3-4AB6-A454-72B3A1003E57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbb51edf2519911e71f0ec483e0c606f735d8268","datavalue":{"value":"0606.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084874$F4D00F52-BA27-4316-804E-69BA806C345C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9aa451718df87a3a14e37a90c4aedfbf563ed8f7","datavalue":{"value":"10.1016/0304-3975(85)90162-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084874$CB10D6C5-8302-4CF0-9642-84508966D257","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a701345616fc92cd590115d21c0168f89580e75","datavalue":{"value":{"entity-type":"item","numeric-id":787677,"id":"Q787677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$C6380150-36EE-46E0-B54A-5CA5072EB17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd2d3ae090b22c3a641be4fedb72aeccd09f0d74","datavalue":{"value":{"entity-type":"item","numeric-id":676241,"id":"Q676241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$1E6E8153-E202-4F44-AB54-A5C047263753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67134b63b86a737cbf981df8b43b8283dfbeaa9","datavalue":{"value":{"entity-type":"item","numeric-id":294724,"id":"Q294724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$B47E449A-381C-4D7E-8CA9-108A80FC1480","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":"Q1084874$A26A5CB0-197D-489F-AFC4-5B4A90099602","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":"Q1084874$4354708C-D84A-4BA1-89CC-994155E22B46","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e0c839fcf270cc3fd07144a0f0f9c9deb99cc62","datavalue":{"value":"A derivation relation is a total regulator on \\(\\Sigma^*\\) if, for every language \\(L\\subseteq \\Sigma^*\\), the set of all words derivable from L is a regular language. We show that for a wide class of derivation relations \\(\\Rightarrow^*_ P\\), \\(\\Rightarrow^*_ P\\) is a total regulator on \\(\\Sigma^*\\) if and only if it is a well-quasi-order (wqo) on \\(\\Sigma^*\\). Using wqo theory, we give a characterization of all non- erasing pure context-free (0S) derivation relations which are total regulators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084874$762A3228-4E36-426F-9050-87D33D19CAFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084874$04B5EC13-D0A8-4F26-A6A5-053F48C76D0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"847d2084334333d9a9b924541ba3396ed9237be9","datavalue":{"value":"3980519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084874$52F03C4C-5C92-4D1F-9FCC-7ACD133D028E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084874$2D05DA88-4184-4BF7-915D-3E0921019B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8718a10fc5200235f7a5ff6090340c216c0cbe3","datavalue":{"value":"unavoidable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084874$94771692-77DD-41B3-ADA4-621F392AE65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084874$8FE56355-BE97-4892-B65B-6D5E258B0D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec218461c2b1a698e32ac482ca892d3238b2cf5","datavalue":{"value":"well-quasi- order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084874$5D7ADC06-ABC0-43CA-B072-7070C77F4A1F","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":"Q1084874$1C427882-E482-4FF3-9E9B-2CC5AA381EE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5eb97e9a801fed2b243022a1955f4b363caa1523","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90162-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1084874$24DB866C-CB7A-4DCE-A3FA-078995CB8F7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbd5cd8dc29bf296f10efb5f9522f5b3031fd152","datavalue":{"value":"W1992511274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084874$37813BDF-F9B8-4245-86E8-446B54BBF525","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65b22160b54fc37d215a7690dbf6edf0b91db0b","datavalue":{"value":{"entity-type":"item","numeric-id":3873564,"id":"Q3873564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$CA17D8E7-5F1A-4CF2-8BDC-B79CD5260409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7774ee97ac9f573ae32a75fe976aa7f3b312353","datavalue":{"value":{"entity-type":"item","numeric-id":1094146,"id":"Q1094146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$9428D1C6-C59D-4425-93BC-F708DD06D600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$54127B4D-CB36-408D-8698-AE293EED5EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$58B5477D-E878-4E99-831B-60D596E64311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5426167c36bf53d870bf29cf50b30925d1c9562","datavalue":{"value":{"entity-type":"item","numeric-id":759489,"id":"Q759489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$FD2F9EA4-3EFB-43C8-8244-0A29EB8256BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa79f2175653019aafb2981503acbe3283416f3","datavalue":{"value":{"entity-type":"item","numeric-id":5629862,"id":"Q5629862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$78203DFA-382D-4DD7-B54F-2E0E29000A28","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":"Q1084874$060EFE06-8ACD-4847-8DBA-271024416A1D","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":"Q1084874$2A46CCF5-5626-42FF-88EB-21E8BD009B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$4A64DAF7-2DF3-4C0C-8E18-6EAEF409C17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0c4cc2cea479ba434db849cd397e58e31b51f4","datavalue":{"value":{"entity-type":"item","numeric-id":800097,"id":"Q800097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$57A5E0A7-22CF-4D31-9025-911A67B156BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d393b2d7247125dca97cb2da89b6badef6652a","datavalue":{"value":{"entity-type":"item","numeric-id":1249047,"id":"Q1249047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$7DE2A863-0A38-4C15-BA1E-A595E0D0B48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d8f6bcc2e50d3a2dcdf05730f1c128a959f919","datavalue":{"value":{"entity-type":"item","numeric-id":761044,"id":"Q761044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$57C08495-974D-4BB6-97AB-B09B13CB95E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559ca944a6a777d3df32d71166b0f6392c797e38","datavalue":{"value":{"entity-type":"item","numeric-id":801900,"id":"Q801900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084874$0DE629A3-2A47-4029-AB87-4942470C2348","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa926333249c0df0f049f572a9e603b8001d425","datavalue":{"value":{"entity-type":"item","numeric-id":3687737,"id":"Q3687737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccc22ab1b7ae8d76caaa341d92a8a2c8c30532e","datavalue":{"value":{"amount":"+0.9982786774635316","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":"Q1084874$EE3C937A-B713-4F3B-9B1A-D007AAA67DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a41fb430ec980880e8c1933bbd7a4bdcb06dd3a","datavalue":{"value":{"entity-type":"item","numeric-id":759489,"id":"Q759489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c4877ada18e38709cf9ee14ec0c85f41159e08","datavalue":{"value":{"amount":"+0.7242348790168762","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":"Q1084874$FB1D06DE-69C0-42D3-9F4F-2D2101E05899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1610461a7919844e24d365b71ec46ccf10665974","datavalue":{"value":{"entity-type":"item","numeric-id":3421904,"id":"Q3421904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c552a886c1fa095e779a76714f810b636da1946","datavalue":{"value":{"amount":"+0.714417040348053","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":"Q1084874$45A40632-1754-412B-9698-D2C730083623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e654b59c8c30ed6b6f1a5619fb3be20d985e3147","datavalue":{"value":{"entity-type":"item","numeric-id":3000610,"id":"Q3000610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4278485cca0da39238f2fa5024a5d18b0dd594d2","datavalue":{"value":{"amount":"+0.7058855891227722","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":"Q1084874$1BB757B5-7E59-4F83-813A-53B489468DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def65113e5ca1beb2fdf890eb88fc263d1c0cd1d","datavalue":{"value":{"entity-type":"item","numeric-id":703570,"id":"Q703570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c7898d7500cb3382dd0e0813757e832328dee8","datavalue":{"value":{"amount":"+0.7038721442222595","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":"Q1084874$8A3BE326-CF8F-4D2C-9CDE-3EE8C7DED4F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1084874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1084874"}}}}}