{"entities":{"Q2391156":{"pageid":2401899,"ns":120,"title":"Item:Q2391156","lastrevid":50725778,"modified":"2026-01-14T23:02:12Z","type":"item","id":"Q2391156","labels":{"en":{"language":"en","value":"Finite derivation type for large ideals."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586511"}},"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":"Q2391156$E0B1DC01-9587-45B6-ABE4-353C7A2C1D47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad6d72e5f65b8678fa3e2f46e09c37838f9d0384","datavalue":{"value":{"text":"Finite derivation type for large ideals.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2391156$7FA2008A-5268-4ECE-80A0-C7A7CEB0E8C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20508ab6b3c316db73a3bb449167233bc5e7ea45","datavalue":{"value":"1195.20059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391156$7F03AB7A-6F7E-467D-827A-1B549053163A","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":"Q2391156$14522E6C-62A6-40EC-AF82-3754A44AE33C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2391156$97B485D4-CB6E-481E-80C9-F50AA50163AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd8a3d63046554df5a11e49cd2df9ddeb0f8f4b8","datavalue":{"value":"Let \\((A,R)\\) be a finite presentation of a semigroup \\(S\\). \\textit{C. C. Squier, F. Otto} and \\textit{Y. Kobayashi} [Theor. Comput. Sci. 131, No. 2, 271-294 (1994; Zbl 0863.68082)] introduced some finiteness property called finite derivation type (FDT) in terms of the derivation graph (Squier complex) of \\((A,R)\\). It is an intrinsic property of \\(S\\) not depending on the presentation \\((A,R)\\). A subsemigroup (ideal) \\(T\\) of \\(S\\) is large if \\(S\\setminus T\\) is finite. The author shows that \\(S\\) has FDT if and only if a small ideal \\(T\\) of \\(S\\) has FDT.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391156$70442A99-F6C9-43BC-96E0-8349973E8A8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7eb34a5913e32e2432a47344f3fe5b5428d3d6a3","datavalue":{"value":{"entity-type":"item","numeric-id":441852,"id":"Q441852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$64C83786-D42B-4154-B426-FA0DCBDA05F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391156$29F4CDCA-CF93-4B3B-B477-2B533A452B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391156$22236CA8-0BD3-46F2-A93C-1ECB8BA237D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ceb73e98845521683c52d2cbda26a7baf4b57733","datavalue":{"value":"5586511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391156$C48A72C1-50C1-4FEB-8737-D32FC40690AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391156$92C14093-85D0-4758-8031-92A212051583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fe9e00d3b9bde8350c039751fb9221c196a10f","datavalue":{"value":"finite derivation type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391156$C12F9CB0-EF25-4BFD-BFC7-768F8008071C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c2b42618fc6a7afe0018e2b117b4ee04cc9ce6","datavalue":{"value":"finite presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391156$DB423639-676A-4BAB-BA09-3D25703A797F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc9d5af0e8405057a331ab362ced6de20507997","datavalue":{"value":"large subsemigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391156$86C87240-2B31-4DD8-AF13-E5402197D638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93415caa86aa01eacd340097224add99ec4c2f1b","datavalue":{"value":"large ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2391156$F876962D-444F-463D-AAFF-B37822D25F0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"304df54a9d1cf417d4a9c244bd89cc94e1d3895b","datavalue":{"value":{"entity-type":"item","numeric-id":479730,"id":"Q479730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$484F906C-EB5D-4679-B9EF-E73FBA33C762","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":"Q2391156$AC61B20A-E033-4F37-BBF3-451BF2BD595B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"622ae49a1f9a713aab1126c45f3214455fe3bce3","datavalue":{"value":"https://doi.org/10.1007/s00233-008-9109-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2391156$EEC85080-D470-498A-BA17-9327601FE0CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"155e07dccd64e3d876a418b562862816fe4b99c6","datavalue":{"value":"W2026414877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391156$AEB1FC1C-506B-4940-B8EF-0F3C2CEF2190","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7595807c23ca5fb7aef2cd8aae46be483f80b6ac","datavalue":{"value":{"entity-type":"item","numeric-id":5939965,"id":"Q5939965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$E2F81A31-0C01-415D-BECF-3E2034897A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82221b9b6f2537e97f4f72b6838c22fc952035b","datavalue":{"value":{"entity-type":"item","numeric-id":4487697,"id":"Q4487697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$276B136C-2254-4FAD-98B1-ABBB774B4CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$3BC2E2A8-C447-4511-B9A9-87484EA88AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99328a2da8143013cc1afb22ad74b43597c328b0","datavalue":{"value":{"entity-type":"item","numeric-id":1895805,"id":"Q1895805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$7F4BEEE7-2813-46E8-9250-CA3A854CEBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2341f2e2ae2ddcff8ad6e85136a17db7bc1a77","datavalue":{"value":{"entity-type":"item","numeric-id":1911631,"id":"Q1911631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$09A3EC78-7C32-4E8D-807F-6FE46AF8591D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8aa97fc73f1c9de6165519a095982b73612f6e6","datavalue":{"value":{"entity-type":"item","numeric-id":1380004,"id":"Q1380004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$890E9326-917C-45CA-9C4C-201207742D07","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":"Q2391156$DB33B0F7-E092-4E04-9766-3DD433BAD5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$DD29FB31-A053-4D84-93E0-18FE70919862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0615f0e41c6b9636b868bec100ccc150c77baddd","datavalue":{"value":{"entity-type":"item","numeric-id":2368998,"id":"Q2368998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$D1E7F2AC-82D3-4F85-B6CE-53ECA45302A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce219d2c7d9adbd5b1d326a4855a09b43aabaa13","datavalue":{"value":{"entity-type":"item","numeric-id":5429974,"id":"Q5429974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$D5932DDF-041A-497C-9A07-7DBA32611F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73dbeb2faed298a13be930132ac0a7780f1173b6","datavalue":{"value":{"entity-type":"item","numeric-id":4336275,"id":"Q4336275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$3CF52EED-6401-4FA4-A913-2165352D4C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bd8ff157acdc45b1ad590bd13213b824369c7b","datavalue":{"value":{"entity-type":"item","numeric-id":3123637,"id":"Q3123637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$718C317E-1C20-4B58-AD58-D1E15A31C640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d27ee8114483b860dbd0ba4b77b85c42fed53ce","datavalue":{"value":{"entity-type":"item","numeric-id":4863965,"id":"Q4863965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$05B11DA1-CB1C-4225-B5CF-10B2075C9585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80422c8ae76a53c4e2aa68ca1d792b32d3601624","datavalue":{"value":{"entity-type":"item","numeric-id":4786257,"id":"Q4786257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$435C89AB-5E34-4350-889D-EFD48FD9FDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375d8a912349b21b04caec4193555b6cce1426d1","datavalue":{"value":{"entity-type":"item","numeric-id":1806109,"id":"Q1806109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$8DA059B1-0D31-4DCC-A612-AA30F84D98E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c260958271d6aee451dc905aef247eb6564cbfa2","datavalue":{"value":{"entity-type":"item","numeric-id":1331943,"id":"Q1331943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$7FA57B08-5E96-4675-99E3-741141C20BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a573ff1ccbd66e110df4edde5e29a01f4bac1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1270963,"id":"Q1270963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$1BA5CB60-14AF-4AA1-A551-96071032AF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ebd09d4db6178be1d9708eddba00ffc4ee7ffa","datavalue":{"value":{"entity-type":"item","numeric-id":1127330,"id":"Q1127330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2391156$DB9380C8-C2AF-4BD0-8154-1ABD38E5F52D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14117bf17d1785d424391ffa455086ed8945ddfd","datavalue":{"value":"10.1007/S00233-008-9109-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391156$8016045C-1FDE-418A-8757-CCA588F39B40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0365573a5007699455bb99700b2c44ffe41e70ee","datavalue":{"value":{"entity-type":"item","numeric-id":2461620,"id":"Q2461620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070e3b57275a8c55de795a350735a71710592466","datavalue":{"value":{"amount":"+0.8245673775672913","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":"Q2391156$AEF70188-A8C2-4E6F-8C03-B9F2BBF113B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2fb572208155d43200e30e5b08789f02daea8d","datavalue":{"value":{"entity-type":"item","numeric-id":444671,"id":"Q444671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea03d457967c4d972a7e88a09bbcc680329629bc","datavalue":{"value":{"amount":"+0.8203249573707581","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":"Q2391156$28878FF8-7A0A-4D01-B181-0CF0C710A2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ea3ce3dd2bfc77d21f84945f0941526806a2d5","datavalue":{"value":{"entity-type":"item","numeric-id":1338340,"id":"Q1338340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e271ec643a29e72f7227d9b1f94e4f423789983e","datavalue":{"value":{"amount":"+0.818766176700592","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":"Q2391156$654DFB61-A6AC-4B38-BA29-AD9B01BD177D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555d40d3885bb3581e29c4a23e5d60a99c1d333b","datavalue":{"value":{"entity-type":"item","numeric-id":2368998,"id":"Q2368998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ec53f4031ae81ba678e3fdbf9f3676f60dbb0b","datavalue":{"value":{"amount":"+0.7780513167381287","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":"Q2391156$ABA18CDF-77D5-4FDD-B77D-CE21A821DE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bbf1ee14f8d0490ea705727225d198e1012a5e0","datavalue":{"value":{"entity-type":"item","numeric-id":4354315,"id":"Q4354315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b915b77fbf1562ab2a4a62161f6944e9765d9cf9","datavalue":{"value":{"amount":"+0.7745785117149353","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":"Q2391156$96299198-AFB2-4F3C-9B37-75FE16B20A45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2391156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2391156"}}}}}