{"entities":{"Q1820801":{"pageid":1831543,"ns":120,"title":"Item:Q1820801","lastrevid":70909308,"modified":"2026-04-13T18:10:49Z","type":"item","id":"Q1820801","labels":{"en":{"language":"en","value":"The word problem for regular identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995747"}},"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":"Q1820801$D61AB294-5D88-43A5-86A5-EB3DDA058B0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9e52f35ceb25fc06469e93efd33e53655b9f2f2","datavalue":{"value":{"text":"The word problem for regular identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820801$5217FAC8-5418-4E2E-95C3-322702B8EF84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55f4f6570a85b0c6d64e5102aeb501863548fa6c","datavalue":{"value":"0615.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820801$9F6D880D-987C-4F39-AAC5-B62444539F4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8588ec913dd4f8053c54b3bed94f40ddd9f126b5","datavalue":{"value":{"entity-type":"item","numeric-id":749562,"id":"Q749562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820801$EBC927C3-2544-4EBB-B2A2-07D980721C71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820801$C8B39AE3-F3F9-488C-AE25-15AEBC89C2C7","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":"Q1820801$BD2DD1DC-4FF4-4901-8644-50C8E33E99A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1010d1b98b25c05e9599702cc52d98adf10e2117","datavalue":{"value":"https://eudml.org/doc/138357","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820801$64992254-C415-4B79-91E8-63B63306492F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10984a38cafbefa24a63052d70446e80f2ce350a","datavalue":{"value":"An identity \\(f=g\\) is called normal (or regular) if \\(var(f)=var(g)\\) with var(t) denoting the set of all variables occuring in a term t. Let V be a variety and N(V) the variety determined by the set of all normal identities satisfied in V. It is proved that V has solvable word problem if and only if N(V) has solvable word problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820801$F82358FB-D829-48EC-97E2-BED74E449F9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820801$556EE94A-91B4-459E-ACE9-F12FE84F0E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820801$79B8B624-CBA7-4F11-8D27-6859710655F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820801$BF3C8748-95E6-428B-BE41-9BFBC536800D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd33f4117f37890047222e8f0c4d406545a7b7f0","datavalue":{"value":"3995747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820801$89008D37-9E7F-447E-A897-E547C6110F44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d80bc08775c48cca3079848bf94a51eb0100f1","datavalue":{"value":"normal identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820801$4C11953D-F95D-4D23-955C-C18D2711183D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b840fe10dbae5b613a37e83efae2e494460293f7","datavalue":{"value":"solvable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820801$ECBE4C69-7164-43EA-926D-51EC2B2DEE2F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820801$B41A5C51-9838-4F23-831E-7B67BD3E2D12","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":"Q1820801$1E7573E4-338B-406B-8469-7BDAF05461ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03abb953c347187dbbf0b2b229954c8c27f20e0c","datavalue":{"value":{"entity-type":"item","numeric-id":749564,"id":"Q749564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c116f9ac79b5471a222377728e665058143eb7e","datavalue":{"value":{"amount":"+0.9212289452552797","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":"Q1820801$EE07A187-6357-48AF-83AE-E708022DD0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef5ac58fc1d69cff36d489bf3131990a79b30ce","datavalue":{"value":{"entity-type":"item","numeric-id":3979188,"id":"Q3979188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69e967f676ae470b4bd4a255c1c873676ae2392","datavalue":{"value":{"amount":"+0.8601500988006592","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":"Q1820801$8050859F-5925-4724-8251-8907526D93D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f9b9e3ddc7e2b5c6713ee00c13c9c7ce8c4c31c","datavalue":{"value":{"entity-type":"item","numeric-id":1112962,"id":"Q1112962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c4e77b15156addceca2175ee8b48946f5e2895","datavalue":{"value":{"amount":"+0.8571188449859619","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":"Q1820801$9D64B557-129F-4199-AE81-75847299C984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1581791adfb415591ad34f8709f7dd3a47cf8f0a","datavalue":{"value":{"entity-type":"item","numeric-id":4038406,"id":"Q4038406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3681999bfa93c40a6717b73b287eec44f15f06","datavalue":{"value":{"amount":"+0.8550759553909302","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":"Q1820801$4FFEBC48-465C-4646-AFCD-661EBA71C002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd068ab49f4bd902b1c154a5369c9926efc4d98","datavalue":{"value":{"entity-type":"item","numeric-id":1905980,"id":"Q1905980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3681999bfa93c40a6717b73b287eec44f15f06","datavalue":{"value":{"amount":"+0.8550759553909302","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":"Q1820801$5A592437-A442-48AB-8587-1C0D912D7E00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The word problem for regular identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_word_problem_for_regular_identities"}}}}}