{"entities":{"Q1918965":{"pageid":1929707,"ns":120,"title":"Item:Q1918965","lastrevid":46458417,"modified":"2025-12-24T20:01:56Z","type":"item","id":"Q1918965","labels":{"en":{"language":"en","value":"A variety with locally solvable but globally unsolvable word problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 908013"}},"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":"Q1918965$43DC9061-6ED5-4A48-A9E7-C8E99BCD3676","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fcb5ad03270e666b9fe65f43a00c561de2b6a28","datavalue":{"value":{"text":"A variety with locally solvable but globally unsolvable word problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1918965$147C272F-A4FF-4114-B023-AA0EC6D0833E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"564ee0bf5dd51109c4060ee4ff4bf8d937aaf772","datavalue":{"value":"0856.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918965$96D6D6BF-7BEC-40EC-BF86-E4471203AF1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b17279562ddd5d9513d790b9c3bb069133dead4","datavalue":{"value":"10.1007/BF01197182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918965$FA309140-F5D1-49E5-91E4-27887E0F3480","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918965$CE7B3170-452E-4156-9B78-C9965878603C","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":"Q1918965$7494D35E-9195-4A11-A323-AA30634B73BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7885d64aaaf481669cab5d69603c228d36f410","datavalue":{"value":{"time":"+1996-07-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":"Q1918965$903EAF3D-E6A4-4125-8F81-B674423E8220","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f51b583db5d14cd844a35c7e54d1acefabf21fd","datavalue":{"value":"The authors describe a variety of finite type with an undecidable equational theory, whose local word problem is solvable since there are finite bounds for the cardinality of finitely generated algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918965$18F58EA4-4465-4E2C-8083-B1A3D03A8E33","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918965$4BCE508D-CA1A-4E85-8AC7-D4D338A43183","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918965$29B534BD-07E4-42F2-8D8B-800A6235E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918965$DFBF6113-9636-4494-AC92-46282BC749E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918965$7113F712-1B16-4E31-8F72-EBED7E9CFF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918965$FD00D264-906A-4888-8497-5E8D59705FD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cff5fa32ba1df4f41ce3723c285ccd72d6fe647c","datavalue":{"value":"908013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918965$26AFC24F-E802-4BB4-B289-20317F94BCA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c1c038d51e0978f3aad2cd6084fa719e862a15a","datavalue":{"value":"variety of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918965$E52D4B18-9C22-48E3-A4DD-EE77C461D851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf026f2c010b3124bc45ae27e2778e0b1c6b247","datavalue":{"value":"undecidable equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918965$F7F6B586-8CF3-4EAF-B58E-531E52D2AC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c6e2838ad27711b6a8daf116ab3f6a02915e3a9","datavalue":{"value":"local word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918965$5E3E203E-9C4B-4F80-9564-3954DAF33CED","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":"Q1918965$CE9F9537-A6E0-43B1-A88A-3527BA10DBAB","rank":"normal"}],"P223":[{"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":"Q1918965$ADBAE75D-03A3-4738-B459-9EC5256B3FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7d0b09b6a62cd5d91da516bb16a936d3b4d85b","datavalue":{"value":{"entity-type":"item","numeric-id":4290004,"id":"Q4290004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918965$05006B0E-51FB-423D-B7BE-E7FB9FE476C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918965$6D80C205-9BB7-45CD-889F-00EA39A308A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd8170768845ee819076d4518a19ad78615de25","datavalue":{"value":{"entity-type":"item","numeric-id":3837512,"id":"Q3837512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918965$6B9829C0-278F-436C-844B-5D48D5C80816","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40b9022d38a1913ef10a2e9ca8a2f6bb4cafd7c8","datavalue":{"value":"https://doi.org/10.1007/bf01197182","type":"string"},"datatype":"url"},"type":"statement","id":"Q1918965$4B2D256D-7EFA-450A-92D5-EED237E53D15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54e148e6552e9298753f32107b0b3abc4944177a","datavalue":{"value":"W2018731195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918965$2C25A7AF-A9D7-4662-9CA8-2C0B4429FAB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44a7c50303f0ce5a7b36345521741e13d00a867","datavalue":{"value":{"entity-type":"item","numeric-id":4492868,"id":"Q4492868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b071422eb721e32cb35b815b62e77a38ba6365f","datavalue":{"value":{"amount":"+0.8912144899368286","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":"Q1918965$D9962C43-218B-4FB9-B64C-ED3BDE6140CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"172c960ada72fe4cbbd66d4aae48ad741e1c6be2","datavalue":{"value":{"entity-type":"item","numeric-id":4378254,"id":"Q4378254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b4a8aa86e04fab5a4c05abddec4ed0f04df9a3","datavalue":{"value":{"amount":"+0.8903177976608276","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":"Q1918965$88C50CD1-0138-4D86-A25F-CDAC44339377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a05c0f0013bc3331823312f1afc2f993bb048e","datavalue":{"value":{"entity-type":"item","numeric-id":4492883,"id":"Q4492883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36bce6ee086db98c72e9718e16db9c33137feba8","datavalue":{"value":{"amount":"+0.8840572237968445","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":"Q1918965$956DC2AD-FD6C-457E-9E39-9957C1A89B73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1918965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1918965"}}}}}