{"entities":{"Q800097":{"pageid":801945,"ns":120,"title":"Item:Q800097","lastrevid":48751648,"modified":"2026-01-05T19:02:08Z","type":"item","id":"Q800097","labels":{"en":{"language":"en","value":"Commutative one-counter languages are regular"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3876628"}},"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":"Q800097$514EB393-91D5-41C7-82B9-EF1CA5BB09DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be29818bc8cefe08ab5a82f8a3e1761732a9d9d6","datavalue":{"value":{"text":"Commutative one-counter languages are regular","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800097$F0ECE50A-B106-4FF3-92AB-DC2ABF4AD2E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc6c5402bd876c76a701e17cccb6bd3d4fd022f8","datavalue":{"value":"0549.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800097$0B992E38-605A-4A45-8788-A2D34E2F4BCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3328d6af5047d1003f3331cfe40bd6677fe4be06","datavalue":{"value":"10.1016/0022-0000(84)90013-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800097$F1A63A0E-034E-41D3-B4C4-5829D0399C58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$0CB4792B-B2EF-4AA0-BDD7-78F7028F9BFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q800097$1BDE1B1C-3037-4235-AD51-6CFE1F75BF04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7695fe6f9b57b60da39f4939816bbd3dadf80ece","datavalue":{"value":"Let X be a finite alphabet. A language \\(L\\subseteq X^*\\) is said to be commutative if \\(L=c(L)\\), where c(L) is the union of the commutative closures c(w), for all w in L. The commutative closure of \\(w\\in X^*\\) is defined as the set of all words obtained from w by permuting occurrences of symbols in w. The family of one-counter languages is said to be the smallest family of languages that contains the semi-Dyck language over one pair of parantheses and is closed under morphisms, inverse morphisms and intersection with regular sets. By means of a new characterization of commutative regular languages the authors prove that every commutative one-counter language is regular.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800097$D187B9A4-2DAB-42DC-BD24-398EE1C85127","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8adba7412db86d1b82f197f3acdb521456c3ee1","datavalue":{"value":{"entity-type":"item","numeric-id":800096,"id":"Q800096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$775BD7C5-7DC1-45E3-9D55-B956073C5B05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800097$366C30F1-786F-4BF9-9FE9-3AF51D3E7DBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"500ad5a7ce219f166b9592e10eb85c027b7852da","datavalue":{"value":"3876628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800097$EF50E64E-672D-430B-A197-DEEBE8A2242F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278abaac90e2b86d4dc5f4dc53caced7b95e0894","datavalue":{"value":"commutative languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q800097$40AA1F53-E6AC-4F19-A6E5-03DD419F10AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5c21d4d3778114b02e2ba4e4a5b5083d38da0a","datavalue":{"value":"commutative closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q800097$8EEBED2B-A666-4ED1-BB72-C226B6FA88C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0de19c530a844ec45106ede75a68bcf8972b0e6f","datavalue":{"value":"one-counter languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q800097$7142E98D-3435-412B-AB2D-82191C4D25C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q800097$25080DD6-CFAD-46C1-9411-29D1CA93E31D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"625f6e98c2370a52c783d04ea5df91cbfb672097","datavalue":{"value":{"entity-type":"item","numeric-id":498406,"id":"Q498406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$8C21B5C2-9B04-4AEA-961A-95FB3CA0A6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3fcef18c71a4b5df42d463ab66d395e6876189c","datavalue":{"value":{"entity-type":"item","numeric-id":537812,"id":"Q537812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$4A614635-3B43-4B61-9182-5055256DF438","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":"Q800097$794EF9EF-F163-4658-BD7C-B31CD93D31F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7732ecb100a6d22df9dbe0b1937e82611b221ff0","datavalue":{"value":"https://doi.org/10.1016/0022-0000(84)90013-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q800097$D3C59055-34AE-4765-B216-62F0CD9180F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d1055bc86a4338491ce03d2dba9bcff0871ff8d","datavalue":{"value":"W2014294552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800097$C3F4F9D9-482C-4FC1-81F9-4307B7BBE962","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$FAC5D4D7-C73C-4585-8BBA-AEE385485D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8feddcbcc3c96dec101edf5198826c8b9e71f4","datavalue":{"value":{"entity-type":"item","numeric-id":4184346,"id":"Q4184346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$1A455287-4874-411B-867B-EEDABE45EB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da71734cd68dd82e713c0bb7eae1327c5e89d85f","datavalue":{"value":{"entity-type":"item","numeric-id":3959450,"id":"Q3959450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$CCAFD33D-C038-4B6E-B7ED-B6D8CCDEF8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b69a25dadbcf5033c0a83bebdcd00c3a732ee43","datavalue":{"value":{"entity-type":"item","numeric-id":3911423,"id":"Q3911423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$A2493C0A-9329-40A9-8F54-59B0F22C5952","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":"Q800097$BE81EE40-2A75-4B9D-A090-71640604D60D","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":"Q800097$2BAB7B19-F10B-4D42-9EC3-13AF4EF4E300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771527b868ce91e4f74942da9f45bbb34e810b75","datavalue":{"value":{"entity-type":"item","numeric-id":4168082,"id":"Q4168082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$08D93578-CC97-401F-A290-D20955A67D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157f4a38f5fbd0bb9973a4cc0d39ee81627218b8","datavalue":{"value":{"entity-type":"item","numeric-id":1838045,"id":"Q1838045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$72A45FA4-B93A-49BE-87CF-9992E19DA865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3aa9cf99076c09e2027e8678384e82b19a60864","datavalue":{"value":{"entity-type":"item","numeric-id":3741081,"id":"Q3741081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$EB90824B-3A15-44CE-B309-777F3144B788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800097$8196280F-6BD9-444E-8A87-6879C6BEEB93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8085d8db55b574b1728723f58f746e136491d2a7","datavalue":{"value":{"entity-type":"item","numeric-id":3707423,"id":"Q3707423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98efaa731e516bd2dd8da9654c37d1d726df5936","datavalue":{"value":{"amount":"+0.7772586345672607","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":"Q800097$737CDABB-F6F4-4D40-9581-351A39A66BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d352fe0a92a6b0894875f5bee4ae49ffc538da","datavalue":{"value":{"entity-type":"item","numeric-id":2257288,"id":"Q2257288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cb2c51419b7b571cb7940f5fba66cb206879e1","datavalue":{"value":{"amount":"+0.7753959894180298","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":"Q800097$D9B267D0-3AC2-45E5-BE74-42024B9E6CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662391791373e6d10cd7fd45c721f26efcc6359d","datavalue":{"value":{"entity-type":"item","numeric-id":3315706,"id":"Q3315706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13987ea93e14bbddb173424449b1b99eecb3703","datavalue":{"value":{"amount":"+0.7734734416007996","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":"Q800097$1D239DEF-F29F-4E41-818C-84A040C36BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a1635472b09eaaba383f45d45d94af8fbc27e8","datavalue":{"value":{"entity-type":"item","numeric-id":476875,"id":"Q476875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b8e13b697a964c52b7b08b1327db816fec9959","datavalue":{"value":{"amount":"+0.772840678691864","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":"Q800097$B9104F32-198D-4DE9-84CE-F21DEE17DFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b3459f7060e71713d3013243d327ffbded6f67","datavalue":{"value":{"entity-type":"item","numeric-id":4728278,"id":"Q4728278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e902d72b159f21926bbe426fe93e0eae6101dce","datavalue":{"value":{"amount":"+0.7666981816291809","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":"Q800097$27C63B34-6CAE-4B6F-AC49-36FBFCEE6BC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:800097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:800097"}}}}}