{"entities":{"Q1891276":{"pageid":1902018,"ns":120,"title":"Item:Q1891276","lastrevid":74260206,"modified":"2026-04-14T19:13:56Z","type":"item","id":"Q1891276","labels":{"en":{"language":"en","value":"Decision problems for distributive lattice-ordered semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 759390"}},"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":"Q1891276$17DE8BA8-DA6D-49EE-A9A4-AD9C22F9BA38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8d51efa2f879eda6367fbc2b9312eed1d05aa01","datavalue":{"value":{"text":"Decision problems for distributive lattice-ordered semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891276$CC454933-16B6-42F4-BE12-7AFBC298E85B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc519a7c153ee24de16fdeced28cc923b4fa4bed","datavalue":{"value":"0819.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891276$8559CA4F-FC98-4E71-955E-B771EC447555","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3d1fdff0afbfc0a6a4409d319a11ef1183b4d56","datavalue":{"value":"10.1007/BF01190708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891276$87A8254C-B9CE-4876-8CF4-074FC52EE9E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$6B822A59-E388-4EB1-A65C-737BEC0286FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$F0C70410-530A-4C2A-BFA5-E7B63C2D86FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48f675f2e6eb2017d9ed14e1dceba137ce412126","datavalue":{"value":{"time":"+1995-05-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":"Q1891276$06191881-8D05-427D-B04D-2675B7F3592A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8706ab062112b04667010f7a65afee3b26a5fa23","datavalue":{"value":"Various decision problems for finitely presented distributive lattice- ordered semigroups are shown to be unsolvable. In particular, it is shown that there is a finitely presented distributive lattice-ordered semigroup with unsolvable word problem in any variety containing an algebra defined from an infinite-dimensional vector space. More general results on unsolvable problems are obtained by adapting a technique of A. Markov subsequently employed for group-theoretical decision problems by M. Rabin and A. M. W. Glass.    The main technique used is an adaptation of the von Neumann coordinatization theorem for modular lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891276$0B98DF5B-4AF1-4355-8711-0B77D58C5185","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891276$B9998730-94D0-45B4-A2F4-765EF53DF019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891276$19EBEFEA-642F-45D3-9562-F5759A03A86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891276$F3E41F92-C6E2-4408-9D71-EA3012327EBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"398c0c0290764cbacde255494f0e6756891e36e7","datavalue":{"value":"759390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891276$3ED150B8-B4B4-4712-BC0A-0F8003CEA823","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891276$ED4FB4D5-548E-41B2-AC2E-71D8FD7EF811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b67269ed01737fe70b9ada8171d3c610096d93d","datavalue":{"value":"lattice-ordered semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891276$402802BE-9CA7-462D-990A-9C0EE03FF969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891276$B1807005-00B0-4553-8F44-4700204F99DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9293afa69efa72607bb6bbfce54871b214d6ba24","datavalue":{"value":"unsolvable problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891276$CB28BA01-8D06-4556-9F26-ED50FA5EC873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e07dc991abe880c654bcb2d6679c8481d2123932","datavalue":{"value":"von Neumann coordinatization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891276$17DB3690-3669-4ACE-8AFF-6B48E82A8693","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":"Q1891276$E361C3C2-8237-40BE-935D-1A2637757A8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"975593ca4b2b9af72be87491af8461a076c54b55","datavalue":{"value":{"entity-type":"item","numeric-id":2277499,"id":"Q2277499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$AE8570DB-659F-4434-A4E9-4A4AC3997CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d2b2737588eda9c16e9b81f1a7b66724cc5e94","datavalue":{"value":{"entity-type":"item","numeric-id":3877741,"id":"Q3877741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$79BB5298-A871-49ED-AB0A-724D111061B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab5b38b213fbce8e61061cbb66fc8c077e28261","datavalue":{"value":{"entity-type":"item","numeric-id":3342630,"id":"Q3342630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$8506F46D-7E33-4EEA-8C9B-C3989E5561D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d532c8fe4d25e3559c2f9f4dd23e33f65755e1","datavalue":{"value":{"entity-type":"item","numeric-id":3698857,"id":"Q3698857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$7F393879-5723-4793-87FF-930BA4539671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa54b0fe557cec06cf4cb2f9b5719df140743ebc","datavalue":{"value":{"entity-type":"item","numeric-id":585240,"id":"Q585240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$7229D895-DC42-4B71-9E35-F1105CEA2370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc97376a0826fc1f4fd71712df9cd9e88a6ba93","datavalue":{"value":{"entity-type":"item","numeric-id":759047,"id":"Q759047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$2D2DE290-2454-470C-852D-8DE4B180FFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$3466A23E-D953-4A22-A34A-FFE46D098B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0078199b890641d13113ec40149f5929ecc40448","datavalue":{"value":{"entity-type":"item","numeric-id":4775863,"id":"Q4775863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$AA93C11A-8A45-447B-81B9-8591905E0BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121627bb22958e6909f80b8eb1d5378599a5968f","datavalue":{"value":{"entity-type":"item","numeric-id":5804998,"id":"Q5804998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$BB0D800A-6DB9-4941-802C-2539A03CE0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cc6b07c2cd0f9d04ad9c21f319e75f6ed73e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5557964,"id":"Q5557964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$F15D2957-6A77-4334-ADF9-C26D1973246E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$9316CBFA-5BA3-4C76-9C8D-F0A78A6DAC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a8da8e3f49dd259f5319eb52852cbcc99d052","datavalue":{"value":{"entity-type":"item","numeric-id":768811,"id":"Q768811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$BC0F7DE2-BFA4-4B1B-A566-7C1F14A60445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891276$931AA13F-D7AB-404C-A7A7-F2CC703C5F50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c64081f92b7208156c909c143739b19acb03d77","datavalue":{"value":{"entity-type":"item","numeric-id":3123871,"id":"Q3123871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d16004898906de2c2bbecf25365105028e7e22","datavalue":{"value":{"amount":"+0.89706814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891276$7A309DAC-D94B-4417-99C2-5272630CE559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd85a96f38435652b0685b77b9b788a5ecce1bca","datavalue":{"value":{"entity-type":"item","numeric-id":4515867,"id":"Q4515867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3fb077801f98c529e5ebb387407d68ef5af2fc7","datavalue":{"value":{"amount":"+0.8876909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891276$CDD30F7F-CCA3-4CD9-860B-455A3590D449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76825d69d979989abec2a64683db7424f717e7b","datavalue":{"value":{"entity-type":"item","numeric-id":1357252,"id":"Q1357252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac89fc73fb98f5468eadc08bba098416102e632","datavalue":{"value":{"amount":"+0.8876055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891276$6175394F-45F6-4D96-BB09-778D170E3C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8ce63f7837213c1ab2a1a4013fade15beac449","datavalue":{"value":{"entity-type":"item","numeric-id":2277499,"id":"Q2277499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0f19733e5b5b73ecc0d0b1157a4014632d1f71","datavalue":{"value":{"amount":"+0.88756806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891276$5B37C90E-6FE8-42B7-9CA8-35C02C99603E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2344295417b5c35fbf01bdfe1ce2cd56b4f9331","datavalue":{"value":{"entity-type":"item","numeric-id":3137359,"id":"Q3137359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac00c401194fc716336ea758ec6e4471fd3fe444","datavalue":{"value":{"amount":"+0.8871885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891276$D4417EB2-EDD5-40B3-AD54-6152DB67481B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f925e747a2e7587563b093714f6dd8d01bdb562c","datavalue":{"value":{"entity-type":"item","numeric-id":1272084,"id":"Q1272084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8602bd4e9fec7137734bab48be47e68e3caf01","datavalue":{"value":{"amount":"+0.88703907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891276$E0B9C7F5-2AC2-4B75-9CD2-F2B114869F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24d77a6fa6f8a33e2664d7676d2912ac374375a","datavalue":{"value":{"entity-type":"item","numeric-id":4133969,"id":"Q4133969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a075b4640aa907ceebc0928654ceaa38ab8be78d","datavalue":{"value":{"amount":"+0.8864455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891276$F32EB52F-8F07-4560-900E-CD0591EA5509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77622a1ca81d173c78bbcb2aa97500d081644bfa","datavalue":{"value":{"entity-type":"item","numeric-id":4351831,"id":"Q4351831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc86decd905885c6fbc57c34bda692b0af44a6f3","datavalue":{"value":{"amount":"+0.8852191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891276$3D716155-6F14-48BB-99A9-4B55E3277EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a7227ee04ee278e694a3170cc6220c044a0577","datavalue":{"value":{"entity-type":"item","numeric-id":4391146,"id":"Q4391146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbdecaa677cf7fae0b55d81e166d81a8f1333a2e","datavalue":{"value":{"amount":"+0.8843527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891276$07162BE7-4CB4-4EB9-9577-FB81E49E8B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d54384fa154fe4201c8641611ccbdd70357402e","datavalue":{"value":{"entity-type":"item","numeric-id":4786311,"id":"Q4786311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad2743918c6b9523ad23e5e0cddde345f148249","datavalue":{"value":{"amount":"+0.88131034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891276$6FE5493F-A3D2-412E-BA9C-B067C3FEA85F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision problems for distributive lattice-ordered semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_problems_for_distributive_lattice-ordered_semigroups"}}}}}