{"entities":{"Q2713996":{"pageid":2724735,"ns":120,"title":"Item:Q2713996","lastrevid":82817054,"modified":"2026-05-06T22:08:56Z","type":"item","id":"Q2713996","labels":{"en":{"language":"en","value":"On some algorithmic problems related to varieties of nonassociative rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1603255"}},"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":"Q2713996$933D7D79-72FF-4EAE-B79D-591AA6D84777","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19199fbec6a3b5f1ff2eeb6c4d59e09be3b585b8","datavalue":{"value":"0967.17001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713996$D49A4020-1C66-48F8-A6D5-647E74136902","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c96843a11866d938aa8987e4ff270b5e05d3954","datavalue":{"value":{"entity-type":"item","numeric-id":178453,"id":"Q178453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713996$DAD4BF26-A060-4432-93D9-211712AEC2FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2713996$8CC70316-A5C5-49F8-AE54-B8000285C2C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1e037731cf5fe8d56e5ff843e21caf66868428b","datavalue":{"value":"17A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713996$485633F7-F646-4701-A8A7-D106019F2B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713996$93F129F1-CA9D-4EA9-A77F-7848D5253EBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12c6089e1dcee833227c33e1c63823ef3b4e76ff","datavalue":{"value":"1603255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713996$9CB198E6-D14A-4E56-879D-2F5B4F3EFC3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa57e4cc281db10bdcfc2b50f2dcb312870ecf94","datavalue":{"value":"variety of rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713996$256FD26E-06D3-4D53-BC9B-800D2BC8C886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aeaa1a1ea6981946566573aed7f7fc320993171","datavalue":{"value":"finite basis property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713996$850EE605-E9E5-4D28-9860-A0EC6F5134DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713996$B8979E9A-7686-4D5A-ACDD-039542C3520B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713996$EF35882C-129E-448B-ABA2-E23A8DA36B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7f0282e0d848439ef0053b2548af568d7d4e10d","datavalue":{"value":"finitely based nonassociative rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713996$C0036C98-46A1-4574-8536-C22120D0475D","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":"Q2713996$4E90EAFF-7545-45C7-ACEC-C2EBDE33ECE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ebd10c6252147a1e98630b4b061727294c95b1","datavalue":{"value":{"entity-type":"item","numeric-id":1597968,"id":"Q1597968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q2713996$FC5C3BE8-CC04-419E-971B-B12D23304100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ebc3b69135bc434e9e80365e2cd3c088ab7e2","datavalue":{"value":{"entity-type":"item","numeric-id":1346910,"id":"Q1346910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf569e074c808f903e977a0decef9fbf415dafc","datavalue":{"value":{"amount":"+0.9036187","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":"Q2713996$FB29A1A9-0DEB-4180-AEB0-DA356C48448B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438b398261a59932c09c79dc7d6a80d9878ab9c5","datavalue":{"value":{"entity-type":"item","numeric-id":4359048,"id":"Q4359048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14f57fdce6408637f6b6499ee030f94145bffbe","datavalue":{"value":{"amount":"+0.90327203","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":"Q2713996$8A758EFA-2DCA-436A-9E98-FCB51918810A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68493d7d06a368dbc4939e1ddf07a61b546f270f","datavalue":{"value":{"entity-type":"item","numeric-id":1824703,"id":"Q1824703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630ece3ec2cff5450eb7a538675e9251920c7fb2","datavalue":{"value":{"amount":"+0.8915678","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":"Q2713996$2C7B09B3-916F-493B-86FC-2384D6B55600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a30f733ad94903446c12f04eb11a415f273c2e3","datavalue":{"value":{"entity-type":"item","numeric-id":3788205,"id":"Q3788205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630ece3ec2cff5450eb7a538675e9251920c7fb2","datavalue":{"value":{"amount":"+0.8915678","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":"Q2713996$A2003B30-397B-4A9E-97A6-16885EF8A1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499e7bb4b587a083d7da07aae44f8bcd3e4dea6a","datavalue":{"value":{"entity-type":"item","numeric-id":4526383,"id":"Q4526383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ed8e4d5b3a2f11a56bf8a09ce1a7ea402cab6a","datavalue":{"value":{"amount":"+0.8909513","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":"Q2713996$F105CD7C-66C5-4556-9744-6DD53C1C20CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6538e32de02a94c0a40228199622e8c18230560f","datavalue":{"value":{"entity-type":"item","numeric-id":4735291,"id":"Q4735291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac0133956b646f88e49ce89ab9245025900336a","datavalue":{"value":{"amount":"+0.8884864","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":"Q2713996$8D15CE89-67CC-478E-80FC-A07C0941D3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6329c246ddf415f70ceacd17576710f5b31faf70","datavalue":{"value":{"entity-type":"item","numeric-id":4006521,"id":"Q4006521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e6162d3ea4bffb380de9cfd74ce6bc3d3f267b","datavalue":{"value":{"amount":"+0.8865909","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":"Q2713996$AACBCF83-E26B-449A-9328-517A66E243DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da0a8e9f975bd8d7e73b385c35df40b7fb2b663","datavalue":{"value":{"entity-type":"item","numeric-id":4027091,"id":"Q4027091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e6162d3ea4bffb380de9cfd74ce6bc3d3f267b","datavalue":{"value":{"amount":"+0.8865909","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":"Q2713996$B17F14A6-0EB7-41AE-AAFB-70C9EE4D34F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596e89dcfa938abe7fc52c1672707f297557111d","datavalue":{"value":{"entity-type":"item","numeric-id":684708,"id":"Q684708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5be99c09de1305a8f4557fe31b09f86b16fcf6","datavalue":{"value":{"amount":"+0.88659084","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":"Q2713996$F62A8714-B5DD-487F-821C-98F22670361C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a236d819e46e583e39a69c3dcc616c0a82444f8f","datavalue":{"value":{"text":"On some algorithmic problems related to varieties of nonassociative rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2713996$1B9CFB06-453B-4643-8EF2-C7A11E0B7A66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d9ebd9aaab45673d9ef3c980a5332b9c955addc","datavalue":{"value":{"entity-type":"item","numeric-id":6645263,"id":"Q6645263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713996$99457F3D-33CF-46E4-AF59-17A50376C2A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91f4a124ef85282c31fd22441b286bdbc3cf8dec","datavalue":{"value":"There are two basic results in the article. In the first theorem, the author actually constructs a sequence of families of identities \\((F_i)_{i\\in N}\\) so that 1) there is an algorithm that, given a natural \\(n\\), answers whether an arbitrary identity is in \\(F_n\\) and 2) there is no algorithm that, given a natural \\(n\\), answers whether \\(F_n\\) is equivalent to a finite family of identities. In the second theorem, the author constructs an infinite sequence of finitely based nonassociative rings \\(A_1\\supset B_1\\supset A_2\\supset B_2\\supset\\cdots\\) so that the equational theory of \\(A_i\\) is undecidable and the equational theory of \\(B_i\\) is decidable, for all \\(i\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713996$C81673E4-4415-414A-AD01-51B323B568B4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713996$3706071A-7EEB-463C-AAF4-714DB476055C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On some algorithmic problems related to varieties of nonassociative rings (scientific article; zbMATH DE number 1603255)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_some_algorithmic_problems_related_to_varieties_of_nonassociative_rings_(scientific_article;_zbMATH_DE_number_1603255)"}}}}}