{"entities":{"Q2200887":{"pageid":2211630,"ns":120,"title":"Item:Q2200887","lastrevid":57630942,"modified":"2026-03-31T16:49:29Z","type":"item","id":"Q2200887","labels":{"en":{"language":"en","value":"On finitary properties for fiber products of free semigroups and free monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7251067"}},"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":"Q2200887$6EA0BDD8-8F3C-4FDB-8D3F-4F4426BDD9FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"152c3c363c332f13ce582d108c88f497eeb198ee","datavalue":{"value":{"text":"On finitary properties for fiber products of free semigroups and free monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200887$9DAEF18D-AA3F-4E6F-96F4-11A46E45268C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee09d0ba154f1b8e5139c719703d8c25da137b6","datavalue":{"value":{"entity-type":"item","numeric-id":2200886,"id":"Q2200886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$C4845214-1117-4820-A1E6-2A5D530AE15C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$D1EFB328-9B15-47E0-9AA5-E331B89C2E8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200887$030E483D-F12E-4762-B1FB-8BE602782D44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a80aadb0959afc49d2c0f44293c6e1fa39ea695","datavalue":{"value":"https://arxiv.org/abs/1907.01378","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200887$A320D5A3-9282-44CF-B4E9-A95FBAA7D262","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ab0512775b779be767c8f0c5f5fe3a72d8d44a8","datavalue":{"value":"The authors abstract describes the paper very well: ``We consider necessary and sufficient conditions for finite generation and finite presentability for fiber products of free semigroups and free monoids. We give a necessary and sufficient condition on finite fiber quotients for a fiber product of two free monoids to be finitely generated, and show that all such fiber products are also finitely presented. By way of contrast, we show that fiber products of free semi groups over finite fiber quotients are never finitely generated. We then consider fiber products of free semigroups over infinite semigroups, and show that for such a fiber product to be finitely generated, the quotient must be infinite but finitely generated, idempotent-free, and \\(\\mathcal{J}\\)-trivial. Finally, we construct automata accepting the indecomposable elements of the fiber product of two free monoids/semigroups over free monoid/semigroup fibers, and give a necessary and sufficient condition for such a product to be finitely generated.''  In the introductory section the author makes the connection to preceding related work, mainly about groups, and then gives a detailed overview of the results of the paper. This is helpful since the results and their proofs are technically quite complicated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200887$F9FB43DB-3693-4DAC-B1A5-733B1DA53092","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200887$99A34D12-EDCD-49CE-BA05-0D06120F4926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200887$C9FCC5A3-42A2-433F-841D-09A678569D6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7efa219a14af60e360437090af343c59a81c78c","datavalue":{"value":"7251067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200887$11E4DFD6-0E77-4A8A-ACFB-83B4538DB217","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6e1b5db5758d655b9755dd07749cad9c0767b4","datavalue":{"value":"subdirect product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200887$0328137D-BC45-428C-99D0-A0970D3758BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac247ea0f6881d6afba7fd7db6e7d7cb907635e3","datavalue":{"value":"fiber product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200887$0A261FCD-6F69-4A5E-95E1-DBA5BD6978E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200887$557020BC-A7DC-4B02-B8A6-8C35D25D6821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b489be36f2806b138f130171c2492c208d47cd2","datavalue":{"value":"free semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200887$75700F58-BEEB-4FB5-9C3D-F2F9D69FE9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200887$B37B0CEE-4CE9-4323-92A2-D2CF2A36E440","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85e4af3c816f7ac40605750dbfec22d9e5ba7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":207731,"id":"Q207731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$C60AFC1C-7018-4453-8B4B-39208A9EC590","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":"Q2200887$3DA79BC5-060A-46C4-A5A5-C0FC6C0C0F2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c4c11e993da482d1fccec1c2be847a1c55e8be6","datavalue":{"value":"W3049690827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200887$6FA577F7-EC24-42C1-BC96-8A6C6AAE9A30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f8b4ba4f0398a9db61af6aa610f347b95bc0f4","datavalue":{"value":{"entity-type":"item","numeric-id":5185244,"id":"Q5185244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$D6B64FDC-A98F-4BF7-84BB-89CFD916FDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9330126c76f0f7631e286200c15940e5a6ca1961","datavalue":{"value":{"entity-type":"item","numeric-id":3625053,"id":"Q3625053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$6C9497BF-6C79-4F71-B5BD-3BAF1A7A9BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$56BEB8F9-FB87-400F-A22D-340CA773A270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab487b8219d0e8fa27b99c59a8ade4ed9d9d4a6","datavalue":{"value":{"entity-type":"item","numeric-id":3295250,"id":"Q3295250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$9FAE5F74-E730-43D9-994F-FB8F74CDE872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbc2e493b8c9e742198fa0e97ba0f17fcd38e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4165499,"id":"Q4165499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$E6D41395-5E44-4C86-BF82-E74C3A56B39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$FEA3C529-E929-4F21-97DD-F6302185A68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df25d21ea8a7e6877bc2bbdefaea29d55afd76bf","datavalue":{"value":{"entity-type":"item","numeric-id":442351,"id":"Q442351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$261DC1BA-FF44-4415-A487-2497E710A02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"137db15557ff71dc8d7f9196eda10875124ecf53","datavalue":{"value":{"entity-type":"item","numeric-id":4973663,"id":"Q4973663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$9BAEDD4F-AD99-482D-BD31-2DDCF2020065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a209aa679072545f53c7e4eedb31abac804a18db","datavalue":{"value":{"entity-type":"item","numeric-id":5545557,"id":"Q5545557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$E3D7D268-530F-4E9D-B9E2-2226636FAA48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"663eefb0aaa92cf94b0a9bc7db97b4fb412a4f80","datavalue":{"value":"10.1007/S00233-020-10127-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200887$60CA86B8-80E3-4A03-B848-BB1E332315CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"249a17beaef36dd7854902ecc39ee8b08bbbdf0c","datavalue":{"value":{"entity-type":"item","numeric-id":4335880,"id":"Q4335880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ede97f88d6b9481117045175b865f164b67423","datavalue":{"value":{"amount":"+0.7910301685333252","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":"Q2200887$203C078D-058D-4C96-AEB7-5EBA708AEEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d16faf793e132899be508087eb3167a9075241ae","datavalue":{"value":{"entity-type":"item","numeric-id":2482061,"id":"Q2482061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f3722b07dadb2bfc2bdb22fa527aec2338c278","datavalue":{"value":{"amount":"+0.7884527444839478","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":"Q2200887$AD323600-8DB7-4D89-855E-9E8EE85BF4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff499da0223c6dfd76651dae2c67a03d4f1a71a3","datavalue":{"value":{"entity-type":"item","numeric-id":4211069,"id":"Q4211069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa88b1d8d210d40008a42a6bb2c797d036a89b4a","datavalue":{"value":{"amount":"+0.7779355645179749","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":"Q2200887$ABD44BF4-4E23-49F4-8A28-5467C134906F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42c989e920d10ccacbacd8e6010de1efa196fb5","datavalue":{"value":{"entity-type":"item","numeric-id":4504879,"id":"Q4504879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27470e36236d01f2789a44415906a2b038dae23e","datavalue":{"value":{"amount":"+0.7771661281585693","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":"Q2200887$6127D1A5-5984-4F20-9DF6-8333841C8872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0306325e02666bc852a05b1e52feba472ddf2a9","datavalue":{"value":{"entity-type":"item","numeric-id":2850472,"id":"Q2850472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b5e735c0e9e4f43c1505926a30e97088aa2974","datavalue":{"value":{"amount":"+0.7662593126296997","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":"Q2200887$E90D3B97-F6D4-4652-B326-86EF5AE74D65","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200887$5274C7CB-C488-484A-BE61-279D93F983BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2200887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2200887"}}}}}