{"entities":{"Q912653":{"pageid":914501,"ns":120,"title":"Item:Q912653","lastrevid":65300193,"modified":"2026-04-12T01:38:41Z","type":"item","id":"Q912653","labels":{"en":{"language":"en","value":"Automated proofs of the Moufang identities in alternative rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4145366"}},"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":"Q912653$973B8EA0-CBF0-4222-AAC6-83EB923656DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20472a8634d2ff37e0f6f56f7b8a78981835c5b5","datavalue":{"value":{"text":"Automated proofs of the Moufang identities in alternative rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912653$84C68581-8A06-4DE9-9FC0-B68EBB5001C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ac536e44807032f9552ee8498a197342517aac5","datavalue":{"value":"0698.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912653$BD2D699E-9771-4B6E-A14A-800D6CE5AA1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0179c4c5ef0db6f84c3c17e118fa3dde38757f2c","datavalue":{"value":"10.1007/BF00302643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912653$B661D9FA-D3AE-4357-BF88-BF7FC15EB10D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d66928e7f941233a38d3104e0405cbb2b577305","datavalue":{"value":{"entity-type":"item","numeric-id":437034,"id":"Q437034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$9D08A5AF-B9AF-4076-A76A-D79505B47860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5584b61080269b096f785173ffd49061cb7d63a9","datavalue":{"value":{"entity-type":"item","numeric-id":673133,"id":"Q673133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$CF683615-F258-4DCF-8E1A-A209EE1115BD","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":"Q912653$5E6C24AF-064B-497B-8DC2-B80018A5ADE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q912653$07E2B929-2DD8-454B-A14E-EAA2BB0D49E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912653$EE63C129-ABE2-4457-A46D-00E8F37BA54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"27a28bc9c51d383d4781c76d41d853a2cb118b94","datavalue":{"value":"17-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912653$98E20437-3C03-400D-93AF-C18990552E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912653$5BA523ED-1301-4857-874C-11A690790B97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"220dc2ceaef0e2865d2e45d2aa34930bcf22756d","datavalue":{"value":"4145366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912653$B085DAD9-C4E9-4BAB-955A-801C2F2F8291","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485755be63b00547fd18a5666d481b2ff3f0c7f3","datavalue":{"value":"Moufang identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q912653$174C2EFC-D4CD-4995-B462-7BD85AADB4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e40102071c797afbd50b874b1af8fd666e5d336","datavalue":{"value":"alternative rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q912653$ECEE755A-0FCB-4053-8D5B-DD7E13141F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q912653$AB197BB4-B74F-482F-B87D-C4F5E7F7BA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q912653$5855A36A-0699-4C8D-919F-E19FB752D9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019a6ed5982241abb5ad173ea9f0389406288f3d","datavalue":{"value":"Knuth-Bendix completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q912653$99DA5738-29A4-43A8-B128-ED31EECA9A09","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2dd2b9122264aadcbfe3f8a915ad1b206e944175","datavalue":{"value":{"entity-type":"item","numeric-id":22073,"id":"Q22073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$AE91D334-B785-48D7-82A7-2471D9FB719D","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":"Q912653$4A46D7A5-D89F-47A6-B6C0-333673198AB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f14fb53a175d4de66740354c037f2660b46eba3","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$17154532-2955-40E2-9BAC-4870E4EEA81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$5740B5CF-7F67-44A9-AB13-A14C012AAC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$B8862FC3-2413-46BB-B418-2325F37EAFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$B1FBB638-D5DA-47F5-B6B9-EF35A0BD2738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$6E461934-9EEA-4E0D-B292-4730A81DC13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81bac0c83a1bb3be4d60a72c12b74b133412b10","datavalue":{"value":{"entity-type":"item","numeric-id":3702510,"id":"Q3702510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$9AEF981F-D95A-414E-86CA-1C55C0329AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$0A9D88D9-ACEA-4AD9-A403-3E1A733E8FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95e0859892925c24a801c12e2050cf651aec149","datavalue":{"value":{"entity-type":"item","numeric-id":1105012,"id":"Q1105012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$C4739F61-3A4F-46AF-8754-D51288C3F843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccda13857d7f78f4dc7bfa8432bd333ea3f6508","datavalue":{"value":{"entity-type":"item","numeric-id":3809310,"id":"Q3809310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$D5289BC9-B098-4748-A2B4-C9F851E3C570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2c382536762403afd1b57f03346562a0a0a83","datavalue":{"value":{"entity-type":"item","numeric-id":3336737,"id":"Q3336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$B7AEAA62-AA54-4BA4-AEA1-3711ED790CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99f230aed63a43035afc2f38788e33caaa052af","datavalue":{"value":{"entity-type":"item","numeric-id":1102357,"id":"Q1102357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$487F11D0-1A68-4486-8778-6418DC9E3BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93384988d2ee00ba114d57fbb414c19879463ec8","datavalue":{"value":{"entity-type":"item","numeric-id":3786025,"id":"Q3786025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$26B8864C-5F41-4422-906D-256A58D7455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c9f86a5342fe6bb6ac25007f55bbaf7bd99a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5608782,"id":"Q5608782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912653$FF7AAFDC-C488-4E16-ABE5-D38B83452EA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ccf2f5a61cc4fdd628c57db50e5eec2dd18ea0","datavalue":{"value":{"entity-type":"item","numeric-id":1105012,"id":"Q1105012"},"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":"Q912653$43623290-C2B9-4391-BEAD-1B2133EC3AB0","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":"474c19f977a42bcdfc0a2a2034e0cadd987d3dd7","datavalue":{"value":{"amount":"+0.8092386722564697","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":"Q912653$68628BDC-1E20-4E8F-BD7C-1ECA98BF343B","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":"474c19f977a42bcdfc0a2a2034e0cadd987d3dd7","datavalue":{"value":{"amount":"+0.8092386722564697","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":"Q912653$13BEE740-D43C-464D-9D6C-55D69FF98D41","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":"8ef5a8d6da8923d8c13f189b02ebbcf06ba12b6a","datavalue":{"value":{"amount":"+0.8070330619812012","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":"Q912653$9BFCF166-BE0D-4789-A42F-6DFC8E4A842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07a5319a39f259df095fbb66b19f8331dc830d2","datavalue":{"value":{"entity-type":"item","numeric-id":4225072,"id":"Q4225072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6d95f9bf4daeb53ca0a90001e5988c877bdf3c","datavalue":{"value":{"amount":"+0.7642708420753479","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":"Q912653$CD97D864-02DE-4E4D-BE25-AE5959378718","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated proofs of the Moufang identities in alternative rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_proofs_of_the_Moufang_identities_in_alternative_rings"}}}}}