{"entities":{"Q1105012":{"pageid":1115761,"ns":120,"title":"Item:Q1105012","lastrevid":66995397,"modified":"2026-04-12T14:13:07Z","type":"item","id":"Q1105012","labels":{"en":{"language":"en","value":"Some experiments in nonassociative ring theory with an automated theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057735"}},"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":"Q1105012$2C100E53-DE7E-4ED0-9393-7B9BA4EC4F46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62744355e231f7da91a9d3c88e1567eef673fecd","datavalue":{"value":{"text":"Some experiments in nonassociative ring theory with an automated theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105012$A2220542-1E89-48A6-BC82-7933D2FE02D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc61df50e478408744590d9be59fcaa0d27eab26","datavalue":{"value":"0648.17001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105012$F4927943-81ED-4521-8B88-FA54BEA8A441","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbe67f47030f08b486b65721749000107054d27a","datavalue":{"value":"10.1007/BF00243209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105012$E97B1E29-350F-433F-A83C-43EEC2EC9DBA","rank":"normal"}],"P16":[{"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":"Q1105012$278B6A1E-7567-433B-873D-9DA3AF7334B7","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":"Q1105012$FA254545-427C-4EB0-A4B9-E893FCCC246D","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":"Q1105012$30C55573-7018-4BED-9B65-5DE86B9A77C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d73b15572d58518b864699ade61dc1e2210d4dd","datavalue":{"value":"The author presents some experiments he made using an automated theorem prover, and discusses the difficulties he encountered. In particular, the program was able to prove (1) a ring that satisfies the right and left alternative laws is flexible, and (2) the Teichm\u00fcller identity holds in any ring. However, the program was unable to give a completely automated proof that the Moufang identities hold in any alternative ring. By a completely automated proof is meant one in which the program produces a proof in one run without interactive help from the user.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105012$953BFED5-C06B-4D50-9E9C-CE5CDF8B688E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"27a28bc9c51d383d4781c76d41d853a2cb118b94","datavalue":{"value":"17-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105012$1F063BCD-9F72-41AC-9C42-3AEC5219F2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba5b81d6109affe39808ed07af9dedfe41c6e07","datavalue":{"value":"17A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105012$A53D5945-17DD-45EE-834E-A9F3CCC8F870","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c534cf56c85e0d6cf988bce5ef22c305e81697a","datavalue":{"value":"4057735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105012$5DE43EF6-5F6B-4F47-9EDE-CDE38E8D4E7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fbe3c7285c82b7e85a0384689c42c38ba7418e4","datavalue":{"value":"automated theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105012$42574CD7-E478-45CB-9009-97B2DF4730E4","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":"Q1105012$30B26041-F244-4B8F-A0D9-C4EFB80448EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36b72f6dc3274dfc09a0a8e36169523d6f41acc","datavalue":{"value":{"entity-type":"item","numeric-id":912653,"id":"Q912653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89fb21b4ee773d05c21a579d93da8a650a1e8bd","datavalue":{"value":{"amount":"+0.8447612524032593","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":"Q1105012$9D4652D6-AE09-4A6C-BB32-570299C340B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f082e6a6576e4e8829873ca062a5fd94ecb8f9e4","datavalue":{"value":{"entity-type":"item","numeric-id":3809310,"id":"Q3809310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ac55be12b300e7bb2c10220b9e0514ae01f89a","datavalue":{"value":{"amount":"+0.8346205949783325","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":"Q1105012$6C505F9D-1F6F-411D-919E-DA053D014730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019d0327bb7dca4c99d31463e9204e7854252bfc","datavalue":{"value":{"entity-type":"item","numeric-id":2819201,"id":"Q2819201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160a46483db57ced1a2b7964e4bb018fdb8d227f","datavalue":{"value":{"amount":"+0.7965543866157532","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":"Q1105012$0760BB6B-39A0-49D7-8718-970698303879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cde5befdfa96f0f2cfbf0c90a1796fbc3ee97c","datavalue":{"value":{"entity-type":"item","numeric-id":912612,"id":"Q912612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9655bf90c7c3bb4e2a42e4de700969c0542070bf","datavalue":{"value":{"amount":"+0.7667256593704224","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":"Q1105012$5BA1BC3A-6150-45C8-ADEC-D7E509AAFE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2776a793482ad97477939f89593c842ba25e582","datavalue":{"value":{"entity-type":"item","numeric-id":1815858,"id":"Q1815858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead8690f7eaa7c4a2e08f6c4195577de95ffea23","datavalue":{"value":{"amount":"+0.7612444758415222","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":"Q1105012$5E3142DF-4A0F-417C-BA67-AA79A3DE2D5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some experiments in nonassociative ring theory with an automated theorem prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_experiments_in_nonassociative_ring_theory_with_an_automated_theorem_prover"}}}}}