{"entities":{"Q1814494":{"pageid":1825236,"ns":120,"title":"Item:Q1814494","lastrevid":71345571,"modified":"2026-04-13T21:36:53Z","type":"item","id":"Q1814494","labels":{"en":{"language":"en","value":"Nonassociative rings with a single defining relation whose elementary theories are decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 10860"}},"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":"Q1814494$799CC3C2-C622-46ED-8A94-51149F26A0C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d227d16930f67dcfa8ddf0593b8142b27a089dc6","datavalue":{"value":{"text":"Nonassociative rings with a single defining relation whose elementary theories are decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814494$64E3484F-004F-4FAB-876D-5B4596A9EF78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5685f76071402c30d5800bb366a49acce1a1b185","datavalue":{"value":"0748.17003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814494$4007B5A0-14D4-4659-996E-A44E8A30E54D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34d671cdb670b4f58be46cfddfd874de2372bbf5","datavalue":{"value":"10.1007/BF02215282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814494$BFB4F3BA-DC9D-42FC-94ED-0D50869ACABC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5d1d201926b61ef4bb727e216a275e3b26a0ea5","datavalue":{"value":{"entity-type":"item","numeric-id":800485,"id":"Q800485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814494$33711A3A-1B97-49F3-A533-D94B8C05757B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814494$3BCCBB3D-3AB9-4BC3-9267-B64FA136FDA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814494$B8E4C890-7E06-4647-8F4F-9C0F2BDC19B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f5bd3e000b76161ed1ad4fa68a714e71e2ea3bc","datavalue":{"value":"https://eudml.org/doc/187534","type":"string"},"datatype":"url"},"type":"statement","id":"Q1814494$4B58E3B2-A1AE-4C3A-92E6-0EBAA31041D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c41746389543344662606f97d64034cf23495455","datavalue":{"value":"The main result is the following Theorem. The elementary theory of a ring, defined in the variety of all nonassociative rings by generators \\(a_ 1,\\dots,a_ \\rho\\) and relation \\(d=0\\), is decidable if and only if \\(\\rho=1\\) and \\(d\\in\\{ka_ 1,ka_ 1a_ 1\\mid k\\in\\{1,2,\\dots\\}\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814494$4DEBF2FD-3761-4F65-AD97-6132DD185A56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba5b81d6109affe39808ed07af9dedfe41c6e07","datavalue":{"value":"17A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814494$94415638-529B-491D-8824-44821C8A972D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814494$4CFD73AC-B57B-49D5-94C9-C846D7481E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814494$B6FBBF00-0D71-4BF9-881E-3CA38498B099","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a50c0c913186cada22b7647218b88ae9916b1fb0","datavalue":{"value":"10860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814494$920F323A-5F64-41C0-AAEB-515402BF1723","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814494$4072FC6B-744A-4A92-ABA3-9948752FE5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814494$7702ECE7-38BF-49FB-8042-92615C7AC56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814494$5A62A808-8A7E-457D-858D-992BBB2379D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"039d42cf09b4ab8022ffe38cd21b1c3ae772e8dd","datavalue":{"value":"nonassociative rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814494$6BEA5B53-250A-4981-8636-77C5CB714FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814494$A2F5E345-1B29-412F-8FAD-A495C4646939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0222d02c0c106fe26365ba380548e1fb6e23c8a9","datavalue":{"value":"relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814494$5AFF0020-5D8B-4E33-A018-AA7A0081A1F0","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":"Q1814494$A2B1500E-C9E7-4FB6-ACA2-47F7E4004EAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c324feea4d7b83834d421770e6f7684dd27fe68","datavalue":{"value":{"entity-type":"item","numeric-id":5797093,"id":"Q5797093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814494$BB263F49-2557-4527-9AEE-A539DC0993EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627e3f618e4831f377af2fa074bb38364d5d4c35","datavalue":{"value":{"entity-type":"item","numeric-id":5519136,"id":"Q5519136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814494$4B235015-D8B0-4733-96CB-27A72289E78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6787481fcf56247063c4a3bddfd7f43a7f748c","datavalue":{"value":{"entity-type":"item","numeric-id":3289053,"id":"Q3289053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814494$B2C829D3-888F-4910-ACC4-250E9F432C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae98edff5c5b05b120bc0082505efe793771f839","datavalue":{"value":{"entity-type":"item","numeric-id":3791112,"id":"Q3791112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814494$21D9461F-C894-40A3-A009-1197FB750C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b866bba96ae151ad3a477a3bb46c2f09c1a0b68","datavalue":{"value":{"entity-type":"item","numeric-id":5596785,"id":"Q5596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814494$527ACB47-010C-4895-A843-15BFC0C5B818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ceae4f96710f8ebd5d95214b6b7c646cc7859bc","datavalue":{"value":{"entity-type":"item","numeric-id":3778719,"id":"Q3778719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814494$A0485331-DE39-46FE-9578-DF2B36060B54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958f95053e0ea54e5d00afc588773a4728e9c9ad","datavalue":{"value":{"entity-type":"item","numeric-id":1280610,"id":"Q1280610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b704ea5f8b95f8aeaef2cb9811ae1ef4658344","datavalue":{"value":{"amount":"+0.8028185963630676","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":"Q1814494$C4DA2EC5-0ABE-4DDB-80DC-B87FC374AC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c252ab86dd7f25031877eed7ab966a735062927","datavalue":{"value":{"entity-type":"item","numeric-id":4829701,"id":"Q4829701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e72fe9bdcd6321cc17e0aada42f052578205600","datavalue":{"value":{"amount":"+0.7998449206352234","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":"Q1814494$16426758-8549-4F72-985D-59FDC0C8E564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a43bb7898f9bdfdaffc5e0abcca97b0ab9a56b","datavalue":{"value":{"entity-type":"item","numeric-id":2386998,"id":"Q2386998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11bfa95adbc37dc3b07a8f8aa8b9991f114f8ab","datavalue":{"value":{"amount":"+0.7978211045265198","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":"Q1814494$0FC7F765-5F11-4DF8-935D-744F691EE626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ca8f617d9febf136101e8ae0c0d3dbfc9c2b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3363834,"id":"Q3363834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a6f0006e70be9727c326386710ad53382201d9","datavalue":{"value":{"amount":"+0.7977098822593689","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":"Q1814494$55EA765A-7577-45B5-8608-DC82E8D26D68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonassociative rings with a single defining relation whose elementary theories are decidable","badges":[]}}}}}