{"entities":{"Q1825048":{"pageid":1835790,"ns":120,"title":"Item:Q1825048","lastrevid":49318915,"modified":"2026-01-06T23:10:06Z","type":"item","id":"Q1825048","labels":{"en":{"language":"en","value":"Solving open problems in right alternative rings with Z-module reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119668"}},"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":"Q1825048$2CFA56E8-444C-46FD-93E5-40A20B6AB074","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fc1a6b241a15558f507e257f1cd398c74c6472a","datavalue":{"value":{"text":"Solving open problems in right alternative rings with Z-module reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825048$832B21EB-0D22-442E-AE61-95410B3E8375","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74468eaccb723ea2ddeb7bdfae314d24ab3b1885","datavalue":{"value":"0683.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825048$EFAD882C-2C5E-4AEB-9C32-909CF279D533","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b6e00ba035dffd04f57afe2a0daea9e4bfbb6ac","datavalue":{"value":"10.1007/BF00243001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825048$90AFAB2E-29C7-4377-B486-EC2FAE936B08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e794e8ec2d8d673df4039847753be5983884cc10","datavalue":{"value":{"entity-type":"item","numeric-id":1098331,"id":"Q1098331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825048$9142AEDE-47CC-438A-952F-063BA65985E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab438b1b2f4a03a7c6de13ee78c4ae4e6d51ff18","datavalue":{"value":{"entity-type":"item","numeric-id":1105011,"id":"Q1105011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825048$BD5E513B-27A7-4124-9688-D10A393D3649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825048$079B3F8C-3797-4329-BC5F-31AE446D80E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1825048$FA6DF69F-E604-405F-93FD-76C86AA336FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1ca29efde8028f5d26268de91674ee04c14d907a","datavalue":{"value":"Some problems about right alternative rings are solved with the Z-module reasoning system. This system is designed to solve problems in abelian groups, with some extra structure, exploiting the \\({\\mathbb{Z}}\\)-module structure of the group. In this case the extra structure is that of a right alternative ring, i.e. a non-associative ring for which \\(x(yy)=xyy\\) and \\(x(yzy)=xyzy\\) holds, with the convention that \\(xyz=(xy)z\\). The Z- module reasoning system transforms the axioms into equations in a finite dimensional \\({\\mathbb{Z}}\\)-module and uses a variant of Gaussian elimination to solve the equations. The theorems that are derived with the system are the following. First the law \\(x(yzy)=xyzy\\) is derivable rom \\(x(yy)=xyy\\), when 2x\\(\\neq 0\\). Second, when 3x\\(\\neq 0\\) and the ring is commutative, then it is associative. Finally, it is derived that \\((x,x,y)^ 2x^ n(x,x,y)^ 2=0\\) for all n, where (x,y,z) is a notation for xyz-x(yz).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825048$91D1D3A6-FF00-4B89-8ABD-9D3E3165C31D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825048$3738DE22-E39E-49B8-B330-A6038B270CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17565690f34b78615adcebc7ddf96b1bc46e56cc","datavalue":{"value":"11R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825048$A34C18DD-616D-43F7-92B5-CBB7EF399F39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f2b17ef0211b24a3de490abca46190aa449ee38","datavalue":{"value":"4119668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825048$BC005020-5EC2-4292-832A-5B99DB3E4B38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825048$FF60F0E1-3F57-43D9-95C4-D8C9B70DA2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb327d1436b512edb621ad6cf2d878cefc9996a","datavalue":{"value":"non-associative ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825048$2DF6486E-9A4E-4694-B11E-A4C0BCF1C8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4483725b588884ca36e6cb76448708255fc8b43a","datavalue":{"value":"reasoning system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825048$D98F7D2E-F8C2-46B3-8293-9880BB38266E","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":"Q1825048$A2344946-8668-4FFC-A044-3B6157354877","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"172ac629d51ef484563df7c85095067e31497965","datavalue":{"value":{"entity-type":"item","numeric-id":3801104,"id":"Q3801104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c5bea5b86d3479e97417e08feb5b345d0a83e5f","datavalue":{"value":{"amount":"+0.8034974932670593","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":"Q1825048$48FA67A8-3B4D-4150-A23D-B3347A48ADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728bd551386f1194d07cd2ccb6a6265cbb5fd152","datavalue":{"value":{"entity-type":"item","numeric-id":1102357,"id":"Q1102357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370c700ae230ff7399849ca9cce583612134e94e","datavalue":{"value":{"amount":"+0.7901371121406555","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":"Q1825048$A3B74840-FB48-4806-A778-BDC8BF4E2448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6060fbd92fec0e1062e66e651a42e3325484b1a","datavalue":{"value":{"entity-type":"item","numeric-id":3140017,"id":"Q3140017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fed77f08454de6d1dcb221cc1d7b91c74a725fe","datavalue":{"value":{"amount":"+0.7549610137939453","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":"Q1825048$CB792C5C-7EBB-42FF-9F19-8DB833FF9D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be59ecb0a6a30fbd2cfa737ac2399ec30bca1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3463155,"id":"Q3463155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fed77f08454de6d1dcb221cc1d7b91c74a725fe","datavalue":{"value":{"amount":"+0.7549610137939453","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":"Q1825048$9A4AECFA-F5A0-4FD2-A66B-F929FBA90AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173341b7c40e97e91a343c5baaf059c2de8d6728","datavalue":{"value":{"entity-type":"item","numeric-id":4297728,"id":"Q4297728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64284f42d0a8990ed41f4fd232440723fa83d99","datavalue":{"value":{"amount":"+0.7354272603988647","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":"Q1825048$65B03ED5-0304-48F9-8B95-D3E1C3B2723C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1825048","badges":[]}}}}}