{"entities":{"Q1085191":{"pageid":1095943,"ns":120,"title":"Item:Q1085191","lastrevid":66104028,"modified":"2026-04-12T07:34:43Z","type":"item","id":"Q1085191","labels":{"en":{"language":"en","value":"Decidable unary varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3981242"}},"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":"Q1085191$4A54F6BF-61C4-4212-87F1-0BA9E663E042","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66aac71aa8a82ca13a5ba927e1b4e961b9ce8d8a","datavalue":{"value":{"text":"Decidable unary varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1085191$8FA48D56-CBCE-446A-9C7F-C66C85968D3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c04ed8b2327772b3a4f06488feeba61fd49e6d4","datavalue":{"value":"0607.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085191$2EEFBF01-D1CD-4910-BC93-652F8AE6AAEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c8cf645c736b1222b7a573da30ee24472854ca0","datavalue":{"value":"10.1007/BF01188378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085191$1F704D1B-35E9-473C-BC24-1AFD84D0D295","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":"Q1085191$4A9376D1-4803-42EF-9D9E-1CB977EDF7A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1085191$BED5CB5E-81DF-46A3-874C-0E559763347C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c133e8f6d50fa617d5c4b8c534917ca1b349a9f9","datavalue":{"value":"Let \\({\\mathcal V}\\) denote a variety of unary algebras (in Birkhoff's sense) of finite type which is locally finite, i.e. every finitely generated algebra in \\({\\mathcal V}\\) is finite. Let M(\\({\\mathcal V})\\) be the monoid of all unary terms of \\({\\mathcal V}\\). Then \\({\\mathcal V}\\) has a decidable first order theory if and only if the left ideals of \\({\\mathcal M}({\\mathcal V})\\) form an inclusion-ordered chain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085191$DC88B51C-F345-4097-A9CD-5FB2B2915F88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085191$0AB1DF26-F2B2-4A01-8DC8-B1C229AD7BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085191$C04F7CC2-6326-4D38-9750-546D27253845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085191$463A2B69-6D68-4B07-A3BA-DDDEBA56631F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085191$A4AB53CF-A531-4F2C-AF68-15E58F423171","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aec23bacd162d305c5591af3afd9d64b23be5810","datavalue":{"value":"3981242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085191$B19C5882-F3E3-4B88-8E7E-3745A453F30D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40f52a336d569320119a58e78f9f6c78b897694c","datavalue":{"value":"variety of unary algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085191$A6CA7B0E-5EC7-4E69-8D88-C16B14BB9722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d6da523c89b57ae3a8d5c9fdf9c01dc40d72708","datavalue":{"value":"finitely generated algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085191$2052A313-AF7D-4E40-8BAE-F557A3778C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24eb334daf6343ca18cdfcfcc88f1f65cf4a5f2d","datavalue":{"value":"unary terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085191$3DBCC807-4408-4270-9D96-2DBEF2FB89EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda2fcceb25b290ad7359a0c380e0b125bd3d2ee","datavalue":{"value":"decidable first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085191$953B2CA0-DCA9-4CD3-80BA-50F4C28C4C45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14ec3a184ee9128fb8bc3f92d474dabf7539704d","datavalue":{"value":{"entity-type":"item","numeric-id":1001910,"id":"Q1001910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085191$3484A0A2-CC26-4C80-8284-8AF07B3BE0FD","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":"Q1085191$5C005EC2-D96E-4CCB-B03C-A16E81D8949C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb773def9d9b85afd4dfa221fc523f7a81c2122","datavalue":{"value":{"entity-type":"item","numeric-id":3941388,"id":"Q3941388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085191$55B135CC-0AE1-48FE-8F03-1EE78343FFE4","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":"Q1085191$7F6F6F81-F6A8-407F-84CD-C2ACC743D686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a70347429be666234e0cdfc2468ddab12eedce","datavalue":{"value":{"entity-type":"item","numeric-id":1187715,"id":"Q1187715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085191$54397390-D281-4C62-A0A2-8ED680187D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085191$338FC1DC-7946-47A3-BA7B-10FBC724FD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ebbb90421ee278045b6251fc0ab7abc08336af3","datavalue":{"value":{"entity-type":"item","numeric-id":1147173,"id":"Q1147173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085191$505847EC-D329-468B-A6AA-3463CD18E9AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe671ad5978b738fc90818c1dc25c659d4f7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":4026903,"id":"Q4026903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f997661e4eda24661f0598acf7c2bf55a8e6c56","datavalue":{"value":{"amount":"+0.8195136189460754","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":"Q1085191$B6E0A2DE-3390-4314-B986-9131EB77E43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02f1b431100fd90283146797f6f5da23b6cd590","datavalue":{"value":{"entity-type":"item","numeric-id":2911872,"id":"Q2911872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b89ae38e90f3b5f3bd97f4aa2f0968654670147","datavalue":{"value":{"amount":"+0.8159794807434082","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":"Q1085191$26DA9A38-35E6-4B47-B3A3-4843A12823D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761e19d0e0d04adf3112955fc34e34398f0358d5","datavalue":{"value":{"entity-type":"item","numeric-id":3998420,"id":"Q3998420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f1df1d53a865df5d7ba64bb464bc6f70c893c0","datavalue":{"value":{"amount":"+0.8116994500160217","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":"Q1085191$FBB2053E-2FDE-4B7A-9EB7-872265ED66E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a4138a629c0292e35e9320899ad7e1972d96ebf","datavalue":{"value":{"entity-type":"item","numeric-id":4038454,"id":"Q4038454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d036930ef26fcc91fabe8f0c461d64a843808d44","datavalue":{"value":{"amount":"+0.8024993538856506","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":"Q1085191$77D28A51-6DFF-4175-B86C-B66486F98966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8cede415be6a92cc1d795bbe1ff2101ee88c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1272241,"id":"Q1272241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4550e84bcd8f961638aadb6e6b8cd42dbf5c339","datavalue":{"value":{"amount":"+0.8002569675445557","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":"Q1085191$9BBB27EC-5E99-423B-95D8-CC0FD5235856","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable unary varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_unary_varieties"}}}}}