{"entities":{"Q557909":{"pageid":559676,"ns":120,"title":"Item:Q557909","lastrevid":62756190,"modified":"2026-04-11T08:14:58Z","type":"item","id":"Q557909","labels":{"en":{"language":"en","value":"A context-free and a 1-counter geodesic language for a Baumslag-Solitar group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184105"}},"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":"Q557909$FD8FAF4F-1A95-420A-B113-667142FD72DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23e3cb05739d6efc07019c71324ece2ebbe90dea","datavalue":{"value":{"text":"A context-free and a 1-counter geodesic language for a Baumslag-Solitar group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557909$0A08C5C9-58D6-4893-B7E8-B8F83CE43806","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d99b5f37b5655afb3256f7d4c885749bb931ef02","datavalue":{"value":"1142.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557909$8BFE96AF-90CA-4851-AB49-35DC1283FE18","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":"Q557909$0DB091DB-F4B2-4AEA-AD9B-8CA76D66689A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557909$464F7152-67C6-4C3B-8D86-7EA0F1266DA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fdd6885cd89838133839a90575386d9efd0b703","datavalue":{"value":"https://arxiv.org/abs/math/0411166","type":"string"},"datatype":"url"},"type":"statement","id":"Q557909$C656EAEA-F675-43E3-A5B4-33125E8CC8C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1002f686a815095003dbe82028cd8c6cd470c767","datavalue":{"value":"The authors consider various classes of formal languages, such as regular, context-free, counter and 1-counter, and explain how they are inter-related. They define a normal-form language for the Baumslag-Solitar group \\(\\text{BS}(1;2)\\) and prove that each normal-form word is geodesic, and the language of normal-form words is in a bijective relation to the set of group elements. Finally they prove that normal-form languages are 1-counter languages and that the language of all geodesics for \\(\\text{BS}(1;2)\\) is not a counter language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q557909$B60320F0-2CE3-4C42-A51E-BF955FE3CDE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557909$D308A5C9-2A46-46CC-99CA-3D1685DAC45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557909$54059E0D-BE5E-49C9-8B59-4875F46A13B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557909$C8D660BD-1E64-4000-B1C0-291EF4C4174F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cccd962559772a38ade57aad81d7aece676f6cb2","datavalue":{"value":"2184105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557909$F825243A-865D-43FC-84D8-CF71FDB6F815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q557909$F404C10C-E7C3-49C3-AD65-16D20014BDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75d448735778f46c4e9667e177539a844422b26","datavalue":{"value":"context-free language","type":"string"},"datatype":"string"},"type":"statement","id":"Q557909$C7F6500A-ACA2-4C30-869E-301A58F554F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8077a4f58b0e4b7a2a7897588066a2d9354c21f","datavalue":{"value":"\\(G\\)-automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q557909$E5FD4667-DE09-4261-ADE3-354DEF3FCE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7f0a2e4867361ac5848ee99f83263e40ef05c1e","datavalue":{"value":"counter language","type":"string"},"datatype":"string"},"type":"statement","id":"Q557909$385D6DA7-2BB6-4C25-B0B2-35869152F291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e86756ab5aa41fb8f4ebd600973d48cbaa2ffb8","datavalue":{"value":"1-counter language","type":"string"},"datatype":"string"},"type":"statement","id":"Q557909$05D97583-A8FB-42B4-BE79-F5759E99FD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a93c1fa98ddc26ae221334ee4a28abb74695b9c","datavalue":{"value":"Baumslag-Solitar group","type":"string"},"datatype":"string"},"type":"statement","id":"Q557909$56FEE511-8FF1-456A-8DFC-E76B15E8EE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fc26b12166efb80ca0b0b95ab48fd5d1fc5b3d","datavalue":{"value":"language of geodesics","type":"string"},"datatype":"string"},"type":"statement","id":"Q557909$09ED5804-A0C3-43FF-969A-833338F8E3F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ab787c9073b134ad5dbc9157f7bc83a250ba96","datavalue":{"value":{"entity-type":"item","numeric-id":1863082,"id":"Q1863082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$1AFAA371-F432-4076-82EA-FF89200D222C","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":"Q557909$D4A11E7D-E5A0-456A-83C6-B4B2039BE0ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe3e6ca8b38983fa2600c328dc0db88a9eb376d4","datavalue":{"value":"W2043281883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557909$41CBA737-9FFF-469C-A8BF-5FF178E0A15B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45213596c687c2c7a382236a1631c2e7f6da2b52","datavalue":{"value":{"entity-type":"item","numeric-id":4292740,"id":"Q4292740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$B5116535-5CB5-4E5C-857C-0E7AB84E5D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175a057df4d082575e04165eb3e80c32656bd2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1842010,"id":"Q1842010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$37E32CA7-B292-48E1-BD2D-F126249D8E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3569713570b466dc420a5c36248ffb53b3676750","datavalue":{"value":{"entity-type":"item","numeric-id":4669782,"id":"Q4669782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$EDAA558C-5764-4A5F-865F-F58FF2ACB2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256fb010afdb6cf5267ab2f8a47e2eaeb131c063","datavalue":{"value":{"entity-type":"item","numeric-id":596085,"id":"Q596085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$A595E7B0-2EE1-4D0E-8160-EA6462476569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3489b46b03cce2e2d044b296bd7198c95bbca","datavalue":{"value":{"entity-type":"item","numeric-id":4003861,"id":"Q4003861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$98031156-22B8-4173-B2D2-F5170585BA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34bed4c2b4475236f2522c75bb98ad99df444276","datavalue":{"value":{"entity-type":"item","numeric-id":4867134,"id":"Q4867134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$7FC7C9D8-777B-4ADA-9F79-197A196C305D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311f5c1640f46aa3438a86675d5562481be7c7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5961637,"id":"Q5961637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$60797124-EDF6-4672-B825-049357950034","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":"Q557909$9B7012F6-61C0-443C-8B66-4E6CC5717BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$E0F55409-094A-4878-9416-E5E27CE27D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af188522ee36dfbc40e8063345c06265fc901ae","datavalue":{"value":{"entity-type":"item","numeric-id":792454,"id":"Q792454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$B6D88378-D4DD-468F-BE87-43FC4EB374B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557909$D74593F9-9244-4332-892B-97B97D28FDDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5e77a64604d52163f93f9cfca2a958ec64b0128","datavalue":{"value":"10.1016/J.TCS.2005.03.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557909$E98B9BD4-D254-463D-AFF9-E490602C6B1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66d116805f07b9ad7918dc5cfed6d563c962353","datavalue":{"value":{"entity-type":"item","numeric-id":716392,"id":"Q716392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f163365c55bb3436fce65a0493d8e98c7b06db4f","datavalue":{"value":{"amount":"+0.7945711612701416","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":"Q557909$B03D9CDB-8DA1-4D90-B2A0-2B522ADA30EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34dbaf9d50ca331a3caba354dc8878b2a03251f1","datavalue":{"value":{"entity-type":"item","numeric-id":2114372,"id":"Q2114372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28469e793cace0275e3e8aecda3bba2d16e199e3","datavalue":{"value":{"amount":"+0.7842212319374084","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":"Q557909$8B8217E2-3503-482B-983A-40D7EDA3EEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd9ebe76a5a0df336900d0399d5981c14d43f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5221281,"id":"Q5221281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399c54a426e0d4a81931c03e4da2a1e2467214ab","datavalue":{"value":{"amount":"+0.7786315083503723","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":"Q557909$E1478FD1-4286-43CE-9197-EDC1D4089D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74749928ec6daca4a53eec92b739764e4996ae70","datavalue":{"value":{"entity-type":"item","numeric-id":3092473,"id":"Q3092473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a9b20857438c53e7bf2dec4e3a8f6f44d640c7","datavalue":{"value":{"amount":"+0.7784832119941711","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":"Q557909$125450D9-7070-45B7-918E-91C25EC212CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8a0d5044f41e77cd6db9554e6b6bc3a4eb8b21","datavalue":{"value":{"entity-type":"item","numeric-id":2996841,"id":"Q2996841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af144946c7da7e580c70ca98d25207b1c6baa82a","datavalue":{"value":{"amount":"+0.7763736844062805","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":"Q557909$9F1D16D3-2088-4B4B-B058-C1789232E45D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A context-free and a 1-counter geodesic language for a Baumslag-Solitar group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_context-free_and_a_1-counter_geodesic_language_for_a_Baumslag-Solitar_group"}}}}}